-
Notifications
You must be signed in to change notification settings - Fork 126
Pull requests: tamarin-prover/tamarin-prover
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix unintended filtering of lemmas in default output module
#660
opened Jun 25, 2024 by
kevinmorio
Loading…
Fix example sources lemma such that the OUT must occur before the IN
#659
opened Jun 24, 2024 by
Danyc0
Loading…
Fix incomplete list of reserved fact symbols in the syntax description
#653
opened Jun 19, 2024 by
rkunnema
Loading…
Integrate Tree-sitter grammar for Spthy
#648
opened Jun 18, 2024 by
kevinmorio
Loading…
3 of 5 tasks
ProTip!
Filter pull requests by the default branch with base:develop.