src/loop · dolmen · Tangled

forked from gbury/dolmen

dolmen src loop

29 files

Guillaume Bury · Add support for SMT-LIB's :global-declarations options (#269) · 2mo ago

Fix windows build and tests (#117)

Fix windows build and tests (#117)

Ensure stable error codes (#134)

Ensure stable error codes (#134)

Smtlib Printer (#211)

Add Integer exponentiation (#259)

Smtlib Printer (#211)

Smtlib Printer (#211)

Emit less `exit` statements, notably for preludes (#263)

Flow check + some windows fixes (#135)

headers_intf.ml

Smtlib Printer (#211)

Smtlib Printer (#211)

Ensure stable error codes (#134)

Add language extensions in the parsing of smtlib2

Make files re-parsables

Smtlib Printer (#211)

Emit less `exit` statements, notably for preludes (#263)

More precise error for lexing errors (#265)

Fix windows build and tests (#117)

Fix windows build and tests (#117)

Smtlib Printer (#211)

Add proper support for `:named` smtlib annotations (#199)

feat: Add support for user-defined builtins with Dune plugins (#214)

Add response class for parsing provers responses

Smtlib Printer (#211)

Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)

Add support for SMT-LIB's :global-declarations options (#269)

Add support for SMT-LIB's :global-declarations options (#269)

Implement 'dumb' polymophism for SMT-LIB + various HO fixes (#268)