Skip to content

Pull requests: GaloisInc/saw-script

New pull request New
21 Open 975 Closed
21 Open 975 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

Match against LLVMValString in overrides (#2148)
#2149 opened Nov 11, 2024 by RyanGlScott Loading…
1
Update Hashable Term instance so alphaEquiv t1 t2 implies hash t1 == hash t2
#1869 opened May 16, 2023 by m-yac Loading…
7
Include MIR JSON files for Rust standard libs in SAW bindists subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tooling: CI Issues involving CI/CD scripts or processes
#1868 opened May 10, 2023 by RyanGlScott • Draft
2
Expose term hashes in memoization
#1837 opened Mar 8, 2023 by samcowger Loading…
Fix examples after en tree
#1827 opened Mar 1, 2023 by scuellar Loading…
24
saw-core: Fix bug involving incorrect maximum values in selectV
#1808 opened Jan 26, 2023 by RyanGlScott • Draft
1
4
Bump aws-lc-verification.
#1763 opened Nov 15, 2022 by andreistefanescu Loading…
Fix Haddock failures on GHC 8.10
#1720 opened Aug 2, 2022 by lag47 Loading…
2
Add confirmation of executable saw-script version for RPC tests.
#1701 opened Jul 7, 2022 by kquick • Draft
Change saw-core tuple representation.
#1612 opened Mar 16, 2022 by brianhuffman • Draft
@chameco
2
Bump s2n commit in Dockerfile
#1563 opened Jan 31, 2022 by RyanGlScott • Draft
3
feat(rpc): python llvm_alloc_global equiv (alloc_global)
#1517 opened Nov 18, 2021 by pnwamk Loading…
5
[CI] specify where opam installs ocaml packages.
#1476 opened Oct 12, 2021 by kquick • Draft
heapster-saw: Export block entry-point and implication error information for IDE ingestion subsystem: heapster Issues specifically related to memory verification using Heapster
#1442 opened Aug 31, 2021 by glguy Loading…
@glguy
1
Specify use of self-hosted runners for github CI.
#1387 opened Jul 21, 2021 by kquick Loading…
Fix allsat_print example
#1382 opened Jul 20, 2021 by jpziegler Loading…
Include ecEq in cryptol_ss
#1350 opened Jun 22, 2021 by RyanGlScott • Draft
1
2
WIP: Propagate Cryptol error strings
#1344 opened Jun 17, 2021 by RyanGlScott • Draft
1
3
Use ocaml/setup-ocaml@v2
#1324 opened Jun 8, 2021 by smorimoto Loading…
@lisanna-dettwyler
2
Initial support for AArch32
#987 opened Jan 4, 2021 by chameco • Draft
2
Add saw-script functions term_eval and term_eval_unint.
#927 opened Nov 20, 2020 by brianhuffman • Draft
@chameco
2
ProTip! Mix and match filters to narrow down what you’re looking for.