-
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
Update CI for nixos-unstable switch from 9.2.3 to 9.2.4.
#1023
by kquick
was merged Aug 9, 2022
Loading…
{uc-,}crux-llvm: Recommend cloning with --recurse-submodules
documentation
#1030
by langston-barrett
was merged Aug 30, 2022
Loading…
CI: Sign binaries in separate step, not run on forks
#1032
by RyanGlScott
was merged Aug 31, 2022
Loading…
uc-crux-llvm: Track more sources of unsoundness
uc-crux
Issues specific to under-constrained crux
#1036
by langston-barrett
was merged Sep 28, 2022
Loading…
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: Show function name in override panic messages
#1056
by langston-barrett
was merged Nov 15, 2022
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…
ProTip!
What’s not been updated in a month: updated:<2024-06-13.