Commits

Commits on Aug 29, 2014

corrected talk repo
jonathan-laurent
committedAug 29, 2014
Tutorial V1
jonathan-laurent
committedAug 29, 2014

Commits on Aug 28, 2014

Tutorial continued, talk added
jonathan-laurent
committedAug 28, 2014
README continued
jonathan-laurent
committedAug 28, 2014

Commits on Aug 27, 2014

Wrote a tutorial in the README, added some comments in the code
jonathan-laurent
committedAug 27, 2014

Commits on Aug 26, 2014

The whole copilot language is handled with both solvers
jonathan-laurent
committedAug 26, 2014

Commits on Aug 14, 2014

refctoring - external streams still unhandled by the K2 solver
jonathan-laurent
committedAug 14, 2014

Commits on Aug 12, 2014

VERSION 1 released. The light solver is ok
jonathan-laurent
committedAug 12, 2014

Commits on Jul 17, 2014

Refactoring : renaming stuff, building a clean cabal package
jonathan-laurent
committedJul 17, 2014

Commits on Jul 15, 2014

The naive prover handle the the whole copilot language. Kind2 is broken
jonathan-laurent
committedJul 15, 2014

Commits on Jul 11, 2014

Commits on Jul 10, 2014

Two styles of output are now handled : Inlined and Modular
jonathan-laurent
committedJul 10, 2014
Produce valid modular and pretty Kind2 native output
jonathan-laurent
committedJul 10, 2014

Commits on Jul 9, 2014

New version of 'mergeNodes', with better vars names and no imported duplicates
jonathan-laurent
committedJul 9, 2014

Commits on Jul 7, 2014

Unclear variables names and bug with duplicate exports --> great refactoring needed
jonathan-laurent
committedJul 7, 2014

Commits on Jul 6, 2014

First commit
jonathan-laurent
committedJul 6, 2014