Skip to content

Sscheck 0.3

Closed Oct 4, 2016 100% complete
  • first order quantifiers on letters #46
  • optionally use atoms time in now, in the style of TPTL #46
  • lazy next form: otherwise the system might not scale to complex formulas or with long timeouts #25
  • up to 4 inputs and outputs: otherwise the system is not ready to use in practice #16
  • release in bintray and update hosted scaladoc
  • update dependency in sscheck…
  • first order quantifiers on letters #46
  • optionally use atoms time in now, in the style of TPTL #46
  • lazy next form: otherwise the system might not scale to complex formulas or with long timeouts #25
  • up to 4 inputs and outputs: otherwise the system is not ready to use in practice #16
  • release in bintray and update hosted scaladoc
  • update dependency in sscheck-examples and add a new version of the twitter example now using quantifiers

This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.