-
Notifications
You must be signed in to change notification settings - Fork 47
Pull requests: ftsrg/theta
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Set entrypoint jar to absolute directory to allow customizing working dir
#464
opened Nov 30, 2025 by
arminzavada
Loading…
Missing bmc bound and unknown result details added
bug
#461
opened Nov 29, 2025 by
AdamZsofi
Loading…
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…
MDD optimizations
Ready to test
This will run the final sonar check in PRs.
#390
opened Sep 29, 2025 by
mondokm
Loading…
Serializable class hierarchy for statements, expressions and types
#376
opened Jun 24, 2025 by
csanadtelbisz
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!
What’s not been updated in a month: updated:<2025-10-30.