-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: GaloisInc/crucible
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
crucible{,-llvm}-syntax: Evaluating programs with syntax extensions
#1121
by langston-barrett
was merged Nov 8, 2023
Loading…
Export
string
from Lang.Crucible.Syntax.Concrete
syntax
#1058
by RyanGlScott
was merged Nov 21, 2022
Loading…
crucible-cli: Library for sharing code between Crucible CLI frontends
#1123
by langston-barrett
was merged Nov 8, 2023
Loading…
crucible-llvm
: Do not assume UTF-8 encoding in printf
override
crucible
libc
llvm
#1062
by RyanGlScott
was merged Feb 23, 2023
Loading…
crux-llvm
: Don't call llvm-link
when given single input .bc
file
#1063
by RyanGlScott
was merged Mar 7, 2023
Loading…
crucible-llvm: Add overrides for
llvm.umin.*
and friends
#1064
by RyanGlScott
was merged Mar 7, 2023
Loading…
crucible-wasm
: Support latest version of haskell-wasm
#1072
by RyanGlScott
was merged Mar 27, 2023
Loading…
2
Require
tasty-sugar-2.0
or greater and address deprecation
#1068
by RyanGlScott
was merged Mar 17, 2023
Loading…
Remove unused dependencies detected by
-Wunused-packages
#1078
by RyanGlScott
was merged Apr 12, 2023
Loading…
crux-llvm-test
: Sanitize SMT formulas in --get-abducts
output
#1088
by RyanGlScott
was merged May 8, 2023
Loading…
More complete support for opaque pointers (required for LLVM 15+)
#1085
by RyanGlScott
was merged May 30, 2023
Loading…
Fix Docker issues uncovered during Crux 0.7 release
#1094
by RyanGlScott
was merged Jun 26, 2023
Loading…
Remove stack references; cabal is now fully capable for this project.
#1098
by kquick
was merged Jul 10, 2023
Loading…
Consistently use same Rust nightly across CI and Docker images
#1099
by RyanGlScott
was merged Jul 17, 2023
Loading…
crucible-mir
: Add *IO
entrypoints for each memory model operation
#1107
by RyanGlScott
was merged Aug 31, 2023
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-06-13.