File tree
8 files changed
+8
-8
lines changed- deps
8 files changed
+8
-8
lines changed- .github/workflows/README.md+18
- .github/workflows/crucible-go-build.yml+3-19
- .github/workflows/crucible-jvm-build.yml+3-19
- .github/workflows/crucible-wasm-build.yml+3-19
- .github/workflows/crux-llvm-build.yml+5-19
- .github/workflows/crux-mir-build.yml+6-10
- crucible-llvm/src/Lang/Crucible/LLVM/Translation/Expr.hs+5-6
- crucible-llvm/src/Lang/Crucible/LLVM/Translation/Monad.hs+1-1
- crucible-llvm/src/Lang/Crucible/LLVM/Translation/Types.hs+5-5
- crucible/src/Lang/Crucible/Simulator/SymSequence.hs+5
- .github/workflows/ci.yaml+12-2
- README.md+1-1
- base/ChangeLog.md+3
- base/src/Data/Macaw/Discovery.hs+1
- base/src/Data/Macaw/Discovery/Classifier.hs+1
- base/src/Data/Macaw/Memory.hs+5
- base/src/Data/Macaw/Memory/ElfLoader.hs+6-5
- deps/asl-translator+1-1
- deps/elf-edit+1-1
- macaw-aarch32-symbolic/tests/pass/ubfx.c+18
- macaw-aarch32-symbolic/tests/pass/ubfx.opt.exe
- macaw-aarch32-symbolic/tests/pass/ubfx.unopt.exe
- macaw-aarch32/src/Data/Macaw/ARM/Identify.hs+29-2
- macaw-riscv/src/Data/Macaw/RISCV.hs+8-3
- macaw-riscv/src/Data/Macaw/RISCV/Identify.hs+13-4
- macaw-riscv/tests/riscv/branch-rv32gc.dump+19
- macaw-riscv/tests/riscv/branch-rv32gc.exe
- macaw-riscv/tests/riscv/branch-rv32gc.expected+4
- macaw-riscv/tests/riscv/fib-rv32gc.dump+87.4k
- macaw-riscv/tests/riscv/fib-rv32gc.exe
- macaw-riscv/tests/riscv/fib-rv32gc.expected+13
- macaw-riscv/tests/riscv/fib.c+13
- macaw-riscv/tests/riscv/function-call-rv32gc.dump+45
- macaw-riscv/tests/riscv/function-call-rv32gc.exe
- macaw-riscv/tests/riscv/function-call-rv32gc.expected+6
- macaw-riscv/tests/riscv/just-exit-rv32gc.dump+14
- macaw-riscv/tests/riscv/just-exit-rv32gc.exe
- macaw-riscv/tests/riscv/just-exit-rv32gc.expected+4
- macaw-riscv/tests/riscv/just-exit.c+3
- macaw-riscv/tests/riscv/syscall-rv32gc.dump+23
- macaw-riscv/tests/riscv/syscall-rv32gc.exe
- macaw-riscv/tests/riscv/syscall-rv32gc.expected+5
- refinement/src/Data/Macaw/Refinement/SymbolicExecution.hs+1-1
- symbolic/src/Data/Macaw/Symbolic.hs+19-114
- symbolic/src/Data/Macaw/Symbolic/Backend.hs+2
- symbolic/src/Data/Macaw/Symbolic/Memory.hs+56-17
- x86_symbolic/src/Data/Macaw/X86/Crucible.hs+1-1
- .github/workflows/gen_matrix.pl+203
- .github/workflows/test.yml+43-15
- .gitmodules-4
- README.md+5-5
- cabal.project+1-2
- dependencies/abcBridge+1-1
- dependencies/aig+1-1
- dependencies/language-sally-1
- what4-abc/what4-abc.cabal+2-2
- what4-blt/what4-blt.cabal+1-1
- what4-transition-system/src/What4/TransitionSystem/Exporter/Sally.hs-112
- what4-transition-system/test/Main.hs-235
- what4-transition-system/what4-transition-system.cabal+1-16
- what4/CHANGES.md+2
- what4/src/Test/Verification.hs+2-2
- what4/src/What4/Protocol/SMTLib2.hs+22-3
- what4/src/What4/SemiRing.hs+2-2
- what4/test/ExprBuilderSMTLib2.hs+86-9
- what4/test/GenWhat4Expr.hs+113-46
- what4/test/OnlineSolverTest.hs+21-9
0 commit comments