v0.9.0

Release Highlights

Added LPE operations (thanks to Djurre van der Wal)

Fixed a number of bugs, including some fundamental issues found in the Refactor-All activity.

v0.8.1

Release Highlights

Bug fixes in

• Linear Process Equation (LPE)
• TorXakis Compiler

v0.8.0

Release Highlights

• Added Linear Process Equation (LPE) command (thanks to Carsten Rütz)
  • The LPE command transforms process definition without dynamic process instantiation
  • The transformed process definitions execute faster, especially when a lot of parallellism is present.
• Fixed a number of bugs in the new torxakis compiler (thanks to Damian Nadales)
• Moved to newer versions of Z3, CVC4 and LTS Haskell.
  • CVC4 made a change which is not backwards compatible: please update your current .torxakis.yaml files accordingly.

v0.7.0

Release Highlights

• New compiler: This fixes among others out of memory by big stautdef (#702)

• New randomization algorithm: IncrementBins
  IncrementBins is the new default value for param_Randomization

• Many smart operators added to BExpr: For developers / internal representation

v0.6.0

Release Hightlights

TorXakis:

• Parametrized Sut/Sim delta times (#600)
  • This fixes long standing bug that Sim_deltaTime being ignored (#30)
• Solved bug: CONSTDEF of const ValExpr fails (#608)
• All TorXakis parameters now can be configured from config (.torxakis.yaml) file (#564)

Code base:

• Upgraded to LTS 11.1
• Updated Hlint to 2.1
• Fixed haddock docs
• Updated Z3 to 4.6.0 and CVC4 to 20180306-nightly
• Merged solve and solvedefs packages (#577)
• Merged LPE (#574)

Thanks to @harcokuppens for macOS installer.

v0.5.0

Release Hightlights

TorXakis:

• Fixed Stop command not stopping SUTs in Windows (#563)
• Test Purpose behaviour is improved (#499 - thanks @ramon-janssen !)
• Added a macOS installer for TorXakis. Thanks to @harcokuppens .

Code base:

• Upgraded to LTS 10.0
• Disabled GHC optimizations for front, greatly improving build time
• Enabled pedantic build
• Executing benchmarks with "stack bench" in sqatt

v0.4.0

Release highlights

• Added support for Test Purposes
• Improved Modelling Examples and their documentation (see wiki)
• Enabled TorXakis configuration at startup
• Improved error reporting and stability

v0.3.0

Issues/1 simul fixed (#26)
Fixed all dispatchprocess examples (#25)
Updated cvc4 to cvc4-2017-06-13-win32-opt (#23)
Fixed some HLint messages (#22)
Removed DefNo (PR#21)
removed NoId (#17)
Fixed cabal files to show license correctly as BSD3. (#16)
Rename CHANDEF in LuckyPeople example (#15)
Corrected Copy-paste- not modified error [Pierre van de Laar]
Improved handling of messages from SMT Solver (#14)
Added real world example
Updated LuckyPeople example against possible overflow
Changed extensions of log files to '.log'
Added log, smt2 and datr files to be ignored. (#10)
Re-enabled echo'ed benchmark tests. (#9)