Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 1, 2024

• update CI

  c-cube

  committed
  9bd73e7

  Copy full SHA for 9bd73e7

Commits on Sep 10, 2022

• chore: upgrade to menhir 2.0 in dune

  c-cube

  committed
  55b8842

  Copy full SHA for 55b8842

Commits on Jan 19, 2022

• update benchpress file

  c-cube

  committed
  06352e5

  Copy full SHA for 06352e5

• refactor internal, use Vec everywhere

  c-cube

  committed
  f675bc7

  Copy full SHA for f675bc7

• fix build on 4.03

  c-cube

  committed
  ed00281

  Copy full SHA for ed00281

• fix warnings

  c-cube

  committed
  fcfdc8b

  Copy full SHA for fcfdc8b

• update heap/vec a bit

  c-cube

  committed
  5a34511

  Copy full SHA for 5a34511

• refactor: remove proof production entirely

  c-cube

  committed
  eaa6faf

  Copy full SHA for eaa6faf

Commits on Jan 18, 2022

• chore: update CI

  c-cube

  committed
  e59de51

  Copy full SHA for e59de51

• cleanup

  c-cube

  committed
  40280e4

  Copy full SHA for 40280e4

Commits on Jun 29, 2021

• doc: a short summary in the readme

  c-cube

  committed
  bec224a

  Copy full SHA for bec224a

Commits on Jun 7, 2021

• add `--smtcomp` mode to be compliant with starexec's postprocessors

  c-cube

  committed
  ae0ff28

  Copy full SHA for ae0ff28

Commits on May 29, 2021

• update readme

  c-cube

  committed
  649ad01

  Copy full SHA for 649ad01

• doc: update

  c-cube

  committed
  f9bba5a

  Copy full SHA for f9bba5a

Commits on May 21, 2021

• try new ci

  c-cube

  committed
  511e56c

  Copy full SHA for 511e56c

Commits on Mar 31, 2021

• chore: relax smtlib-utils constraint

  c-cube

  committed
  801ddb1

  Copy full SHA for 801ddb1

Commits on Feb 22, 2021

• doc: readme

  c-cube

  committed
  c7f881d

  Copy full SHA for c7f881d

• move to github CI

  c-cube

  committed
  03f4676

  Copy full SHA for 03f4676

Commits on Nov 17, 2020

• fix: allow smtlib-utils 0.2

  c-cube

  committed
  223bd64

  Copy full SHA for 223bd64

• prepare for 0.1

  c-cube

  committed
  df6e63b

  Copy full SHA for df6e63b

• some scripts, a regression test

  c-cube

  committed
  0b91d35

  Copy full SHA for 0b91d35

Commits on Nov 16, 2020

• chore: add more test targets to makefile

  c-cube

  committed
  7d96c23

  Copy full SHA for 7d96c23

• fix: handle side condition when type-checking constant definitions

  c-cube

  committed
  3d8b8f2

  Copy full SHA for 3d8b8f2

Commits on Nov 13, 2020

• feat: support nonrec function definitions

  c-cube

  committed
  68f5e8a

  Copy full SHA for 68f5e8a

• wip: definitions

  c-cube

  committed
  fc14c5c

  Copy full SHA for fc14c5c

Commits on Sep 9, 2020

• chore: pin-depends for msat

  c-cube

  committed
  c0a0b0a

  Copy full SHA for c0a0b0a

• chore: fix opam

  c-cube

  committed
  6cdf764

  Copy full SHA for 6cdf764

• refactor: update to containers 3.0

  c-cube

  committed
  5df96c6

  Copy full SHA for 5df96c6

Commits on Jul 31, 2020

• update benchpress config

  c-cube

  committed
  0ab5803

  Copy full SHA for 0ab5803

• refactor: update to containers 2.8 to get rid of warnings

  c-cube

  committed
  7233d12

  Copy full SHA for 7233d12

Commits on Mar 10, 2020

• fix: handle `xor` again

  c-cube

  committed
  e0a8916

  Copy full SHA for e0a8916

• lra: normal version

  c-cube

  committed
  11b7038

  Copy full SHA for 11b7038

• feat: better printing of progress bar

  c-cube

  committed
  5d685e4

  Copy full SHA for 5d685e4

• feat: pass a `switch` around to interrupt main loop from a gc alarm

  c-cube

  committed
  85f40b6

  Copy full SHA for 85f40b6

Commits on Mar 9, 2020

• fixes in cnf/main

  c-cube

  committed
  0a35eb2

  Copy full SHA for 0a35eb2

Pagination

Previous

Next