Skip to content

Pull requests: runtimeverification/haskell-backend

New pull request New
17 Open 2,717 Closed
17 Open 2,717 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

3956 branching on complete conditions in Booster
#4058 opened Oct 15, 2024 by geo2a Loading…
6
4043 filter smt lemmas use only opaque use equations symmetrically
#4054 opened Oct 3, 2024 by jberthold Loading…
4
Only markSimplified when we are sure the predicate is in fact simplified
#4049 opened Sep 13, 2024 by goodlyrottenapple Loading…
2
Filter SMT lemmas for predicate checks and get-model
#4048 opened Sep 11, 2024 by jberthold • Draft
3
WIP Syntactic simplifications
#4022 opened Aug 8, 2024 by geo2a • Draft
1
7
4012 evaluate pattern pruning do not merge
#4020 opened Aug 7, 2024 by geo2a Loading…
1
24
Update link from unofficial nixos wiki to official one
#4014 opened Aug 2, 2024 by llakala Loading…
Allow matching functions when rewriting
#4008 opened Jul 30, 2024 by geo2a • Draft
Fix typos
#3971 opened Jul 9, 2024 by omahs Loading…
Explore the remainder branch when Booster is uncertain about rewrite rule conditions
#3960 opened Jun 24, 2024 by geo2a • Draft
1
Run integration tests using nix runner matrix
#3816 opened Apr 17, 2024 by jberthold • Draft
1
use TMChan instead of TChan to indicate when a session was terminated
#3727 opened Feb 21, 2024 by goodlyrottenapple • Draft
Revert 'Eliminate top level existentials in side-condtions'
#3620 opened Jul 12, 2023 by goodlyrottenapple Loading…
1
6
Types specifying the simplify-implication RPC endpoint
#3614 opened Jun 29, 2023 by geo2a Loading…
10
WIP: allow certain recursive axioms
#3507 opened Feb 17, 2023 by ana-pantilie • Draft
4 tasks
@ana-pantilie
1
Implement heuristic to refute #Not (#Exists ...)
#3455 opened Jan 23, 2023 by ana-pantilie • Draft
4 tasks
1
Full correctness
#3044 opened Apr 27, 2022 by traiansf Loading…
24
ProTip! Filter pull requests by the default branch with base:master.