Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 21, 2026

• Merge pull request #14 from c-cube/simon/fix-13

  Show description for 80b240c
  c-cube

  authored
  80b240c

  Copy full SHA for 80b240c

Commits on Mar 18, 2026

• more tests

  c-cube

  committed
  0bbac4b

  Copy full SHA for 0bbac4b

• refactor a bit

  c-cube

  committed
  4cde61b

  Copy full SHA for 4cde61b

• add test for #13

  c-cube

  committed
  24cbba2

  Copy full SHA for 24cbba2

• delay rule with negation until whole scc is resolved

  Show description for fbde897
  c-cube

  committed
  fbde897

  Copy full SHA for fbde897

• udpate CI

  c-cube

  committed
  dda1f59

  Copy full SHA for dda1f59

Commits on Mar 17, 2026

• add dependency to containers to get SCC computation

  c-cube

  committed
  020065a

  Copy full SHA for 020065a

Commits on Oct 17, 2024

• Suppress an unused variable warning

  Show description for f60ba2c
  

  jonsterling

  authored and

  c-cube

  committed
  f60ba2c

  Copy full SHA for f60ba2c

• Update to dune 2.7

  Show description for 6d5e100
  

  shonfeder

  authored and

  c-cube

  committed
  6d5e100

  Copy full SHA for 6d5e100

Commits on Oct 16, 2024

• prepare for 0.7; generate opam files from dune-project; format dune files

  c-cube

  committed
  0480969

  Copy full SHA for 0480969

• opam stuff

  c-cube

  committed
  08cfaf5

  Copy full SHA for 08cfaf5

• fix: use `Stdlib` for compat with recent versions of OCaml

  c-cube

  committed
  8918c88

  Copy full SHA for 8918c88

• cleanup

  c-cube

  committed
  b3d9572

  Copy full SHA for b3d9572

• wip: add CI

  c-cube

  committed
  3a5ca04

  Copy full SHA for 3a5ca04

Commits on Jun 18, 2022

• Fix broken link in comment

  

  twitchard

  authored and

  c-cube

  committed
  37b450a

  Copy full SHA for 37b450a

Commits on Aug 9, 2021

• Fix location reported in parse errors

  

  rixed

  authored and

  c-cube

  committed
  a29910e

  Copy full SHA for a29910e

Commits on Mar 13, 2019

• prepare for 0.6

  c-cube

  committed
  b6ddfbe

  Copy full SHA for b6ddfbe

• chore: no need for magic with binaries

  c-cube

  committed
  a6f4272

  Copy full SHA for a6f4272

• chore: opam

  c-cube

  committed
  acfca6b

  Copy full SHA for acfca6b

• chore: update travis script

  c-cube

  committed
  26c8188

  Copy full SHA for 26c8188

• test: use mdx to test the readme; update readme

  c-cube

  committed
  c5204a4

  Copy full SHA for c5204a4

• doc: fix documentation url

  c-cube

  committed
  5453372

  Copy full SHA for 5453372

Commits on Feb 9, 2019

• chore: fix opam file

  c-cube

  committed
  bfe1ade

  Copy full SHA for bfe1ade

• doc: add something about aggregates in the readme

  c-cube

  committed
  d36da5a

  Copy full SHA for d36da5a

• fix: proper grouping and substitution in aggregates (see #2)

  c-cube

  committed
  4a6ab14

  Copy full SHA for 4a6ab14

Commits on Feb 8, 2019

• refactor: use callback style for debug

  c-cube

  committed
  3d156dc

  Copy full SHA for 3d156dc

• fix: flush stderr on debug msg

  c-cube

  committed
  ab1a6ae

  Copy full SHA for ab1a6ae

Commits on Oct 10, 2018

• chore: fix travis, remove some deps

  c-cube

  committed
  9fd33ee

  Copy full SHA for 9fd33ee

Commits on Oct 9, 2018

• doc: update readme

  c-cube

  committed
  2cb1d76

  Copy full SHA for 2cb1d76

• feat(cli): change name of options (--long style); add --quiet

  c-cube

  committed
  bf8a6ba

  Copy full SHA for bf8a6ba

• fix: fix bug of hashconsing in default (force hashconsing!)

  c-cube

  committed
  703fd9f

  Copy full SHA for 703fd9f

• refactor: require 4.03

  c-cube

  committed
  d6984a6

  Copy full SHA for d6984a6

• doc: fix readme's pointer to travis

  c-cube

  committed
  74cc3de

  Copy full SHA for 74cc3de

• refactor: rename modules in bottom-up lib

  c-cube

  committed
  895e763

  Copy full SHA for 895e763

• chore: disable 4.02 on travis

  c-cube

  committed
  57761bb

  Copy full SHA for 57761bb