Adrien Champion

Adrien Champion

Send diff email: No
Registered on: 07/29/2011
Last connection: 04/10/2015

Issues

Assigned issues: 0
Reported issues: 0

Projects

Assumptio (Manager, Developer, 07/29/2011)
Quanser 3DOF open database (Developer, Reporter, 06/28/2012)
SMT-QE (Manager, Developer, Reporter, 12/17/2012)
ControlSystem Analysis Library (Developer, 01/29/2013)
pplWrapper (Manager, Developer, 01/27/2014)
The Unified Formal Framework (Manager, Developer, 01/27/2014)
LustreC (SVN read-access, 06/30/2015)

Activity

06/24/2013

12:03 PM Assumptio Assumptio v3.0: Now with akka actors.
Added support for CVC4.
Log is still a little bit buggy.
Documentation only:
[[https://...
11:59 AM Assumptio UserManual.pdf: User manual
11:26 AM Assumptio assumptio_v3.0.tar.gz: Assumptio v3.0, complete project with user manual.

06/21/2013

05:28 PM SMT-QE qeAplas2013.tar.gz: Scala implementation used for benchmarks for APLAS 2013.

05/29/2013

12:03 PM SMT-QE systems.tar.gz: Files for the Science of Computer Programming article.

12/17/2012

04:42 PM SMT-QE reconf5-4.tar.gz: Reconf preimage 5 (fourth part)
04:42 PM SMT-QE reconf5-3.tar.gz: Reconf preimage 5 (third part)
04:42 PM SMT-QE reconf5-2.tar.gz: Reconf preimage 5 (second part)
04:42 PM SMT-QE reconf5-1.tar.gz: Reconf preimage 5 (first part)
04:41 PM SMT-QE reconf4-2.tar.gz: Reconf preimage 4 (second part)

Also available in: Atom