Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 9, 2019

• update README

  boulme

  committed
  f1569f0

  Copy full SHA for f1569f0

• port to coq 8.9.0

  boulme

  committed
  b2583eb

  Copy full SHA for b2583eb

Commits on Jul 11, 2018

• update coq version in README

  boulme

  committed
  c3b1fac

  Copy full SHA for c3b1fac

• remove warnings induced by port to coq.8.8

  boulme

  committed
  6b24e81

  Copy full SHA for 6b24e81

Commits on May 30, 2018

• Examples.v: intermediate decomposition

  boulme

  committed
  990595a

  Copy full SHA for 990595a

• m

  boulme

  committed
  8666022

  Copy full SHA for 8666022

• Add omega example in Examples.v

  boulme

  committed
  022886d

  Copy full SHA for 022886d

• Minor modification of Examples.v

  boulme

  committed
  4a4145a

  Copy full SHA for 4a4145a

Commits on May 9, 2018

• Updating repo link for opam installation

  MarechalAlex

  committed
  c576508

  Copy full SHA for c576508

Commits on Apr 26, 2018

• A few tests with CoqHammer

  boulme

  committed
  9b92814

  Copy full SHA for 9b92814

Commits on Dec 8, 2017

• update version numbers in README

  boulme

  committed
  1f2458b

  Copy full SHA for 1f2458b

Commits on Nov 16, 2017

• fix (dummy) remaining issues of Test.v

  boulme

  committed
  2fc1bf7

  Copy full SHA for 2fc1bf7

Commits on Oct 28, 2017

• port from coq.8.6 to coq.8.7

  Show description for a991916
  boulme

  committed
  a991916

  Copy full SHA for a991916

Commits on Jul 17, 2017

• Add an example from Besson et al [CPP'2011]

  boulme

  committed
  82eeac8

  Copy full SHA for 82eeac8

Commits on Jun 7, 2017

• New tests file to compare with SMTCoq

  boulme

  committed
  8438489

  Copy full SHA for 8438489

Commits on Apr 14, 2017

• fix mailto URL

  boulme

  committed
  0faabb8

  Copy full SHA for 0faabb8

• intro++

  boulme

  committed
  93113b8

  Copy full SHA for 93113b8

Commits on Apr 12, 2017

• link to the HAL preprint

  boulme

  committed
  4e38cef

  Copy full SHA for 4e38cef

Commits on Apr 7, 2017

• README: link to VPL external dependencies

  

  Sylvain Boulme

  committed
  530e71a

  Copy full SHA for 530e71a

Commits on Apr 6, 2017

• Link to vagrant install

  

  Sylvain Boulme

  committed
  947ed1e

  Copy full SHA for 947ed1e

Commits on Mar 31, 2017

• better link on the VPL

  

  Sylvain Boulme

  committed
  3cdfd2f

  Copy full SHA for 3cdfd2f

• try to improve english in README

  

  Sylvain Boulme

  committed
  fb83bfd

  Copy full SHA for fb83bfd

• rename: vpl_inject -> vpl_rewrite

  

  Sylvain Boulme

  committed
  f4dbfa4

  Copy full SHA for f4dbfa4

Commits on Mar 30, 2017

• A more complete README

  

  Sylvain Boulme

  committed
  6450f6a

  Copy full SHA for 6450f6a

• Makefile: add install target

  

  Sylvain Boulme

  committed
  d7078b2

  Copy full SHA for d7078b2

• initial github commit

  

  Sylvain Boulme

  committed
  1f2849b

  Copy full SHA for 1f2849b

• Initial commit

  VERIMAG-Polyhedra

  committed
  d834703

  Copy full SHA for d834703