General

Profile

Adrien Champion

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

Issues

Projects

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