Tristan Le Gall

  • Email:
  • Registered on: 05/27/2010
  • Last connection: 08/21/2014

Projects

Activity

Reported issues: 6

08/21/2014

11:46 am McScM Bug #83 (Closed): 64-bit version displays counterexamples even with the -quiet option
Submitted by Ivan Beschastnikh
options: -quiet and -no-validation
Running on the attached abp.scm, the outpu...

02/04/2014

11:11 am McScM Feature #78 (New): SCM input language
une version du langage input avec
- quelques keywords plus explicites pour lossy etc.
- quelques abréviations pour ...

01/29/2014

10:48 am McScM Bug #72: Bad states are not checked
Check bad states is implemented in current version of SCM. We need to update the version and test it when other event...

08/08/2012

03:33 pm McScM Feature #74 (Closed): Internal actions
Modify the model to have different internal actions. idea of syntax:
to 0,: when true, a; //for an internal action...
03:31 pm McScM Feature #73 (New): Better regular expressions
+ add a wildcard symbol
+ other improvements we could think about
03:28 pm McScM Bug #72 (New): Bad states are not checked
1 in the SCM library, call the check_bad_states function
2 modify the SVN revision of the SCM library in mcscm

10/20/2011

10:54 am McScM mcscm-1.2.Darwin_amd64.tar.bz2

10/18/2011

01:16 pm McScM Wiki edit: Wiki (#10)
01:15 pm McScM Wiki edit: Wiki (#9)
01:11 pm McScM Wiki edit: Wiki (#8)

Also available in: Atom