Skip to content

Commit

Permalink
Bump crucible submodule to bring in rotate_left override
Browse files Browse the repository at this point in the history 
This bumps the `crucible` submodule to a commit that brings in the changes from
GaloisInc/crucible#1158. Among other things, this adds
an override for the Rust `rotate_left` function, which is crucial to making the
SAW Rust tutorial work.

Fixes #2003.
  • Loading branch information
@RyanGlScott
RyanGlScott committed Jan 10, 2024
1 parent 4d262cc commit 66b59aa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 47 files
+7 −4 crucible-cli/src/Lang/Crucible/CLI.hs
+7 −5 crucible-concurrency/src/Cruces/CrucesMain.hs
+2 −0 crucible-llvm-syntax/README.md
+16 −0 crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs
+3 −0 crucible-llvm-syntax/test-data/ptr.cbl
+34 −28 crucible-llvm-syntax/test-data/ptr.out.good
+8 −0 crucible-llvm/doc/limitations.md
+6 −0 crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics.hs
+48 −0 crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/LLVM.hs
+46 −1 crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Libc.hs
+47 −20 crucible-mir/src/Mir/Trans.hs
+12 −12 crucible-mir/src/Mir/TransCustom.hs
+7 −0 crucible-syntax/CHANGELOG.md
+5 −18 crucible-syntax/src/Lang/Crucible/Syntax/Concrete.hs
+1 −15 crucible-syntax/src/Lang/Crucible/Syntax/Prog.hs
+1 −1 crucible/src/Lang/Crucible/CFG/Core.hs
+1 −1 crucible/src/Lang/Crucible/CFG/Generator.hs
+17 −2 crucible/src/Lang/Crucible/CFG/Reg.hs
+1 −1 crucible/src/Lang/Crucible/CFG/SSAConversion.hs
+7 −0 crucible/src/Lang/Crucible/Simulator/OverrideSim.hs
+27 −0 crux-llvm/test-data/golden/fmuladd.c
+1 −0 crux-llvm/test-data/golden/fmuladd.config
+1 −0 crux-llvm/test-data/golden/fmuladd.z3.good
+9 −1 crux-mir/README.md
+5 −0 crux-mir/lib/Patches.md
+12 −5 crux-mir/lib/alloc/src/vec/into_iter.rs
+1 −0 crux-mir/lib/alloc/src/vec/mod.rs
+3 −0 crux-mir/lib/dlmalloc/.gitignore
+43 −0 crux-mir/lib/dlmalloc/Cargo.toml
+201 −0 crux-mir/lib/dlmalloc/LICENSE-APACHE
+25 −0 crux-mir/lib/dlmalloc/LICENSE-MIT
+40 −0 crux-mir/lib/dlmalloc/README.md
+4 −0 crux-mir/lib/dlmalloc/build.rs
+6,280 −0 crux-mir/lib/dlmalloc/src/dlmalloc.c
+1,829 −0 crux-mir/lib/dlmalloc/src/dlmalloc.rs
+42 −0 crux-mir/lib/dlmalloc/src/dummy.rs
+62 −0 crux-mir/lib/dlmalloc/src/global.rs
+170 −0 crux-mir/lib/dlmalloc/src/lib.rs
+133 −0 crux-mir/lib/dlmalloc/src/unix.rs
+72 −0 crux-mir/lib/dlmalloc/src/wasm.rs
+31 −0 crux-mir/lib/dlmalloc/tests/global.rs
+91 −0 crux-mir/lib/dlmalloc/tests/smoke.rs
+1 −2 crux-mir/src/Mir/Overrides.hs
+22 −0 crux-mir/test/conc_eval/enum/repr_transparent.rs
+14 −0 crux-mir/test/conc_eval/intTest/test1129.rs
+20 −0 crux-mir/test/conc_eval/vec/into_iter.rs
+26 −5 crux-mir/translate_libs.sh

0 comments on commit 66b59aa

Please sign in to comment.