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
/
standard
47 files
at
master
Hichem R. A.
·
Separate rounding modes into their own type (#271)
·
2w ago
8834b4c5
answer.ml
Add handling for (error ...) in responses
4y ago
answer.mli
Add handling for (error ...) in responses
4y ago
builtin.ml
Separate rounding modes into their own type (#271)
2w ago
builtin.mli
Separate rounding modes into their own type (#271)
2w ago
dune
Smtlib Printer (#211)
1y ago
expr.ml
Separate rounding modes into their own type (#271)
2w ago
expr.mli
Smtlib Printer (#211)
1y ago
extensions.ml
feat: Add support for user-defined builtins with Dune plugins (#214)
1y ago
extensions.mli
Add language extensions in the parsing of smtlib2
3y ago
id.ml
Fixes for implicit type vars and datatype decls in smt-lib
8mo ago
id.mli
Fixes for implicit type vars and datatype decls in smt-lib
8mo ago
loc.ml
More precise error for lexing errors (#265)
3mo ago
loc.mli
Fix broken `Loc.compact` function
1y ago
maps_string.ml
Add radix trie implementation for maps on strings
5y ago
maps_string.mli
Add radix trie implementation for maps on strings
5y ago
maps.ml
Add radix trie implementation for maps on strings
5y ago
maps.mli
Add radix trie implementation for maps on strings
5y ago
misc.ml
Smtlib Printer (#211)
1y ago
misc.mli
Smtlib Printer (#211)
1y ago
msg.ml
Lots of error handling changed
6y ago
name.ml
Split HO into a separate builtin theory for typechecking (#267)
3mo ago
name.mli
Smtlib Printer (#211)
1y ago
namespace.ml
Add radix trie implementation for maps on strings
5y ago
namespace.mli
Smtlib Printer (#211)
1y ago
normalize.ml
Smtlib Printer (#211)
1y ago
normalize.mli
Smtlib Printer (#211)
1y ago
path.ml
Add abstraction for Names and Paths
5y ago
path.mli
Complete and fix alt-ergo's native language typing (#89)
4y ago
pretty.ml
Fix attributes in nested binders (#210)
2y ago
renaming.ml
Smtlib Printer (#211)
1y ago
scope.ml
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
3mo ago
scope.mli
Smtlib Printer (#211)
1y ago
statement.ml
Smtlib Printer (#211)
1y ago
statement.mli
Smtlib Printer (#211)
1y ago
stats.ml
Add radix trie implementation for maps on strings
5y ago
stats.mli
Add radix trie implementation for maps on strings
5y ago
tag.ml
Fix attributes in nested binders (#210)
2y ago
tag.mli
Fix attributes in nested binders (#210)
2y ago
term.ml
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
3mo ago
term.mli
Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)
3mo ago
timer.ml
Add radix trie implementation for maps on strings
5y ago
timer.mli
Add radix trie implementation for maps on strings
5y ago
tok.ml
Lots of error handling changed
6y ago
transformer.ml
More precise error for lexing errors (#265)
3mo ago
vec.ml
Location refactor to reduce memory usage
6y ago
vec.mli
Location refactor to reduce memory usage
6y ago
view.ml
Fix printing of type annotation for poly ho maps
3mo ago