Sign in
Join now
dolmen
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from gbury/dolmen
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
dolmen
/
tests
12 folders
·
1 file
at
master
Guillaume Bury
·
Add support for SMT-LIB's :global-declarations options (#269)
·
2mo ago
5c9161a6
cram.t
Add support for prelude files
3y ago
flow
Flow check + some windows fixes (#135)
3y ago
headers
Some more CI tests (#127)
3y ago
locs
Refine some arithmetic error/warning messages (#184)
3y ago
model
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
3mo ago
parsing
More precise error for lexing errors (#265)
3mo ago
print
promote tests
3mo ago
proof
Progress on error messages
4y ago
qcheck
More precise error for lexing errors (#265)
3mo ago
regression
Reject SMT-LIB2 distinct applications to less than 2 arguments (#243)
1y ago
typing
Add support for SMT-LIB's :global-declarations options (#269)
2mo ago
unit
Be more precise about the packages of tests
5y ago
dune
Add support for prelude files
3y ago
