Commits

Branch selector

 trunk

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 13, 2017

• Merge PR#743: Update .gitignore

  maximedenes

  committed
  423d320

  Copy full SHA for 423d320

• Merge PR#764: Point ci-hott at a newer version of HoTT

  maximedenes

  committed
  47ac132

  Copy full SHA for 47ac132

Commits on Jun 12, 2017

• Merge PR#772: Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to generate them later.

  maximedenes

  committed
  598ec17

  Copy full SHA for 598ec17

• Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to generate them later.

  

  Matej Košík

  committed
  f377960

  Copy full SHA for f377960

• Merge PR#715: Add coq-dpdgraph ci

  maximedenes

  committed
  7e9a4aa

  Copy full SHA for 7e9a4aa

• Merge PR#709: Bytecode compilation apart from 'make world', again

  maximedenes

  committed
  83d8b08

  Copy full SHA for 83d8b08

• Merge PR#718: API cleanup: aliases

  maximedenes

  committed
  9097e9a

  Copy full SHA for 9097e9a

• Temporary overlay, waiting for upstream PR merges.

  maximedenes

  committed
  013c023

  Copy full SHA for 013c023

• Merge PR#707: add support for "-bypass-API" argument to "coq_makefile"

  maximedenes

  committed
  ba07941

  Copy full SHA for ba07941

• add overlays

  

  Matej Košík

  authored and

  maximedenes

  committed
  8443867

  Copy full SHA for 8443867

• Add support for "-bypass-API" argument of "coq_makefile"

  Show description for c054dda
  

  Matej Košík

  authored and

  maximedenes

  committed
  c054dda

  Copy full SHA for c054dda

• make test-suite/save-logs.sh usable also on old MacOS X

  

  Maxime Denes

  authored and

  maximedenes

  committed
  a2e1e2f

  Copy full SHA for a2e1e2f

• Point ci-hott at a newer version of HoTT

  JasonGross

  authored
  75f42c5

  Copy full SHA for 75f42c5

Commits on Jun 10, 2017

• Remove remaining vo.itarget files (obsolete since PR #499)

  letouzey

  committed
  79c42e2

  Copy full SHA for 79c42e2

• Remove (useless) aliases from the API.

  

  Matej Košík

  committed
  b6feaaf

  Copy full SHA for b6feaaf

Commits on Jun 9, 2017

• Makefile.common: remove an obsolete comment after PR#499

  letouzey

  committed
  dffba98

  Copy full SHA for dffba98

Commits on Jun 8, 2017

• Mirror dpdgraph's travis test more accurately

  JasonGross

  authored
  55ffdf5

  Copy full SHA for 55ffdf5

• Remove coq-dpdgraph overlay

  JasonGross

  authored
  29ba5cd

  Copy full SHA for 29ba5cd

• Merge branch 'v8.6'

  ppedrot

  committed
  3e1f527

  Copy full SHA for 3e1f527

• Remove overlay.

  maximedenes

  committed
  102d741

  Copy full SHA for 102d741

• Merge PR#652: Put all plugins behind an "API".

  maximedenes

  committed
  1ee1c09

  Copy full SHA for 1ee1c09

Commits on Jun 7, 2017

• Update .gitignore

  JasonGross

  authored
  3728b30

  Copy full SHA for 3728b30

• add overlays

  

  Matej Košík

  committed
  1172341

  Copy full SHA for 1172341

• Put "ssreflect" behind "API".

  

  Matej Košík

  committed
  34dd340

  Copy full SHA for 34dd340

• Put all plugins behind an "API".

  

  Matej Kosik

  committed
  661940f

  Copy full SHA for 661940f

• Merge PR#698: Trunk misc

  maximedenes

  committed
  73fd3af

  Copy full SHA for 73fd3af

• Merge PR#717: [proof] Deprecate "proof mode" API

  maximedenes

  committed
  77e4a37

  Copy full SHA for 77e4a37

• Merge PR#669: Ssr merge

  maximedenes

  committed
  3e29266

  Copy full SHA for 3e29266

Commits on Jun 6, 2017

• Overlay.

  maximedenes

  committed
  3d3867b

  Copy full SHA for 3d3867b

• Merge the ssr plugin.

  maximedenes

  committed
  0147499

  Copy full SHA for 0147499

• Remove some overlays.

  maximedenes

  committed
  0a577d3

  Copy full SHA for 0a577d3

• Merge PR#623: Remove the Sigma (monotonous state) API.

  maximedenes

  committed
  e5581b2

  Copy full SHA for e5581b2

• Overlays.

  maximedenes

  committed
  0ce9cef

  Copy full SHA for 0ce9cef

• Remove the Sigma (monotonous state) API.

  Show description for 954fbd3
  maximedenes

  committed
  954fbd3

  Copy full SHA for 954fbd3

• Merge PR#662: Fixing bug #5233 and another bug with implicit arguments + a short econstr-cleaning of record.ml

  maximedenes

  committed
  2f23c27

  Copy full SHA for 2f23c27

Pagination

Previous

Next