Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Unity @ 994779f
Unity now a submodule
January 10, 2017 16:35
docker
fix obsolete ocamlswitch.txt URL in Dockerfile
November 13, 2019 09:45
example
example dir
February 22, 2019 15:50
src
Ensure compatibility with core ≥ 0.12
February 7, 2022 12:18
test
syntax in failing test
June 5, 2019 13:19
.gitattributes
oops
April 15, 2018 16:58
.gitignore
produces factc instead of fact.byte
February 20, 2019 14:14
.gitmodules
using docker for ctverif
February 16, 2018 16:21
.merlin
z3 in build
September 13, 2018 15:24
FaCT_extended.pdf
extended paper
April 17, 2019 02:30
LICENSE
Create LICENSE
March 18, 2018 23:14
Makefile
better make command
February 21, 2019 23:32
README.md
Update README.md
June 24, 2019 01:03
_oasis
produces factc instead of fact.byte
February 20, 2019 14:14
_tags
produce native binaries
February 20, 2019 13:40
guidelines.md
cleanup repo files
May 8, 2018 13:35
myocamlbuild.ml
WIP: add optimization checker
December 29, 2017 16:00
ocamlswitch.txt
Fix undefined reference to makedev
August 11, 2021 17:33