Skip to content

Pull requests: kframework/matching-logic-prover

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add a sample proof for one rewriting step
#85 opened Sep 18, 2020 by zhengyao-lin Loading…
Generalize matching
#78 opened Jun 17, 2020 by lucaspena Loading…
Deterministic choice operator
#71 opened May 15, 2020 by h0nzZik Loading…
Shape analysis
#58 opened Apr 16, 2020 by lucaspena Draft
Remove Global Environment.
#57 opened Apr 15, 2020 by nishantjr Draft
Prettyprint/produce proof tree
#43 opened Feb 11, 2020 by nishantjr Loading…
Coq lang
#38 opened Feb 6, 2020 by lucaspena Loading…
Just unfolds
#34 opened Jan 28, 2020 by h0nzZik Loading…
Fixes
#33 opened Jan 28, 2020 by h0nzZik Loading…
ProTip! Adding no:label will show everything without a label.