General

Profile

Adrien Champion's activity

From 05/26/2013 to 06/24/2013

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://...
Adrien Champion
11:59 AM Assumptio UserManual.pdf
User manual Adrien Champion
11:26 AM Assumptio assumptio_v3.0.tar.gz
Assumptio v3.0, complete project with user manual. Adrien Champion

06/21/2013

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

05/29/2013

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

Also available in: Atom