Commit Graph

14 Commits (243564be90fd44fe82db64594548d29bb64d2fa1)

Author SHA1 Message Date
Josh Berdine 0c7249b992 [sledge] Change build system to not generate dune files 5 years ago
Josh Berdine c47199e31c [sledge] Simplify build for models 5 years ago
Josh Berdine b6ddd8fe8e [sledge] Rearrange into CLI binary and LLVM-independent library 5 years ago
Josh Berdine c6b8b4688b [sledge] Move llvm build and install dirs out of llvm source tree 5 years ago
Josh Berdine c131e2e669 [sledge] Use dune's Build_info for version reporting 5 years ago
Benno Stein 3dc0c5938f [sledge] Extract relational logic from Sh_domain, create "domain" module 6 years ago
Josh Berdine caef28f49e [sledge] Revise test scripts 6 years ago
Timotej Kapus 9ef992394c [sledge] Put all the entry points in the config 6 years ago
Josh Berdine 3a87a0e2f3 [sledge] Unignore model/cxxabi.bc 6 years ago
Timotej Kapus d47824fe37 [sledge] link in cxxabi 6 years ago
Josh Berdine b6d0e33dfc [sledge] Simplify build 6 years ago
Josh Berdine f6ba0c8137 [sledge] Update build system, etc. 6 years ago
Josh Berdine 446ac6d87c Add initial version of LLAIR and LLVM to LLAIR translation 7 years ago
Josh Berdine d61b93b1d2 Create sledge directory 7 years ago