Commits

Breadcrumbs

History for

oncoq8.13

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2019

• remove some of the printing (there is still a lot more)

  gmalecha

  committed
  5c7f643

Commits on Jun 25, 2019

• releasing under MIT license with permission from Cornell and Vincent.

  Show description for ae00d2e
  aa755

  committed
  ae00d2e

Commits on Jun 24, 2019

• ported to Coq 8.9. String now needs to be imported to use string

  Show description for d7da1a0
  aa755

  committed
  d7da1a0

Commits on May 30, 2018

• renaming to avoid clash

  aa755

  committed
  69d9912

• some extras from the CPS project

  aa755

  committed
  09344e8

Commits on May 23, 2018

• generic stuff from certicoq

  aa755

  committed
  51075a7

Commits on May 20, 2018

• stuff from certicoq. also proved an evalProps instance

  aa755

  committed
  0416bea

Commits on Apr 30, 2018

• some changes from certicoq

  aa755

  committed
  bfd4f62

Commits on Mar 1, 2018

• generic stuff from certicoq

  aa755

  committed
  fb133d0

Commits on Jan 30, 2018

• Merge branch 'vcoq86' into vcoq87

  aa755

  committed
  1636d75

Commits on Oct 30, 2017

• some lemmas from certicoq

  aa755

  committed
  10bf25c

Commits on Jul 12, 2017

• move generic lemmas from paramcoq-iff

  aa755

  committed
  96efa97

• removed the admits, refactoring.

  aa755

  committed
  f67193b

Commits on Jul 4, 2017

• almost done with the proof.

  aa755

  committed
  5ca1a81

Commits on Jun 28, 2017

• lemmas about app of remove, checkBC

  aa755

  committed
  a657ac6

Commits on Jun 14, 2017

• 1 small fix and everything compiles

  aa755

  committed
  0d05e8d

Commits on May 29, 2017

• some lemmas from the paramcoq-iff project

  aa755

  committed
  7fc8b63

Commits on May 22, 2017

• some list lemmas from paramcoq-iff

  aa755

  committed
  df565da

Commits on May 9, 2017

• more certicoq lemmas

  aa755

  committed
  c534984

Commits on May 8, 2017

• some lemmas from certicoq

  aa755

  committed
  6e932b1

Commits on May 6, 2017

• more certicoq lemmas

  aa755

  committed
  c1cf93b

Commits on May 5, 2017

• some list lemmas from certicoq

  aa755

  committed
  75f97de

Commits on Mar 27, 2017

• compiles with Coq 8.6

  aa755

  committed
  8d7d2e2

Commits on Mar 2, 2017

• moved generic stuff from other projects.

  aa755

  committed
  1fcfa6e

Commits on Jan 21, 2017

• head tail on lists with a default

  aa755

  committed
  c4ed1c9

Commits on Jan 16, 2017

• moved some iterms from other projects

  aa755

  committed
  3a54c60

Commits on Jan 13, 2017

• moved some items from other projects.

  aa755

  committed
  0e44aff

Commits on Jan 10, 2017

• some progress on the correctness proof of unique bvars

  aa755

  committed
  54142da

Commits on Jan 9, 2017

• decider for NuDup.

  aa755

  committed
  62dedab

Commits on Jan 8, 2017

• items moved from other projects

  aa755

  committed
  4ce73f3

Commits on Jan 6, 2017

• a boolean version of dec_disjoint, and fast string_eq

  aa755

  committed
  4d33cde

Commits on Dec 26, 2016

• refractoring.

  aa755

  committed
  934c73c

Commits on Dec 5, 2016

• more convenience lemmas

  aa755

  committed
  7674f78

• finished proving that openness is preserved during DB to named.

  aa755

  committed
  344b2a2

Commits on Nov 30, 2016

• defined maxFee and proved its spec

  aa755

  committed
  96bceef

Pagination

PreviousNext