Issues: GaloisInc/crucible
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Support the
llvm.experimental.noalias.scope.decl
intrinsic and metadata
values
crucible
llvm
#1196
opened Apr 18, 2024 by
RyanGlScott
crux-mir doesn't handle byte -> char casts
bug
crucible
MIR
Issues relating to Rust/MIR support
#1190
opened Mar 27, 2024 by
sauclovian-g
popFrameUnchecked
changes cause regression in SAW AWS-LC proof
bug
crucible
#1181
opened Mar 12, 2024 by
RyanGlScott
crucible-mir
: Re-implement overrides for get_unchecked
slice indexing
bug
crucible
MIR
#1180
opened Mar 6, 2024 by
RyanGlScott
crucible-llvm
: Implement llvm.vector.reduce.*
intrinsics (added in LLVM 12)
crucible
enhancement
llvm
#1177
opened Feb 21, 2024 by
RyanGlScott
crucible-llvm
: Support string tables with Clang 14.0.0 + optimizations
bug
crucible
llvm
#1174
opened Feb 15, 2024 by
RyanGlScott
CI: Cache Issues relating to Rust/MIR support
cargo
build artifacts when building mir-json
CI
crux
MIR
#1160
opened Dec 19, 2023 by
RyanGlScott
crucible
: online solver backend does not always gracefully handle the solver process being killed
#1159
opened Dec 18, 2023 by
danmatichuk
crux-mir
: Automate generation of translate_libs.sh
script
crux
MIR
#1152
opened Dec 7, 2023 by
RyanGlScott
crux-mir
: Restore --no-model-internal-atomics
crucible-concurrency
#1148
opened Dec 5, 2023 by
RyanGlScott
crucible-mir
: Report line number when MIR Assert
fails
crucible
enhancement
MIR
#1139
opened Nov 21, 2023 by
spernsteiner
llvm: Remove the LLVM declaration from
LLVMOverride
llvm
technical debt
#1138
opened Nov 16, 2023 by
langston-barrett
go:
crucible.Fresh*
should take a variable name as an argument
go
#1137
opened Nov 16, 2023 by
langston-barrett
crucible-mir
: Make translation errors non-fatal
bug
crucible
MIR
#1131
opened Nov 13, 2023 by
RyanGlScott
crucible-mir
: Add Mir.TransCustom
overrides for {read,write}_volatile
crucible
enhancement
MIR
#1130
opened Nov 13, 2023 by
RyanGlScott
crucible-jvm
: Allow jvmSimContext
to pass additional intrinsic types
crucible
jvm
technical debt
#1128
opened Nov 13, 2023 by
RyanGlScott
crucible-llvm: Move memory model into a separate library
llvm
memory-model
#1127
opened Nov 9, 2023 by
langston-barrett
crucible-llvm: Move translation from llvm-pretty ASTs into a separate library
llvm
#1126
opened Nov 9, 2023 by
langston-barrett
crucible-syntax: Hooks for parsing top-level forms, custom parser state
syntax
#1124
opened Nov 8, 2023 by
langston-barrett
crucible-llvm-syntax: Concrete syntax for remaining LLVM syntax formers
llvm
syntax
#1118
opened Nov 1, 2023 by
langston-barrett
9 of 19 tasks
crucible-llvm-syntax: Concrete syntax for
Alignment
llvm
syntax
#1117
opened Nov 1, 2023 by
langston-barrett
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.