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
/
src
/
bin
11 files
at
master
Guillaume Bury
·
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
·
3mo ago
08fe0a4a
dune
feat: Add support for user-defined builtins with Dune plugins (#214)
1y ago
errors.ml
Give the correct backtrace to uncaught_exn
3y ago
extensions.ml
feat: Add support for user-defined builtins with Dune plugins (#214)
1y ago
extensions.mli
feat: Add support for user-defined builtins with Dune plugins (#214)
1y ago
hints.ml
Implement best mode for model verification (#154)
3y ago
loop.ml
Smtlib Printer (#211)
1y ago
main.ml
Smtlib Printer (#211)
1y ago
man.ml
Add language extensions in the parsing of smtlib2
3y ago
memory_profiler.memtrace.ml
Add memtrace support in dolmen binary
5y ago
memory_profiler.missing.ml
Add memtrace support in dolmen binary
5y ago
options.ml
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
3mo ago
