Commits

Branch selector

 master

User selector

JasonGross

Datepicker

All time

Commit History

Commits on Aug 14, 2021

• Switch artifact expiration date to 1 month

  Show description for 7f75ce0
  JasonGross

  committed
  7f75ce0

  Copy full SHA for 7f75ce0

Commits on Jun 11, 2021

• [ci] Improve ci-metacoq script

  Show description for 169c65f
  JasonGross

  committed
  169c65f

  Copy full SHA for 169c65f

Commits on Jun 3, 2021

• [Extraction] [Haskell] Add support for GHC >= 9

  Show description for 741d47b
  JasonGross

  committed
  741d47b

  Copy full SHA for 741d47b

Commits on May 28, 2021

• Fix a discrepancy between the doc and reality of `coqworkmgr`

  

  JasonGross

  authored and

  ppedrot

  committed
  3454ede

  Copy full SHA for 3454ede

Commits on May 27, 2021

• Add more documentation to CoqMakefile.local-late

  Show description for 04c4af2
  

  JasonGross

  and

  jfehrle

  committed
  04c4af2

  Copy full SHA for 04c4af2

• Fix for MacOS/nix test-suite

  Show description for 032e41d
  JasonGross

  committed
  032e41d

  Copy full SHA for 032e41d

• Add support for CoqMakefile.local-late

  Show description for 6d96107
  JasonGross

  committed
  6d96107

  Copy full SHA for 6d96107

Commits on May 23, 2021

• Add `inversion_sigma H` and `inversion_sigma H as ipattern`

  Show description for c615956
  

  JasonGross

  authored and

  Zimmi48

  committed
  c615956

  Copy full SHA for c615956

Commits on May 12, 2021

• Update the icon file to have multiple files

  Show description for 996c2f5
  JasonGross

  committed
  996c2f5

  Copy full SHA for 996c2f5

Commits on May 10, 2021

• Add `hex_{Z,N,positive}_scope`

  Show description for 5e3bd62
  JasonGross

  committed
  5e3bd62

  Copy full SHA for 5e3bd62

Commits on Apr 8, 2021

• Add better `String_as_OT` and `Ascii_as_OT`

  Show description for f13e130
  JasonGross

  committed
  f13e130

  Copy full SHA for f13e130

Commits on Mar 26, 2021

• Add non-performance-based test

  JasonGross

  committed
  cc22676

  Copy full SHA for cc22676

• Fix Ltac2 `Array.init` exponential overhead

  Show description for 7e5dc9f
  JasonGross

  committed
  7e5dc9f

  Copy full SHA for 7e5dc9f

Commits on Feb 3, 2021

• [bench] Re-enable coq-performance-tests

  Show description for 51699a1
  JasonGross

  committed
  51699a1

  Copy full SHA for 51699a1

Commits on Jan 12, 2021

• [ci] [coq-performance-tests] Errors at end of log

  Show description for 1debe20
  JasonGross

  committed
  1debe20

  Copy full SHA for 1debe20

Commits on Sep 21, 2020

• Make print-pretty-timed robust against non-output-sync logs

  Show description for fef5b75
  JasonGross

  committed
  fef5b75

  Copy full SHA for fef5b75

Commits on Sep 14, 2020

• [CI] Always upload artifacts

  Show description for d0d2857
  JasonGross

  committed
  d0d2857

  Copy full SHA for d0d2857

Commits on Sep 3, 2020

• [bench] Only upload some files

  Show description for f9eeec7
  JasonGross

  committed
  f9eeec7

  Copy full SHA for f9eeec7

• [bench] Also upload the raw timing files, etc

  JasonGross

  committed
  f9c3787

  Copy full SHA for f9c3787

Commits on Aug 30, 2020

• Add :math: around math

  JasonGross

  committed
  b0894f1

  Copy full SHA for b0894f1

• Fix rendering of -> in micromega

  JasonGross

  committed
  921a56a

  Copy full SHA for 921a56a

Commits on Aug 25, 2020

• Require NsatzTactic: nsatz support for Z and Q

  Show description for 4ad36b5
  JasonGross

  committed
  4ad36b5

  Copy full SHA for 4ad36b5

• Remove useless commit guessing logic

  Show description for 3fab804
  JasonGross

  committed
  3fab804

  Copy full SHA for 3fab804

• [bench] Update bench script with better urls and more info

  JasonGross

  committed
  dc01511

  Copy full SHA for dc01511

Commits on Aug 19, 2020

• Improve `make approve-output`

  Show description for bcc012e
  JasonGross

  committed
  bcc012e

  Copy full SHA for bcc012e

• [coqchk] Look inside inner modules as well

  Show description for cfc5484
  JasonGross

  committed
  cfc5484

  Copy full SHA for cfc5484

Commits on Aug 9, 2020

• Bring Int63 notations into line with stdlib

  Show description for d39730a
  JasonGross

  committed
  d39730a

  Copy full SHA for d39730a

• Bring Float notations in line with stdlib

  Show description for fcc3db4
  JasonGross

  committed
  fcc3db4

  Copy full SHA for fcc3db4

Commits on Jun 24, 2020

• [ci] [fiat-crypto-legacy] allow_failure: true

  JasonGross

  committed
  40308a1

  Copy full SHA for 40308a1

• [test-suite] Fix dependencies of modules/ files

  Show description for 9690b13
  JasonGross

  committed
  9690b13

  Copy full SHA for 9690b13

• Add back fiat-crypto-legacy to the CI

  Show description for f9057bd
  JasonGross

  committed
  f9057bd

  Copy full SHA for f9057bd

• [ci] Add coq-community/coq-performance-tests

  Show description for 7ea8f82
  JasonGross

  committed
  7ea8f82

  Copy full SHA for 7ea8f82

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

Pagination

Previous

Next