-
Notifications
You must be signed in to change notification settings - Fork 46
Pull requests: ftsrg/theta
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bounded-like checker for LTS
Ready to test
This will run the final sonar check in PRs.
#394
opened Oct 6, 2025 by
kris7t
Loading…
Implement hashCode and equals methods in IdentityNextStateDescriptor
Ready to test
This will run the final sonar check in PRs.
#390
opened Sep 29, 2025 by
mondokm
Loading…
Btor2Xcfa
enhancement
xcfa
Issue is XCFA specific (not core or XSTS or other formalisms)
#348
opened Mar 3, 2025 by
szaboeva2004
•
Draft
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point
#335
opened Jan 27, 2025 by
KlevisImeri
•
Draft
ProTip!
Updated in the last three days: updated:>2025-10-17.