Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2010

• Checker: remove some dead code

  Show description for 1396404
  

  letouzey

  committed
  1396404

  Copy full SHA for 1396404

• Some dead code removal, thanks to Oug analyzer

  Show description for c789e24
  

  letouzey

  committed
  c789e24

  Copy full SHA for c789e24

Commits on Sep 15, 2010

• Fix likely semantic typos

  Show description for 634f48b
  

  glondu

  committed
  634f48b

  Copy full SHA for 634f48b

Commits on Jul 30, 2010

• adpated the checker to handle coomutative cuts and lazyness

  Show description for 9518675
  

  barras

  committed
  9518675

  Copy full SHA for 9518675

Commits on Apr 29, 2010

• After the approval of Bruno, here the patch for the checker.

  Show description for 28809ba
  

  soubiran

  committed
  28809ba

  Copy full SHA for 28809ba

Commits on Feb 19, 2010

• added validation of delta_resolver (which seem to have an impact on typing)

  Show description for 8db86b3
  

  barras

  committed
  8db86b3

  Copy full SHA for 8db86b3

• [checker] fixed vo validation problems, module incompatibilities remain

  Show description for 62c6c0c
  

  barras

  committed
  62c6c0c

  Copy full SHA for 62c6c0c

Commits on Oct 21, 2009

• This big commit addresses two problems:

  Show description for fe1979b
  

  soubiran

  committed
  fe1979b

  Copy full SHA for fe1979b

Commits on Sep 17, 2009

• Delete trailing whitespaces in all *.{v,ml*} files

  Show description for 61ccbc8
  

  glondu

  committed
  61ccbc8

  Copy full SHA for 61ccbc8

Commits on Aug 23, 2009

• Fix a small oversight in checker commit 12288.

  Show description for c1c73b1
  

  herbelin

  committed
  c1c73b1

  Copy full SHA for c1c73b1

Commits on Aug 22, 2009

• Transfers to checker ("let"s in inductive arities + Coq root read-only).

  Show description for 437ebce
  

  herbelin

  committed
  437ebce

  Copy full SHA for 437ebce

Commits on Mar 2, 2009

• porting r11900 11905 and 11953 to trunk

  Show description for dc1f525
  

  barras

  committed
  dc1f525

  Copy full SHA for dc1f525

Commits on Oct 15, 2008

• Report des commits 11417 et 11437 de la v8.2

  Show description for d1df4f3
  

  soubiran

  committed
  d1df4f3

  Copy full SHA for d1df4f3

Commits on May 7, 2008

• fixed bug with aliases

  Show description for fa5fbb3
  

  barras

  committed
  fa5fbb3

  Copy full SHA for fa5fbb3

Commits on May 6, 2008

• checker deals with polymorphic constants and module aliases

  Show description for 376e611
  

  barras

  committed
  376e611

  Copy full SHA for 376e611

Commits on Apr 21, 2008

• added the .vo checker (with independent Makefile)

  Show description for d09af1d
  

  barras

  committed
  d09af1d

  Copy full SHA for d09af1d

Loading