runtimeverification / haskell-backend Public

Notifications You must be signed in to change notification settings
Fork 40
Star 206

Code
Issues 135
Pull requests 15
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Pull requests: runtimeverification/haskell-backend

Labels 42 Milestones 0

New pull request New

Clear current search query, filters, and sorts

15 Open 2,669 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

Make SMTContext mandatory

#4003 opened Jul 29, 2024 by goodlyrottenapple • Draft

EXPERIMENTS: shorten cache lookup chains, invalidate cache on new ensures

#3998 opened Jul 26, 2024 by jberthold • Draft

Add pyk implication tests to the rpc integration test suite

#3997 opened Jul 26, 2024 by goodlyrottenapple

Loading…

Update dependency: deps/k_release automerge

#3984 opened Jul 17, 2024 by rv-jenkins

Loading…

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

Simplify the remainder predicate before checking its satisfiability

#3949 opened Jun 19, 2024 by geo2a • Draft

Existential matching of simplification side conditions

#3942 opened Jun 15, 2024 by geo2a • Draft

Run integration tests using nix runner matrix

#3816 opened Apr 17, 2024 by jberthold • Draft

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…

Types specifying the simplify-implication RPC endpoint

#3614 opened Jun 29, 2023 by geo2a

Loading…

WIP: allow certain recursive axioms

#3507 opened Feb 17, 2023 by ana-pantilie • Draft

4 tasks

Implement heuristic to refute #Not (#Exists ...)

#3455 opened Jan 23, 2023 by ana-pantilie • Draft

4 tasks

Full correctness

#3044 opened Apr 27, 2022 by traiansf

Loading…

ProTip! no:milestone will show everything without a milestone.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly