Issues

• Support for conditional reachability

  enhancement
  randriu/paynt#142 · Filter by author TheGreatfpmK opened on Oct 1, 2026

• Update to --sound flag

  randriu/paynt#141 · Filter by author TheGreatfpmK opened on Oct 1, 2026

• Graceful exit on SIGINT

  enhancement
  randriu/paynt#139 · Filter by author TheGreatfpmK opened on Sep 29, 2026

• Enhanced property parsing for cli and property adjustments

  enhancement
  randriu/paynt#138 · Filter by author TheGreatfpmK opened on Sep 28, 2026

• Exact mode for reward properties

  enhancementpriority
  randriu/paynt#135 · Filter by author TheGreatfpmK opened on Sep 22, 2026

• Harmonization in base AR

  enhancement
  randriu/paynt#134 · Filter by author TheGreatfpmK opened on Sep 21, 2026

• AR with priority queue

  enhancement
  randriu/paynt#133 · Filter by author TheGreatfpmK opened on Sep 21, 2026
  1

• Remove models folder from the repository

  randriu/paynt#108 · Filter by author TheGreatfpmK opened on Jun 4, 2026

• dtPAYNT reports that it explores 200% of the design space

  bug
  randriu/paynt#91 · Filter by author TheGreatfpmK opened on Feb 23, 2026

• Merge custom constraints to master

  enhancement
  randriu/paynt#77 · Filter by author TheGreatfpmK opened on Oct 6, 2025
  

• Fix SAYNT

  randriu/paynt#76 · Filter by author TheGreatfpmK opened on Oct 5, 2025
  

• Check whether we need all of the multiplier classes for SMG model checker

  randriu/paynt#68 · Filter by author TheGreatfpmK opened on Jun 3, 2025
  1

  

• Add tests for PAYNT and payntbind

  good first issuehelp wanted
  randriu/paynt#60 · Filter by author TheGreatfpmK opened on Feb 18, 2025
  4