Grégoire Sutre
- Email:
- Registered on: 04/22/2010
- Last connection: 10/24/2016
Projects
- Analysis of Concurrent Systems (Manager, Developer, 05/27/2010)
- McScM (Manager, Developer, 05/27/2010)
- Public AltaRica Models (Developer, 03/02/2011)
Activity
Reported issues: 27
09/15/2014
- 02:43 pm McScM Bug #83 (Closed): 64-bit version displays counterexamples even with the -quiet option
- The submitter was apparently using a customized version. He could not reproduce the bug with the official mcscm-1.2....
09/25/2012
- 04:11 pm McScM Feature #24 (Closed): Optimize result verification
- 04:08 pm McScM Feature #24 (Resolved): Optimize result verification
- Fixed in trunk (revision 1552).
09/10/2012
10/20/2011
- 11:06 am McScM Wiki edit: Download (#26)
- 03:18 am McScM Wiki edit: Download (#25)
- 02:13 am McScM Wiki edit: Download (#24)
Also available in: Atom