Commits

Branch selector

 master

User selector

JasonGross

Datepicker

All time

Commit History

Commits on Jun 21, 2020

• Add a generated file to .gitignore

  JasonGross

  committed
  6e60934

  Copy full SHA for 6e60934

Commits on May 31, 2020

• [ci] Split fiat-crypto into non-OCaml and OCaml

  Show description for f427613
  JasonGross

  committed
  f427613

  Copy full SHA for f427613

Commits on May 25, 2020

• dev/tools/make-changelog.sh now asks about fixed bugs

  Show description for 09a4ffe
  JasonGross

  committed
  09a4ffe

  Copy full SHA for 09a4ffe

Commits on May 24, 2020

• Merge PR #12392: [backport-pr] Select correct remote of the master branch.

  Show description for 16e0877
  JasonGross

  committed
  16e0877

  Copy full SHA for 16e0877

Commits on May 21, 2020

• Fix an uncaught python exception in timing

  Show description for 7731b88
  JasonGross

  committed
  7731b88

  Copy full SHA for 7731b88

Commits on May 20, 2020

• Print a newline at the end of timing tables

  Show description for 0f8de9b
  JasonGross

  committed
  0f8de9b

  Copy full SHA for 0f8de9b

• [merge-pr] Use a simpler method to get all pages

  Show description for 8263c13
  JasonGross

  committed
  8263c13

  Copy full SHA for 8263c13

• [merge-pr.sh] Follow next links instead

  Show description for 19a231a
  JasonGross

  committed
  19a231a

  Copy full SHA for 19a231a

• Use pagination in fetching the number of reviews

  Show description for 9cc5075
  JasonGross

  committed
  9cc5075

  Copy full SHA for 9cc5075

Commits on May 19, 2020

• [ci] Add mit-plv/engine-bench

  Show description for e7908df
  JasonGross

  committed
  e7908df

  Copy full SHA for e7908df

Commits on May 17, 2020

• Merge PR #11981: Ltac2: add notations for eval cbv in ... and other in place reductions

  Show description for 5ec4008
  JasonGross

  committed
  5ec4008

  Copy full SHA for 5ec4008

Commits on May 13, 2020

• Merge PR #11503: Allow to rebind the old value of a mutable Ltac2 entry.

  Show description for 0992c26
  JasonGross

  committed
  0992c26

  Copy full SHA for 0992c26

Commits on May 9, 2020

• Add another note about removing a tactic after abstract

  JasonGross

  committed
  6e4ebb2

  Copy full SHA for 6e4ebb2

• Revert "[with_strategy] Fix for coqchk"

  Show description for 6b223d1
  JasonGross

  committed
  6b223d1

  Copy full SHA for 6b223d1

• [with_strategy] Fix for coqchk

  Show description for 3c66c60
  JasonGross

  committed
  3c66c60

  Copy full SHA for 3c66c60

• Fix a bug with with_strategy, behavior on multisuccess tactics

  Show description for 573fed5
  JasonGross

  committed
  573fed5

  Copy full SHA for 573fed5

• [with_strategy] Work around #12191

  JasonGross

  committed
  adff727

  Copy full SHA for adff727

• Work around a bug in Coq in the doc

  Show description for 452f809
  JasonGross

  committed
  452f809

  Copy full SHA for 452f809

• Elaborate with_strategy warning

  Show description for ee3b91f
  JasonGross

  committed
  ee3b91f

  Copy full SHA for ee3b91f

• Fix the `with_strategy` tactic to work with `abstract`

  JasonGross

  committed
  33388d1

  Copy full SHA for 33388d1

• Add a `with_strategy` tactic

  Show description for 2edbbfe
  

  4 peoplecommitted
  2edbbfe

  Copy full SHA for 2edbbfe

Commits on May 6, 2020

• HaskellExtr: Add type annotations to Prelude.==

  Show description for ffe7c11
  JasonGross

  committed
  ffe7c11

  Copy full SHA for ffe7c11

• Fix #12211

  Show description for 14ada09
  JasonGross

  committed
  14ada09

  Copy full SHA for 14ada09

Commits on May 2, 2020

• Move tclWRAPFINALLY to profile_ltac

  Show description for 9b937b6
  JasonGross

  committed
  9b937b6

  Copy full SHA for 9b937b6

• Decrease LtacProf overhead when not profiling

  Show description for 206e8ad
  JasonGross

  committed
  206e8ad

  Copy full SHA for 206e8ad

• LtacProf now handles multi-success backtracking

  Show description for 570dd44
  JasonGross

  committed
  570dd44

  Copy full SHA for 570dd44

• Add Proofview.tclWRAPFINALLY

  Show description for 1700c63
  JasonGross

  committed
  1700c63

  Copy full SHA for 1700c63

Commits on Apr 29, 2020

• When TIMED=1, emit timing info for OCaml files

  JasonGross

  committed
  8bd5593

  Copy full SHA for 8bd5593

• Merge duplicates in .mailmap

  Show description for c8a6991
  JasonGross

  committed
  c8a6991

  Copy full SHA for c8a6991

Commits on Apr 28, 2020

• [ci] Add coq-tools to the CI

  Show description for 9e7a47b
  JasonGross

  committed
  9e7a47b

  Copy full SHA for 9e7a47b

Commits on Apr 24, 2020

• Make the nsatz test-suite pass

  JasonGross

  committed
  087804f

  Copy full SHA for 087804f

• [nsatz] Use Export rather than Include

  Show description for 1b25816
  JasonGross

  committed
  1b25816

  Copy full SHA for 1b25816

• Add memory stats to tables by default

  Show description for d8d0e11
  JasonGross

  committed
  d8d0e11

  Copy full SHA for d8d0e11

• Split off Nsatz tactic part into NsatzTactic

  Show description for 12652ca
  JasonGross

  committed
  12652ca

  Copy full SHA for 12652ca

Commits on Apr 20, 2020

• TIMEFMT: Display the output file name

  Show description for 9849b21
  JasonGross

  committed
  9849b21

  Copy full SHA for 9849b21

Pagination

Previous

Next