Adrien Champion
- Send diff email: No
- Registered on: 07/29/2011
- Last connection: 04/10/2015
Issues
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)
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://... - User manual
- Assumptio v3.0, complete project with user manual.
06/21/2013
- Scala implementation used for benchmarks for APLAS 2013.
05/29/2013
- Files for the Science of Computer Programming article.
12/17/2012
- Reconf preimage 5 (fourth part)
- Reconf preimage 5 (third part)
- Reconf preimage 5 (second part)
- Reconf preimage 5 (first part)
- Reconf preimage 4 (second part)
Also available in: Atom