7 Commits (1364eccf18dc516a3bdf84db97e37db59346b544)

Author SHA1 Message Date
Josh Berdine 461f88756d [sledge] Name the sledge library `sledge`
5 years ago
Josh Berdine ae3c059fe9 [sledge] Define Set as a functor over the Tree underlying Core.Set
5 years ago
Josh Berdine 2a5e0f692b [sledge] Move dep on Core to just bin
5 years ago
Josh Berdine 8337097cf0 [sledge] Move Domain_itv and dependency on APRON from lib to bin
5 years ago
Josh Berdine 27f93b60da [sledge] Move ctypes dep from lib to bin
5 years ago
Josh Berdine f5ab894675 [sledge] Dedup preprocess entries in dune files
5 years ago
Josh Berdine 0c7249b992 [sledge] Change build system to not generate dune files
5 years ago