Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 23, 2026

• Fix type of generic array params with int dims called with enum indexed arrays

  Show description for 96ebc4b
  cyderize

  committed
  96ebc4b

  Copy full SHA for 96ebc4b

• Fix formatting of changelog

  cyderize

  committed
  4d21464

  Copy full SHA for 4d21464

• Update changelog for 2.9.5

  cyderize

  committed
  2299978

  Copy full SHA for 2299978

• Improve support for input of enum definitions in JSON

  cyderize

  committed
  ebbaba4

  Copy full SHA for ebbaba4

• Fix printing of anonymous enum values

  cyderize

  committed
  30b7b4c

  Copy full SHA for 30b7b4c

Commits on Jan 22, 2026

• Improve performance of function matching by avoiding to copy functions unnecessarily between models.

  guidotack

  committed
  a47cbb7

  Copy full SHA for a47cbb7

• Use builtin to implement enum2int/index2int

  cyderize

  committed
  b25ace9

  Copy full SHA for b25ace9

Commits on Jan 20, 2026

• Add sliding_among constraint to the standard globals library. Fixes #960.

  guidotack

  committed
  4e56db0

  Copy full SHA for 4e56db0

• Don't ignore return value

  Show description for 0d28b1c
  

  pranavk

  authored and

  cyderize

  committed
  0d28b1c

  Copy full SHA for 0d28b1c

Commits on Jan 19, 2026

• parser.hh: add missing header for macOS

  

  barracuda156

  authored and

  cyderize

  committed
  f9a9cc1

  Copy full SHA for f9a9cc1

• Make the destructor of SolverInstanceBase::Options virtual

  

  vitor1001

  authored and

  cyderize

  committed
  1f04c0c

  Copy full SHA for 1f04c0c

• Add enum constructors lifted to arrays. Addresses #965. This also fixes type checking of functions that return arrays with generic index sets and enum element types.

  guidotack

  committed
  d952aec

  Copy full SHA for d952aec

Commits on Jan 15, 2026

• Add ``zip`` and ``unzip`` functions to the standard library. Fixes #967.

  guidotack

  committed
  483cf9d

  Copy full SHA for 483cf9d

• Fix type checking of return types of generic functions that return tuples or records.

  guidotack

  committed
  91a7761

  Copy full SHA for 91a7761

Commits on Jan 14, 2026

• Fix a bug in the flattening of output expressions that could result in the output model being invalid. Fixes #975.

  guidotack

  committed
  96d4de0

  Copy full SHA for 96d4de0

Commits on Jan 12, 2026

• Rewrite regular to fzn_regular instead of fzn_regular_set when possible, in order to improve performance for solvers that do not support fzn_regular_set natively. Addresses #981.

  guidotack

  committed
  3ceb003

  Copy full SHA for 3ceb003

• Handle empty sets in solutions for `gecode_presolver`

  Show description for cce2dcb
  cyderize

  committed
  cce2dcb

  Copy full SHA for cce2dcb

• Fix a flattening bug that introduced integer constants into float expressions, potentially leading to crashes. Fixes #984.

  guidotack

  committed
  a1527b7

  Copy full SHA for a1527b7

• Fix type checking of varified type aliases. Fixes #983.

  guidotack

  committed
  f954aed

  Copy full SHA for f954aed

Commits on Jan 8, 2026

• Fix a bug in type checking of arrays of arrays that could result in crashes. Fixes #980.

  guidotack

  committed
  f2c58fe

  Copy full SHA for f2c58fe

• Fix defines according to readability-use-concise-preprocessor-directives

  Dekker1

  committed
  ebbb06e

  Copy full SHA for ebbb06e

• Fix formatting according to new clang-format version

  Dekker1

  committed
  1293f30

  Copy full SHA for 1293f30

Commits on Dec 4, 2025

• Fix type of created comprehension for field access on arrays

  Show description for 6348202
  cyderize

  committed
  6348202

  Copy full SHA for 6348202

• Fix bugs in the parser where a syntax error could lead to a crash because of incorrectly initialised memory.

  guidotack

  committed
  31eccc1

  Copy full SHA for 31eccc1

Commits on Nov 23, 2025

• Enable anonymous assignment generators in comprehensions.

  guidotack

  committed
  1422a7a

  Copy full SHA for 1422a7a

Commits on Nov 21, 2025

• Enable projection of arrays of tuples and records using field access notation. Addresses issue #970.

  guidotack

  committed
  2aa2d35

  Copy full SHA for 2aa2d35

Commits on Nov 20, 2025

• Update Gurobi version search

  cyderize

  committed
  207a1d6

  Copy full SHA for 207a1d6

Commits on Nov 19, 2025

• Fix domain bounds when hoisting if-then-else expressions.

  guidotack

  committed
  2a98ced

  Copy full SHA for 2a98ced

• Fix output of arrays with optional elements in cases where the array definition cannot be moved to the output model.

  guidotack

  committed
  71a5fb8

  Copy full SHA for 71a5fb8

• Add test case

  guidotack

  committed
  3dabd0c

  Copy full SHA for 3dabd0c

• Fix typing of indexed comprehensions that create arrays of arrays.

  guidotack

  committed
  25c9d19

  Copy full SHA for 25c9d19

Commits on Nov 18, 2025

• Fix bug in type inference for arrays of tuples or records containing a mix of optional and non-optional arrays. Fixes #963.

  guidotack

  committed
  86f10b1

  Copy full SHA for 86f10b1

• Ensure output items are only evaluated once

  cyderize

  committed
  62d32fc

  Copy full SHA for 62d32fc

• Add copy button to doc code blocks

  Show description for cfe88cf
  cyderize

  committed
  cfe88cf

  Copy full SHA for cfe88cf

Commits on Nov 17, 2025

• fix gc stats

  Ktwsz

  committed
  994115e

  Copy full SHA for 994115e