Personal tools
You are here: Home News AlPiNA 1.1 is out in the wild

AlPiNA 1.1 is out in the wild

AlPiNA 1.1 is ready for testing.

This new version includes many new features:

  1. Free variables on input terms and guards

  2. Set of terms defined by intensions : $x : <(x, s^5{zero)) which stands for all x < 5

  3. A shell script to start the engine in the console using the models defined with the user interface

  4. A new keyword deadlock that checks whether there is a ... dealock in the model.

  5. An improved error handling à la Eclipse

  6. Many bugfixes

Document Actions