Skip to content

Activity

Showing most recent first

Balmap: add extra primitives for importing data structure and for ran…

let-defpushed 1 commit to master • d598134…e09c26b • 
on Jun 26, 2024

grenier.opam: try again with dune 3

let-defpushed 4 commits to master • 5253716…d598134 • 
on Feb 12, 2024

Update grenier.opam (needs dune 1.10)

let-defpushed 1 commit to master • a03f645…5253716 • 
on Feb 12, 2024

Update grenier doc to 0.15.

let-defpushed 1 commit to gh-pages • 0ce08e7…54312d4 • 
on Feb 12, 2024

Update grenier doc to 0.14-9-ga03f645.

let-defpushed 1 commit to gh-pages • e9e7de3…0ce08e7 • 
on Feb 12, 2024

Update CHANGES

let-defpushed 4 commits to master • 6c36283…a03f645 • 
on Feb 12, 2024

Use caml_minor_collections_count on OCaml 5.1

Pull request merge
let-defpushed 1 commit to master • 6af3551…6c36283 • 
on Feb 12, 2024

Add partial OCaml 5.1 support

Pull request merge
let-defpushed 1 commit to master • ea9c43e…6af3551 • 
on Feb 12, 2024

Import congruence closure implementation

let-defpushed 1 commit to master • 166366b…ea9c43e • 
on Jul 18, 2023