Skip to content

Releases: let-def/grenier

0.15

12 Feb 16:09
Compare
Choose a tag to compare

CHANGES:

Fix compatibility with OCaml 5:

  • balmap: missing functions (add_to_list, to_list, of_list) contributed by @kit-ty-kate
  • physh: fix compilation with OCaml 5, contributed by @SquidDev

However physh is disabled for now when compiling with OCaml 5. Thorough reviewing is needed to ensure that the current design is safe with the multicore GC (see #10).

Add a new "Congre" library, a fast congruence closure algorithm with support for backtracking and interpretability of equivalence classes.

0.14

01 Apr 07:32
Compare
Choose a tag to compare

CHANGES:

Binder introducer: transform a directed graph into a tree by introducing
binding nodes.

0.13

16 Dec 09:44
Compare
Choose a tag to compare

CHANGES:

Fastdom: implementation of a dominance algorithm.
Fix various bugs in Valmari DFA minimizer.
Get rid of "PCG" unused code.
Doubledouble: disable FMADD to strictly stick to 64-bits precision.

v0.12

30 Mar 12:13
Compare
Choose a tag to compare

CHANGES:

Balmap: alternative to Stdlib Maps and Sets based on baltree.
Dbseq: fast sequence datastructure for DeBruijn-indexed environments.
State elimination: convert e-NFA to regular expressions.

Fixed many bugs in and increased expressiveness of Valmari implementation.

v0.11

04 Mar 09:14
Compare
Choose a tag to compare

CHANGES:

Collect a few type-level idioms in the Strong library.
Drop support for OCaml 4.03, OCaml 4.04 is now the oldest supported version.
Fix compilation with the first released version of OCaml 4.10.

v0.10

13 Jan 12:54
Compare
Choose a tag to compare

CHANGES:

Fix compilation with OCaml 4.10.
Add a low-level interface to Dset.

v0.8

17 Sep 10:15
Compare
Choose a tag to compare

CHANGES:

Important bugfix in the balancing algorithm of Baltree.
Use dune binary instead of jbuilder.
Remove references to Pervasives for OCaml 4.08 compatibility.

v0.7

10 Jul 21:51
Compare
Choose a tag to compare

CHANGES:

Dune & dune-release port contributed by Rudi Grinberg.
Valmari DFA minimization implementation.