Commits

History for

Commits on Aug 20, 2026

Change CI to GitHub Actions
Dekker1
committed
5db60c3

Commits on Jul 22, 2026

Make json input work with array declarations with infinite index sets (such as list of)

guidotack
authored and
cyderize
committed
f4943c1

Commits on Jul 17, 2026

Follow IDs to detect LHS <> in default operator

cyderize
authored and
guidotack
committed
1b525d9

Commits on Jul 14, 2026

Add experimental support for Blackbox modelling
Dekker1
committed
8bddf10

Commits on Jul 9, 2026

Fix clang-tidy issues
cyderize
committed
b77eaa0

Commits on Jul 8, 2026

Run clang-format
cyderize
committed
930e972
Fix some stdlib issues new compiler compatibility
cyderize
committed
c36d30a

Commits on Jun 13, 2026

Make `list of T` a real 1-based array type
guidotack
committed
a685945

Commits on Jan 30, 2026

Fix incorrectly unified where expressions generated by regex regular
Dekker1
committed
446fe8e

Commits on Jan 22, 2026

Use builtin to implement enum2int/index2int
cyderize
committed
b25ace9

Commits on Sep 11, 2025

Fix bounds computation for division and modulo operations to not abort if the bounds cannot be computed. Fixes #917.
guidotack
committed
70ce500

Commits on Sep 9, 2025

Add new builtin functions for array manipulation: select_from_index_X can slice an array with a non-contiguous set of indices, and concat_index_X can concatenate two arrays along a specified index.
guidotack
committed
e5e95bc

Commits on Sep 5, 2025

Ignore builtin call stack items in `mzn_in_root_context`
cyderize
committed
ac8ad2e

Commits on Aug 4, 2025

Fix compilation of arrays of arrays when inferred type-inst is var, and pretty-printing of arrays of arrays. Fixes #942.
guidotack
committed
f8c8425

Commits on May 22, 2025

Fix clang-format and clang-tidy issues
cyderize
committed
fb50977

Commits on May 1, 2025

Print enum values in stack traces. Fixes #912.

guidotack
authored and
cyderize
committed
809109a

Commits on Feb 11, 2025

Warn on implicit coercion of enum to int
cyderize
committed
6c9182e

Commits on Dec 11, 2024

Support arrays of arrays by (internally) converting them into 1-element tuples.

guidotack
authored and
cyderize
committed
614f330

Commits on Nov 26, 2024

Address more warnings
guidotack
committed
73828e9
Add casts to suppress warnings about incompatible integer sizes and signedness
guidotack
committed
7d73970

Commits on Nov 7, 2024

Fix evaluation of `dom_array` on par arrays. Fixes #851.
guidotack
committed
bab062c

Commits on Oct 30, 2024

Make the `mzn_in_root_context` function more flexible in where it can be called. Previously, this could only be called directly in an if-then-else (as the only condition). Now, it can be called fro…
guidotack
committed
a61b555

Commits on Jul 18, 2024

Fix more missing record field quoting/escaping
cyderize
committed
235a308
Fix output of record fields that require quoting. Fixes #823.

guidotack
authored and
cyderize
committed
fda51b2

Commits on May 21, 2024

Make string_length return the number of Unicode code points, and add string_split function for splitting strings into arrays according to a separator string.
guidotack
committed
22ce634

Commits on May 6, 2024

Improve support for par opt sets
cyderize
committed
d7db59a

Commits on Mar 28, 2024

Add implementation of default for set expressions
Dekker1
committed
d6cc695

Commits on Mar 14, 2024

Refactor output handling for structured/enum types
cyderize
committed
bf9418b

Commits on Jan 31, 2024

Add missing type to call in `b_show_enum_type`
cyderize
committed
aa07fb7

Commits on Nov 22, 2023

Fix bug when evaluating let for `output_to_json_section`
cyderize
committed
5ff39eb
Produce tighter bounds in `compute_mod_bounds`
cyderize
committed
44cb27a

Commits on Nov 15, 2023

Commits on Nov 6, 2023

Fix issues with output_to_section and ::output
cyderize
committed
6fa5d71

Commits on Nov 1, 2023

Improve error messages for index mismatches in the standard library
Dekker1
committed
0d2a7be