Commits

Branch selector

 trunk

User selector

ppedrot

Datepicker

All time

Commit History

Commits on Feb 1, 2017

• Merge branch 'v8.6'

  ppedrot

  committed
  c17c3fa

  Copy full SHA for c17c3fa

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  568b38e

  Copy full SHA for 568b38e

Commits on Jan 28, 2017

• Fix bug #5262: Error should tell me which name is duplicated.

  ppedrot

  committed
  6e4c457

  Copy full SHA for 6e4c457

Commits on Jan 23, 2017

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  cfce473

  Copy full SHA for cfce473

Commits on Jan 20, 2017

• Do not add redundant side effects in tactic code.

  Show description for a9b76df
  ppedrot

  committed
  a9b76df

  Copy full SHA for a9b76df

Commits on Jan 19, 2017

• Merge branch 'v8.6'

  ppedrot

  committed
  f229699

  Copy full SHA for f229699

Commits on Jan 17, 2017

• Mapping named_context_val preserves sharing when possible.

  Show description for 8d783c1
  ppedrot

  committed
  8d783c1

  Copy full SHA for 8d783c1

Commits on Dec 7, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  ad768e4

  Copy full SHA for ad768e4

Commits on Nov 30, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  cf8ecf8

  Copy full SHA for cf8ecf8

Commits on Nov 18, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  80cfb61

  Copy full SHA for 80cfb61

Commits on Oct 31, 2016

• Moving unused code out of the kernel into Termops.

  Show description for 19a2dd5
  ppedrot

  committed
  19a2dd5

  Copy full SHA for 19a2dd5

• Stronger static invariant in equality upto universes.

  Show description for c48838c
  ppedrot

  committed
  c48838c

  Copy full SHA for c48838c

• Code factorization in Universes.

  ppedrot

  committed
  d562d0e

  Copy full SHA for d562d0e

Commits on Oct 30, 2016

• Moving Universes to the engine/ folder.

  Show description for a6a7806
  ppedrot

  committed
  a6a7806

  Copy full SHA for a6a7806

• Reordering Termops w.r.t. Evd and Namegen in engine folder.

  ppedrot

  committed
  4ec4c90

  Copy full SHA for 4ec4c90

• Fix spurious OCaml Warning 56 in TACTIC EXTEND macros.

  ppedrot

  committed
  0d06d69

  Copy full SHA for 0d06d69

Commits on Oct 29, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  cd1adfe

  Copy full SHA for cd1adfe

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  b5d8806

  Copy full SHA for b5d8806

Commits on Oct 26, 2016

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  4a82de3

  Copy full SHA for 4a82de3

Commits on Oct 24, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  860dc1c

  Copy full SHA for 860dc1c

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  8232f27

  Copy full SHA for 8232f27

Commits on Oct 21, 2016

• Adding a test for bug #3495.

  ppedrot

  committed
  c28a2a3

  Copy full SHA for c28a2a3

• Adding a primitive to recover the set of keywords from the lexer.

  Show description for cef86ed
  ppedrot

  committed
  cef86ed

  Copy full SHA for cef86ed

Commits on Oct 18, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  69401ac

  Copy full SHA for 69401ac

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  dff1450

  Copy full SHA for dff1450

• Removing output test for module qualification.

  Show description for 317ae3b
  ppedrot

  committed
  317ae3b

  Copy full SHA for 317ae3b

Commits on Oct 17, 2016

• Merge branch 'v8.6'

  ppedrot

  committed
  1929b52

  Copy full SHA for 1929b52

• Merge branch 'v8.5' into v8.6

  ppedrot

  committed
  34b1813

  Copy full SHA for 34b1813

• Fix output test for module qualification.

  Show description for 48b342e
  ppedrot

  committed
  48b342e

  Copy full SHA for 48b342e

• Fix previous commit.

  Show description for 409bc94
  ppedrot

  committed
  409bc94

  Copy full SHA for 409bc94

• Merge PR #300 into v8.6

  ppedrot

  committed
  13a2d03

  Copy full SHA for 13a2d03

• Merge PR #310 into v8.5

  ppedrot

  committed
  35a4b6b

  Copy full SHA for 35a4b6b

• Merge PR #310 into v8.6

  ppedrot

  committed
  8adcc8d

  Copy full SHA for 8adcc8d

• Test for bug #4874.

  ppedrot

  committed
  159b106

  Copy full SHA for 159b106

• Fix bug #5023: JSON extraction doesn't generate "for xxx".

  ppedrot

  committed
  e5f8038

  Copy full SHA for e5f8038

Pagination

Previous

Next