Commits
User selector
Commit history
Commits on Nov 3, 2025
Comment out AnghaBench CI Cron Jobs workflow (#341)
Show description for 370abaaauthored
Commits on Jan 11, 2024
Commits on Jan 10, 2024
Commits on Jul 28, 2023
Upgrade to latest cxx-common version 0.4.1 + llvm 16 + ubuntu 22.04 (#329)
Show description for 6226304andauthored
Commits on May 18, 2023
Upgrade to LLVM16 (#324)
Show description for c40d377authored
Commits on Dec 22, 2022
Migrate to LLVM15 (#308)
Show description for 87c50e8andauthored
Commits on Dec 2, 2022
Move to explicitly setting CMake toolchain file (#313)
Show description for cca037eauthored
Commits on Oct 24, 2022
Migrate CI to Github Large Runner (#309)
Show description for 59b4751authored
Commits on Sep 12, 2022
Attempt to use AWS CI Runners instead of DO for CI (#299)
Show description for 2fffd6bauthored
Commits on May 23, 2022
Collect nested `if`s (#267)
Show description for 6f3c351authored
Commits on May 17, 2022
Upgrade to LLVM14 (#266)
Show description for 1c2e966authored
Commits on Apr 20, 2022
General maintenance patches (#259)
Show description for 87490efauthored
Commits on Apr 18, 2022
Preprocess reaching conditions (#254)
Show description for 917cb91authored
Commits on Apr 14, 2022
Fix Z3 `ite` conversion (#257)
Show description for 3355ffaauthored
Commits on Feb 18, 2022
Update to LLVM 13 (#231)
Show description for 3126331authored
Commits on Jan 15, 2022
Attempt to use CMakePresets to build (#215)
Show description for ba5073eauthored
Commits on Dec 27, 2021
Add struct layout extraction tool (#199)
Show description for 2164f21andauthored
Commits on Oct 13, 2021
Upgrade cxx-common and test LLVM 12 only (#181)
Show description for f619e2candauthored
Commits on Aug 20, 2021
Minor repo reorganization (#171)
Show description for a95630aauthored
Commits on Jul 28, 2021
Commits on Jul 15, 2021
Update Rellic tests to do recompilation (#162)
Show description for 4832195authored
Commits on Jun 25, 2021
temp fix to avoid build error with llvm12 (#149)
Show description for 94bc7fcauthored
Commits on Jun 24, 2021
Run AnghaBench 1K test to gate merges (#148)
Show description for 46c0df5authored
Commits on Jun 1, 2021
Update ci.yml
Show description for dc6f1faauthored
Commits on May 26, 2021
Commits on May 19, 2021
- committed
Refactor Clang AST building and fix typing in all representations (#121)
Show description for fec3539andauthored
Commits on May 14, 2021
Update anghabench-after-build.yml
Show description for f7243eeauthored
Commits on May 13, 2021
- committed
Commits on May 11, 2021
Update anghabench-after-build.yml
Show description for 9cf73b2authored
Commits on May 10, 2021
Update anghabench-after-build.yml
Show description for 4f35066authoredRun AnghaBench small runs in CI (#135)
Show description for 7862149authored
Commits on Apr 28, 2021
Commits on Apr 2, 2021
Remove old cxx-common and just use vcpkg (#128)
Show description for 4796f4bauthored
Commits on Mar 12, 2021
Implements a proper z3::extract translation (#119)
Show description for 70d111eauthored