Code

V8.6#43

Code

Merged

spitters merged 7 commits intomastercoq-community/corn:masterfrom v8.6coq-community/corn:v8.6Copy head branch name to clipboardOct 27, 2017

+100-85

Commits

Commits on Oct 31, 2016

• Fix for new TCS implem, silent shelved goals remained

  Show description for 08a831c
  mattam82

  committed
  08a831c

  Copy full SHA for 08a831c

Commits on Mar 8, 2017

• Make proofs oblivious to the changes in the definition of IZR.

  silene

  committed
  264a317

  Copy full SHA for 264a317

Commits on Mar 14, 2017

• fix unused variable name warnings

  Zimmi48

  committed
  30065bd

  Copy full SHA for 30065bd

Commits on Mar 17, 2017

• Merge pull request #40 from silene/IZR

  Show description for 3159399
  spitters

  authored
  3159399

  Copy full SHA for 3159399

• Merge pull request #41 from Zimmi48/fix-for-coq-pr-474

  Show description for 226b25a
  spitters

  authored
  226b25a

  Copy full SHA for 226b25a

Commits on Jun 10, 2017

• corn : switch to the external Bignums library

  Show description for 9e71c60
  letouzey

  committed
  9e71c60

  Copy full SHA for 9e71c60

Commits on Oct 27, 2017

• Merge pull request #42 from letouzey/external-bignums

  Show description for 8a64c76
  spitters

  authored
  8a64c76

  Copy full SHA for 8a64c76