Grégoire Sutre

  • Email:
  • Registered on: 04/22/2010
  • Last connection: 10/24/2016

Projects

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

12:11 pm McScM mcscm-1.2.1.Linux_amd64.tar.bz2
12:04 pm McScM mcscm-1.2.1.src.tar.bz2

10/20/2011

11:06 am McScM Wiki edit: Download (#26)
03:18 am McScM Wiki edit: Download (#25)
02:58 am McScM mcscm-1.2.Linux_i386.tar.bz2
02:54 am McScM mcscm-1.2.Linux_amd64.tar.bz2
02:13 am McScM Wiki edit: Download (#24)

Also available in: Atom