Tristan Le Gall
- Email:
- Registered on: 05/27/2010
- Last connection: 08/21/2014
Projects
- Analysis of Concurrent Systems (Developer, 05/27/2010)
- McScM (Manager, Developer, 05/27/2010)
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/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