Skip to content

Pull requests: domino-lang/domino

New pull request New
31 Open 165 Closed
31 Open 165 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

cli rename proofstep -> gamehop, proof -> theorem
#402 opened Aug 14, 2026 by siccegge Contributor Loading…
2
Allow negative integer literals
#401 opened Aug 14, 2026 by siccegge Contributor Loading…
fix for lemma claims for renamed oracles
#400 opened Aug 10, 2026 by siccegge Contributor Loading…
Add -p/--project to accept a Domino project path on all subcommands
#397 opened Aug 7, 2026 by tornado80 Contributor Loading…
1
Support for () as Empty
#396 opened Aug 6, 2026 by siccegge Contributor Loading…
make <arg properly use exported names
#395 opened Aug 2, 2026 by siccegge Contributor Loading…
split ParsedClaim / SmtClaim
#392 opened Jul 31, 2026 by siccegge Contributor • Draft
2
3
Fixes for Hybrid Gamehop
#391 opened Jul 30, 2026 by siccegge Contributor Loading…
CLI: add --claim (#361)
#389 opened Jul 25, 2026 by siccegge Contributor Loading…
Update Nix
#385 opened Jul 22, 2026 by keks Contributor • Draft
Type detection for sampling (table assignments need a maybe!) bug Something isn't working
#382 opened Jul 22, 2026 by siccegge Contributor • Draft
Simplify 4WHS
#380 opened Jul 21, 2026 by tornado80 Contributor • Draft
Cumulative Relations
#374 opened Jul 16, 2026 by siccegge Contributor • Draft
1
[smtrewrite] also expose package consts
#372 opened Jul 16, 2026 by siccegge Contributor Loading…
1
9
Quantifier free randomness mapping
#360 opened Jul 15, 2026 by tornado80 Contributor • Draft
1
8
Check invariants hold in the initial state
#358 opened Jul 14, 2026 by tornado80 Contributor Loading…
1
36
fancy loop unrolling
#348 opened Jun 29, 2026 by siccegge Contributor Loading…
allow else if
#329 opened Jun 3, 2026 by siccegge Contributor Loading…
implement caching for composition graphs
#327 opened Jun 3, 2026 by siccegge Contributor Loading…
6
emacs mode
#325 opened Jun 3, 2026 by siccegge Contributor • Draft
expose CA bundle to Nix sandbox
#322 opened May 27, 2026 by keks Contributor • Draft
HTML export
#311 opened May 4, 2026 by siccegge Contributor Loading…
UI Rewrite
#286 opened Feb 27, 2026 by siccegge Contributor Loading…
2
1
Clean Domino Web
#283 opened Feb 25, 2026 by siccegge Contributor • Draft
Re-add Type Parameters
#276 opened Feb 19, 2026 by keks Contributor • Draft
1 of 5 tasks
10
ProTip! Type g i on any issue or pull request to go back to the issue listing page.