Skip to content
Commits on Apr 26, 2014
  1. Tests repaired.

    committed
Commits on Apr 21, 2014
  1. @cathdubois
Commits on Apr 13, 2014
Commits on Apr 12, 2014
  1. @cathdubois

    mise à jour fichier de tests

    cathdubois committed
Commits on Apr 11, 2014
  1. @cathdubois

    linearization on output

    cathdubois committed
Commits on Apr 9, 2014
  1. Changed the syntax of the extraction command.

    Picnic committed
Commits on Mar 25, 2014
  1. @cathdubois

    Update README.md

    cathdubois committed
  2. @cathdubois

    Create README.md

    cathdubois committed
Commits on Feb 25, 2014
  1. @cathdubois
Commits on Oct 8, 2012
  1. Bugfix on eq_full.

    committed
  2. Small bugfix with "not".

    committed
Commits on Oct 4, 2012
  1. Added .gitignore file.

    committed
Commits on Sep 30, 2012
Commits on Jul 4, 2012
  1. Merge branch 'fixcount'

    committed
  2. Completion is no longer propagated to full mode extracted functions

    committed
    (except when counter is used)
Commits on Jun 21, 2012
  1. Added pc12.v file.

    committed
Commits on Jun 13, 2012
  1. Added proof script printer.

    committed
Commits on Jun 11, 2012
  1. Temp fix for bst in full mode.

    committed
Commits on Jun 8, 2012
  1. Files moved

    committed
Commits on May 27, 2012
Commits on Jan 30, 2012
Commits on Jan 25, 2012
  1. Some bugfixes and handproofs

    committed
Commits on Jan 24, 2012
Commits on Jan 23, 2012
  1. Changed some files header.

    committed
Commits on Dec 19, 2011
  1. Modified authors names

    committed
Commits on Dec 9, 2011
  1. modified README

    committed
Commits on Nov 30, 2011
Something went wrong with that request. Please try again.