Skip to content

Commit

Permalink
Update CVC5 to include relocatable build
Browse files Browse the repository at this point in the history
  • Loading branch information
@gussmith23
gussmith23 committed Apr 24, 2024
1 parent 7f400d5 commit a55e13e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dependencies.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,5 @@ export YICES2_COMMIT_HASH="5326f0d645df6e38ae6e7d944381d01ba7d805ab"
export BITWUZLA_COMMIT_HASH="b655bc0cde570258367bf8f09a113bc7b95e46e9"
export RACKET_FMT_COMMIT_HASH="7d0a3dfff3a6cacfb59972a56d476556f89a0b1b"
export YOSYS_COMMIT_HASH="70d35314dbd7521870047ed607897f22dc48cbc3"
export CVC5_COMMIT_HASH="ebfdf84d5698eeb83e0fa4e45101fe4a8f4543eb"
export CVC5_COMMIT_HASH="1d05a49387c041dba17f85f3c4e738b4b388ace2"
export VERILATOR_COMMIT_HASH="881c6ee6557fbde017466553b2f0918250e9c4bd"

0 comments on commit a55e13e

Please sign in to comment.