Skip to content

Pull requests: soteria-tools/soteria

New pull request New
13 Open 161 Closed
13 Open 161 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Pools of solvers
#218 opened Jan 8, 2026 by giltho Loading…
3
Logic
#217 opened Dec 27, 2025 by giltho • Draft
1
Put nix back ci/cd Issues about CI/CD, for improving workflow or checking new PRs and commits.
#214 opened Dec 25, 2025 by giltho Loading…
2
Bump Charon and Obol soteria-rust Issues related to soteria-rust
#211 opened Dec 24, 2025 by N1ark Loading…
Avoid unnecessary layout calculations cleanliness Quality of life improvements, to keep the codebase clean and healthy soteria-rust Issues related to soteria-rust
#210 opened Dec 24, 2025 by N1ark Loading…
Share stats printing, improve Soteria.Terminal cleanliness Quality of life improvements, to keep the codebase clean and healthy soteria-core Issues related to the Soteria core library
#209 opened Dec 22, 2025 by N1ark Loading…
1
Disjoint analysis and analysis filters performance Issues relating to performance improvements solver Solver related issues and PRs: new solvers, changes to encoding, etc. soteria-core Issues related to the Soteria core library
#208 opened Dec 21, 2025 by N1ark Loading…
2
Add a solver module to create solvers with the smtml mappings enhancement New feature or request solver Solver related issues and PRs: new solvers, changes to encoding, etc.
#149 opened Oct 24, 2025 by filipeom Loading…
4
Expose structure of serialized state enhancement New feature or request soteria-rust Issues related to soteria-rust
#148 opened Oct 21, 2025 by pcarrott Loading…
27
Existential quantifiers as symbolic values enhancement New feature or request solver Solver related issues and PRs: new solvers, changes to encoding, etc. soteria-core Issues related to the Soteria core library
#147 opened Oct 20, 2025 by pcarrott Loading…
10
Symbolic abstractions cleanliness Quality of life improvements, to keep the codebase clean and healthy soteria-core Issues related to the Soteria core library
#131 opened Sep 10, 2025 by giltho Loading…
28
Add LetBinder to bv_values enhancement New feature or request solver Solver related issues and PRs: new solvers, changes to encoding, etc.
#129 opened Sep 8, 2025 by N1ark • Draft
switch to dune package management ci/cd Issues about CI/CD, for improving workflow or checking new PRs and commits. cleanliness Quality of life improvements, to keep the codebase clean and healthy
#15 opened Apr 4, 2025 by giltho • Draft
4 of 6 tasks
3
ProTip! Updated in the last three days: updated:>2026-01-06.