(back to TReX home page) ( back to TReX home page)
 

BARRE

TREX Versions History

BARRE

[v1.3] [v1.0]


redball v 1.3
 (02/14/2003)
  • The communication can now be made through :
    • Synchronization gates.
  • New options :
    • -a <filename.acc>
 The analysis accelerates only on the states described in <filename.acc>.
    • -lim <number>  
Use <number> for the acceleration table. by default it is set to 20.
    • -nl <r>  
 The response is always <r> for the non linear satisfaisability question. 
    • -tv <number> 
Try <number> values for acceleration parameters if non linear


BARRE

redball v 1.2
 (03/05/2002) Internal Release

BARRE
redball v 1.1
 (11/15/2001) Internal Release

BARRE
redball v 1.0
 (01/10/2001)
  • Analyse of models with :
    • Lossy Fifo channel,
    • Counters with parameters,
    • Clocks with parameters,
    • Booleans,
    • Enumerative variables
  • The communication is made through :
    • Lossy fifo channel,
    • shared booleans, clocks, counters or enumerative variables.

BARRE