59 Commits (d1935941a609e276d2b6c5ee761106760518ee5b)

Author SHA1 Message Date
Josh Berdine 1a9737dbe5 [sledge] Factor out representation of equality classes into Context.Cls
4 years ago
Josh Berdine 93abf301c9 [sledge] Fix type of List.filter
4 years ago
Josh Berdine 0ebc74ae8c [sledge] Add Set.Provide_pp
4 years ago
Josh Berdine 9e373fb68c [sledge] Generalize Context.Subst.compose to support shadowed bindings
4 years ago
Josh Berdine 1c37a0f146 [sledge] Generalize Context.elim and make it more robust
4 years ago
Josh Berdine 453068fa53 [sledge] Revise Control flow exploration algorithm
4 years ago
Josh Berdine c063a91c7c [sledge] Add Option.flat_map
4 years ago
Josh Berdine 2b89fa531a [sledge] Add CCBijection to Nonstdlib
4 years ago
Josh Berdine bb4c1e1133 [sledge] Represent function formal parameters and actual arguments in order
4 years ago
Josh Berdine b9bb3ca220 [sledge] Add Iter.fold_map and folding_map
4 years ago
Josh Berdine 0b1760af24 [sledge] Add compare, equal, and hash to core Llair types
4 years ago
Josh Berdine 8fc7e5ef58 [sledge] Move handling of realpath to the frontend and cli
4 years ago
Josh Berdine 639bda69e7 [sledge] Add byte-offsets of struct fields to Llair.Typ.t
4 years ago
Josh Berdine 29af15cdd1 [sledge] Add Containers.Ord
4 years ago
Josh Berdine 22f17140f0 [sledge] Minor exception optimizations
4 years ago
Josh Berdine 52b511d053 [sledge] Improve backtraces of invariant violation and replay exceptions
4 years ago
Josh Berdine 48dcd01547 [sledge] Strengthen normalization of And and Or formulas
4 years ago
Josh Berdine 849c5c3ab5 [sledge] Add Map.partition_map
4 years ago
Josh Berdine 1da536ebe5 [sledge] Change to normal argument order for Set.mem
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 4a59f053fa [sledge] Improve printing
4 years ago
Josh Berdine 2083e3ee86 [sledge] Minor simplifications using Set and Map iterators
4 years ago
Josh Berdine 920c553902 [sledge] Change type of fold functions for improved composition
4 years ago
Josh Berdine ec4cb61db3 [sledge] Shift to a more standard Set API
4 years ago
Josh Berdine 46abb011cb [sledge] Do not reverse Map.to_iter
4 years ago
Josh Berdine 4780b92584 [sledge] Shift to a more standard Map API
4 years ago
Josh Berdine e8b94baae2 [sledge] Normalize And and Or formulas wrt ACUZ
4 years ago
Josh Berdine 6ddb9fe1b8 [sledge] Avoid use of polymorphic compare default arguments in nonstdlib
4 years ago
Josh Berdine 5574c5e078 [sledge] Replace uses of Base.With_return with Iterators
4 years ago
Josh Berdine 1697382344 [sledge] Switch IArray from Core_kernel.Array to NS.Array
4 years ago
Josh Berdine 9959fbb478 [sledge] Switch from Base.Array to Containers.Array
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 3f4f0cc4ac [sledge] Switch from Base.String to Containers.String
4 years ago
Josh Berdine 99791f55f7 [sledge] Switch from Base.Int to Stdlib and Containers
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 a204c7f7be [sledge] Remove unused filter_map_endo functions
4 years ago
Josh Berdine 3258761ac3 [sledge] Represent arithmetic terms using polynomials
4 years ago
Josh Berdine df35f9702a [sledge] Generalize Multiset over type of multiplicities
4 years ago
Josh Berdine bd49ad84a8 [sledge] Rename Qset to Multiset
4 years ago
Josh Berdine 682fb9158c [sledge] Switch from Base.Map to Containers.Map
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 4c52102882 [sledge] Test: Add executable for manipulating reports
4 years ago
Josh Berdine 334661b474 [sledge] Improve: result status reporting and unhandled exceptions
4 years ago