28 Commits (d3a83beab4d0f2744af8013fb8ab0ea08d5b1772)

Author SHA1 Message Date
Josh Berdine 453068fa53 [sledge] Revise Control flow exploration algorithm
4 years ago
Josh Berdine 2b89fa531a [sledge] Add CCBijection to Nonstdlib
4 years ago
Josh Berdine 8fc7e5ef58 [sledge] Move handling of realpath to the frontend and cli
4 years ago
Josh Berdine 29af15cdd1 [sledge] Add Containers.Ord
4 years ago
Josh Berdine 52b511d053 [sledge] Improve backtraces of invariant violation and replay exceptions
4 years ago
Josh Berdine 194127eb4b [sledge] Move additional Fol representation operations to Trm and Fml
4 years ago
Josh Berdine 90675ca33a [sledge] Improve Monad interface
4 years ago
Josh Berdine 920c553902 [sledge] Change type of fold functions for improved composition
4 years ago
Josh Berdine 5574c5e078 [sledge] Replace uses of Base.With_return with Iterators
4 years ago
Josh Berdine c35c4e2789 [sledge] Switch from Base.List to Containers.List
4 years ago
Josh Berdine 409b21ec64 [sledge] Switch from Base.Option to Containers.Option
4 years ago
Josh Berdine 94bf571950 [sledge] Rename Fheap to FHeap for consistency
4 years ago
Josh Berdine ad25b2be4e [sledge] Rename Hash_queue to HashQueue for consistency
4 years ago
Josh Berdine 9a238a76da [sledge] Switch from Base.Hashtbl to Containers.Hashtbl
4 years ago
Josh Berdine 08da86ae62 [sledge] Switch from Base.Hash_set to CCHashSet
4 years ago
Josh Berdine b6a77f6567 [sledge] Refactor nonstdlib to avoid opening Core
4 years ago
Josh Berdine 3258761ac3 [sledge] Represent arithmetic terms using polynomials
4 years ago
Josh Berdine bd49ad84a8 [sledge] Rename Qset to Multiset
4 years ago
Josh Berdine 779e9405c8 [sledge] Switch from Base.Set to Containers.Set
4 years ago
Josh Berdine 09c9a0a1ff [sledge] Simplify Fol normalizing constructor code
4 years ago
Josh Berdine 334661b474 [sledge] Improve: result status reporting and unhandled exceptions
4 years ago
Josh Berdine e3cbb0f27d [sledge] Add: Uninterpreted function symbols and applications to Fol
4 years ago
Josh Berdine d39dd1fee2 [sledge] Add: Array hash and sexp functions
4 years ago
Josh Berdine 33d59b8642 [sledge] Refactor: Add Option.Import including Monad_infix and Monad_syntax
4 years ago
Josh Berdine 6b44eaf2e6 [sledge] Style: set ocamlformat config break-struct = force
4 years ago
Josh Berdine 323e96d4f4 [sledge] Refactor: Add monad to manage generation of fresh vars in Exec
5 years ago
Josh Berdine 9c8f2e4a5c [sledge] Build: Move Timer to Nonstdlib
5 years ago
Josh Berdine df3e6ded1d [sledge] Build: Promote `import` subdirectory to a toplevel `nonstdlib` library
5 years ago