Commits

Branch selector

 dc19734

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 15, 2022

• some md

  thery

  committed
  dc19734

• some md

  thery

  committed
  0143f5a

• some md

  thery

  committed
  0560c34

• some md

  thery

  committed
  1adb0d7

• README is a md

  thery

  committed
  291dd91

• explicite the option

  thery

  committed
  6734e01

Commits on Mar 31, 2022

• Update build.yml

  Show description for 12ad864
  thery

  authored
  12ad864

• add 8.15 to CI

  thery

  committed
  e237441

• add 8.15 to CI

  thery

  committed
  c8c811c

Commits on Mar 10, 2022

• rm pdf

  thery

  committed
  de0c48a

• Merge pull request #45 from JasonGross/int63-compat

  Show description for bd14618
  thery

  authored
  bd14618

Commits on Mar 9, 2022

• Version-specific compatibility

  Show description for 09781b9
  JasonGross

  committed
  09781b9

• typo

  thery

  committed
  24f4101

• fix link

  thery

  committed
  11a5372

Commits on Feb 6, 2022

• fix 8.11

  thery

  committed
  b984180

Commits on Feb 5, 2022

• improved compilation time: cherry pick the calls to auto with zarith

  thery

  committed
  4db33ca

Commits on Dec 10, 2021

• Merge pull request #42 from JasonGross/8.11-compat

  Show description for f0eb59e
  thery

  authored
  f0eb59e

• Fix compat for 8.11

  JasonGross

  committed
  a65bb79

• Also test compat with Coq 8.11

  Show description for b680acf
  JasonGross

  committed
  b680acf

Commits on Dec 9, 2021

• Thanks to Michael, an opam for the generator

  thery

  committed
  a6f881b

Commits on Dec 8, 2021

• Merge pull request #40 from andres-erbsen/scpock

  Show description for 541132c
  thery

  authored
  541132c

• add Pocklington_simple_computational

  andres-erbsen

  committed
  4e24b81

Commits on Nov 25, 2021

• remove all pipe invocation

  thery

  committed
  af5fd4b

Commits on Nov 24, 2021

• Merge pull request #39 from JasonGross/patch-1

  Show description for 09b551c
  thery

  authored
  09b551c

• Update README.md CI status badge

  Show description for b9ba7fe
  JasonGross

  authored
  b9ba7fe

Commits on Nov 23, 2021

• Merge pull request #30 from MSoegtropIMC/autoconf

  Show description for ba138e5
  thery

  authored
  ba138e5

• Merge pull request #38 from JasonGross/gh-actions

  Show description for 1aaf854
  thery

  authored
  1aaf854

• Added configure.ac file for platform independent builds of gencertif

  MSoegtropIMC

  committed
  cb84d83

• Try coqprime.opam

  JasonGross

  committed
  6b9f7ee

• Try adding a .opam file in the root

  JasonGross

  committed
  fd7137e

• Switch to GitHub Actions for CI

  Show description for cbe5bac
  JasonGross

  committed
  cbe5bac

• Update opam file with the version from opam-coq-archive

  JasonGross

  committed
  ce97043

• remove the pipe command

  thery

  committed
  b2ee321

Commits on Nov 22, 2021

• Fix makefile

  thery

  committed
  bb860ae

Commits on Oct 4, 2021

• move to bionic

  thery

  committed
  2ad3850

Pagination

PreviousNext