Skip to content

Pull requests: GaloisInc/crucible

New pull request New
Clear current search query, filters, and sorts
3 Open 184 Closed
3 Open 184 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

uc-crux-llvm: Smaller configuration types for a nicer API
#832 by langston-barrett was merged Sep 3, 2021 Loading…
48
Improved varargs handling crucible llvm
#376 by robdockins was merged Jan 7, 2020 Loading…
1
43
WebAssembly support for crucible
#594 by robdockins was merged Jan 12, 2021 Loading…
39
Adding some abductive capabilities to crux
#1037 by arjunvish was merged Sep 21, 2022 Loading…
1
35
LLVM lazy load
#1006 by robdockins was merged Jun 30, 2022 Loading…
31
Data type for log messages across crux projects
#762 by Ptival was merged Jul 7, 2021 Loading…
30
Separate backend
#945 by robdockins was merged Jan 22, 2022 Loading…
30
Dbg def use
#886 by robdockins was merged Oct 14, 2021 Loading…
23
crucible-llvm-syntax: Concrete syntax for Crucible-LLVM
#1113 by langston-barrett was merged Nov 1, 2023 Loading…
@langston-barrett
21
Use Map-based data structure for LLVM allocation histories.
#550 by brianhuffman was merged Nov 9, 2020 Loading…
1
18
Switch from ansi-wl-pprint to the prettyprinter package.
#586 by brianhuffman was merged Dec 1, 2020 Loading…
17
crucible-llvm: Handle callbr instruction
#972 by langston-barrett was merged May 4, 2022 Loading…
17
Use Lumberjack for crux output of messages, exceptions, CruxSimulation, and ProvedGoals.
#755 by kquick was merged Jun 11, 2021 Loading…
16
crux-mir: Support cross-compiling libs to wasm32 target crux MIR Issues relating to Rust/MIR support
#1147 by qsctr was merged Dec 7, 2023 Loading…
@qsctr
16
Some additional LLVM intrinsics
#290 by robdockins was merged Aug 12, 2019 Loading…
15
Helpers for checking proof obligations
#1215 by langston-barrett was merged Jun 20, 2024 Loading…
@langston-barrett
14
Demote nat
#639 by robdockins was merged Feb 15, 2021 Loading…
12
uc-crux-llvm: Add source position traces to debug log uc-crux Issues specific to under-constrained crux
#916 by langston-barrett was merged Nov 8, 2021 Loading…
12
fix no-colors for help/version
#878 by Ptival was merged Oct 26, 2021 Loading…
12
More complete support for opaque pointers (required for LLVM 15+)
#1085 by RyanGlScott was merged May 30, 2023 Loading…
12
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…
1
@langston-barrett
11
Make bvConcat rewrites fire more often
#208 by robdockins was merged Apr 22, 2019 Loading…
10
Cxx/lax memory
#294 by robdockins was merged Aug 8, 2019 Loading…
10
Typed overrides
#1136 by langston-barrett was merged Nov 27, 2023 Loading…
1
@langston-barrett
10
Sequences
#759 by robdockins was merged Jun 15, 2021 Loading…
1
9
ProTip! Follow long discussions with comments:>50.