Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 3, 2020

• Fix compilation of SeqFacts.v with mathcomp dev's branch

  Show description for 935b73d
  germanD

  committed
  935b73d

  Copy full SHA for 935b73d

Commits on Apr 30, 2019

• cleaner build

  palmskog

  committed
  dbc9e52

  Copy full SHA for dbc9e52

Commits on Feb 28, 2019

• Compile native binaries & add profiling script

  

  George Pîrlea

  committed
  2d98348

  Copy full SHA for 2d98348

Commits on Feb 19, 2019

• Hashes and genProof left to instantiate

  

  George Pîrlea

  committed
  a9aae4c

  Copy full SHA for a9aae4c

Commits on Feb 18, 2019

• Work around Coq issue #4749

  Show description for 46c7ae2
  

  George Pîrlea

  committed
  46c7ae2

  Copy full SHA for 46c7ae2

Commits on Feb 17, 2019

• Structure project for extraction!

  

  George Pîrlea

  committed
  fc40c2f

  Copy full SHA for fc40c2f

Commits on Apr 29, 2018

• Coq 8.8 .coqdeps.d file in .gitignore

  palmskog

  committed
  775a428

  Copy full SHA for 775a428

Commits on Feb 6, 2018

• makefile fixes

  palmskog

  committed
  041bcb3

  Copy full SHA for 041bcb3

Commits on Nov 9, 2017

• migrating to Coq 8.7

  ilyasergey

  committed
  8a1272b

  Copy full SHA for 8a1272b

Commits on Jul 20, 2017

• initial stuff

  ilyasergey

  committed
  10efb39

  Copy full SHA for 10efb39

Loading