Be the first to post a text review of Fast to ARMC translator. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• fast2armc 1.2.1 file released: fast2armc-1.2.1.tar.gz

  2009-01-29 * v1.2.1 (thanks to Rishabh Singh) * minor fix AttributeError if no comment in a source model * minor fix var2names rule parenthesis * better support for comments 2009-01-21 * v1.2 * code cleaning, published to sf.net 2008-07-22 * v1.1 * supports bad state reachability as the intersection of reachable_set_from_init && bad_state_expr 2008-07-17 * 1.0 release

  posted 285 days ago

• File released: /fast2armc/1.2.1/fast2armc-1.2.1.tar.gz

  posted 285 days ago

• File released: /fast2armc/1.2/fast2armc-1.2.tar.gz

  posted 292 days ago

• fast2armc 1.2 file released: fast2armc-1.2.tar.gz

  2009-01-21 * 1.2 release * code cleaning, published to sf.net 2008-07-22 * 1.1 release * supports bad state reachability as the intersection of reachable_set_from_init && bad_state_expr 2008-07-17 * 1.0 release

  posted 293 days ago