rpm/libminizinc
SHA256
1
0
Fork 0
forked from pool/libminizinc
Code Pull Requests Activity

Commit Graph

  • 7ff4a88f33 Accepting request 1200255 from science factory Ana Guerrero 2024-09-13 12:34:12 +0000
  • 3d1d9f345a - update to 2.8.5: * Fix specification for constraint items and annotations in FlatZinc JSON. * Fix flattening of negated let expressions with constraints. * Fix crash when equating identifiers to tuples/records in if- then-else expressions. * Fix string_length function to return the number of Unicode code points rather than the number of bytes (i.e., to interpret the string as UTF-8). * Emit type error for opt tuples and records created through type aliases. * Fix evaluation of par partial functions returning arrays. * Fix type inference for if-then-else expressions with different tuple or record types in the branches. * Fix evaluation error caused by removal of fixed FlatZinc variables without fixing them in the output model. * Fix computed type when flattening cv comprehensions containing tuple or record types. * Fix unsatisfiability caused by reification in negated boolean context (:bugref:813). * Fix bug in computation of common type of incompatible record types. * Fix crash when type checking nested arrays of tuples or records. * Fix incorrect unification of flattened tuple/record fields with paths enabled. * Add string_split function that splits a string into an array of strings based on a separator. * Add json_section annotation to mark an output item as a JSON section (:bugref:816). devel Dmitry Roshchin 2024-09-12 06:48:05 +0000
  • f3c7ec139d Accepting request 1136011 from science Dominique Leuenberger 2024-01-03 11:28:42 +0000
  • 28f2b5e5f3 Accepting request 1135808 from home:StefanBruens:branches:science Stefan Brüns 2024-01-01 20:12:21 +0000
  • a7012311f7 Accepting request 1126998 from science Ana Guerrero 2023-11-16 20:43:59 +0000
  • 8d73a1a6cd Accepting request 1124371 from home:dirkmueller:Factory Dirk Stoecker 2023-11-16 16:55:51 +0000
  • 31d37831fb Accepting request 989709 from science Richard Brown 2022-07-19 15:19:21 +0000
  • d9323a67d0 Accepting request 989695 from home:StefanBruens:branches:science Stefan Brüns 2022-07-17 13:42:46 +0000
  • 8e4284c1ae Accepting request 978466 from science Dominique Leuenberger 2022-05-24 18:31:15 +0000
  • 8a2eec5e9f Accepting request 978409 from home:StefanBruens:branches:science Matthias Mailänder 2022-05-21 22:13:14 +0000
  • 33c24b8f38 Accepting request 973143 from science Dominique Leuenberger 2022-04-27 19:41:54 +0000
  • 21adb52eeb Accepting request 973118 from home:StefanBruens:branches:science Stefan Brüns 2022-04-27 11:58:50 +0000