Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2023

• fix

  c-cube

  committed
  c9ecd28

  Copy full SHA for c9ecd28

• faster CI

  c-cube

  committed
  47e21dc

  Copy full SHA for 47e21dc

• require ocaml 4.08

  c-cube

  committed
  5c872af

  Copy full SHA for 5c872af

Commits on Mar 5, 2023

• move to dune 2.0 and menhir 2.0; fix parser infer errors

  c-cube

  committed
  bb874e7

  Copy full SHA for bb874e7

• fix potential crash caused by setsid

  c-cube

  committed
  9f3de06

  Copy full SHA for 9f3de06

Commits on Aug 25, 2021

• move minimum OCaml req to 4.06; fix ci

  c-cube

  committed
  91e6268

  Copy full SHA for 91e6268

Commits on Aug 24, 2021

• chore: update CI

  c-cube

  committed
  60214f5

  Copy full SHA for 60214f5

• fixes for 4.12

  c-cube

  committed
  1431faf

  Copy full SHA for 1431faf

• migrate to containers 3.0

  c-cube

  committed
  a126300

  Copy full SHA for a126300

Commits on Dec 10, 2020

• remove travis, limit build to linux

  c-cube

  committed
  16f33db

  Copy full SHA for 16f33db

• try to fix build on windows

  c-cube

  committed
  db6ae37

  Copy full SHA for db6ae37

• doc: point to github ci in readme

  c-cube

  committed
  289bc4f

  Copy full SHA for 289bc4f

• chore: missing dep in opam

  c-cube

  committed
  39503ec

  Copy full SHA for 39503ec

• refactor: move to containers 3.0

  c-cube

  committed
  6ffdd48

  Copy full SHA for 6ffdd48

• chore: add github ci

  c-cube

  committed
  71d7d8d

  Copy full SHA for 71d7d8d

• fix doc by pointing nunchaku-problems

  Show description for 8ae744e
  c-cube

  committed
  8ae744e

  Copy full SHA for 8ae744e

Commits on Jan 13, 2020

• refactor: use new version of containers and fix deprecations

  c-cube

  committed
  57de820

  Copy full SHA for 57de820

Commits on Nov 13, 2019

• add dune workspace file, to help developping on several compiler versions

  c-cube

  committed
  02c3689

  Copy full SHA for 02c3689

• chore: update dune flags to have -warn-error -3

  c-cube

  committed
  fa8d955

  Copy full SHA for fa8d955

• test: fix alias problem due to stdlib

  c-cube

  committed
  f510015

  Copy full SHA for f510015

• test: improve scheduling tests

  c-cube

  committed
  be664ce

  Copy full SHA for be664ce

• remove ocamlinit file

  c-cube

  committed
  0246ff2

  Copy full SHA for 0246ff2

• chore(travis): let smbc do its own CI; add 4.09

  c-cube

  committed
  37d49a1

  Copy full SHA for 37d49a1

• chore: update opam file

  c-cube

  committed
  31ef3ce

  Copy full SHA for 31ef3ce

Commits on Aug 9, 2019

• refactor: move from sequence to iter

  c-cube

  committed
  7d130c1

  Copy full SHA for 7d130c1

Commits on Jan 29, 2019

• chore: prepare for sequence→iter deprecation

  c-cube

  committed
  9258ef3

  Copy full SHA for 9258ef3

Commits on Nov 27, 2018

• doc: update makefile

  c-cube

  committed
  fcd0413

  Copy full SHA for fcd0413

• chore: migrate to dune

  c-cube

  committed
  eac0342

  Copy full SHA for eac0342

Commits on Nov 13, 2018

• chore: bump minimal version of OCaml to 4.03

  c-cube

  committed
  d14cb1f

  Copy full SHA for d14cb1f

Commits on Nov 9, 2018

• Avoid using a wildcard in a Menhir production.

  

  fpottier

  authored and

  c-cube

  committed
  023df72

  Copy full SHA for 023df72

Commits on Oct 24, 2018

• prepare for 0.6

  c-cube

  committed
  21738e4

  Copy full SHA for 21738e4

• chore: update opam file to 2.0 format

  c-cube

  committed
  92f3b55

  Copy full SHA for 92f3b55

• fix: support CVC1.{6,7}

  Show description for a657f24
  c-cube

  committed
  a657f24

  Copy full SHA for a657f24

Commits on Oct 13, 2018

• chore: update travis script (leaner, hopefully)

  c-cube

  committed
  24f3268

  Copy full SHA for 24f3268

• doc: update readme

  c-cube

  committed
  817c8ce

  Copy full SHA for 817c8ce

Pagination

Previous

Next