Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 21, 2026

• Merge pull request #17 from proux01/rocq

  Show description for eed6cf3
  CohenCyril

  authored
  eed6cf3

  Copy full SHA for eed6cf3

Commits on Jan 13, 2026

• Compat with Rocq (without coq shim)

  proux01

  committed
  2be1d49

  Copy full SHA for 2be1d49

• Only require boot (not entire ssreflect)

  proux01

  committed
  3f19f28

  Copy full SHA for 3f19f28

Commits on May 6, 2025

• Merge pull request #14 from proux01/mc1415

  Show description for 5968342
  CohenCyril

  authored
  5968342

  Copy full SHA for 5968342

Commits on May 1, 2025

• Update opam file

  proux01

  committed
  b1c8ebb

  Copy full SHA for b1c8ebb

• Adapt to https://github.com/math-comp/math-comp/pull/1415

  proux01

  committed
  606d7fb

  Copy full SHA for 606d7fb

Commits on Jul 17, 2024

• Merge pull request #12 from proux01/mc_1246

  Show description for 5a5ff27
  CohenCyril

  authored
  5a5ff27

  Copy full SHA for 5a5ff27

Commits on Jul 15, 2024

• Adapt to https://github.com/math-comp/math-comp/pull/1246

  proux01

  committed
  05d5b4a

  Copy full SHA for 05d5b4a

Commits on Dec 8, 2021

• Merge pull request #6 from math-comp/Rm-opam

  Show description for ff71b25
  CohenCyril

  authored
  ff71b25

  Copy full SHA for ff71b25

• Delete things that are useless or not working

  CohenCyril

  committed
  a20f463

  Copy full SHA for a20f463

Commits on Dec 7, 2021

• Merge pull request #5 from proux01/instantiate-value

  Show description for c56f686
  CohenCyril

  authored
  c56f686

  Copy full SHA for c56f686

• Use meta file from coq-community/template

  proux01

  committed
  e2c69d9

  Copy full SHA for e2c69d9

Commits on Dec 6, 2021

• Remove old capitalized syntax for instantiate

  Show description for 0c809dc
  proux01

  committed
  0c809dc

  Copy full SHA for 0c809dc

Commits on Sep 28, 2020

• Merge pull request #3 from math-comp/reasonning-typo

  Show description for 4537fd9
  CohenCyril

  authored
  4537fd9

  Copy full SHA for 4537fd9

• Fixing typo

  CohenCyril

  committed
  21fac7a

  Copy full SHA for 21fac7a

Commits on Feb 10, 2019

• Merge pull request #1 from math-comp/fixMakefile

  Show description for 4d3b2ba
  CohenCyril

  authored
  4d3b2ba

  Copy full SHA for 4d3b2ba

• fix Makefile.common

  CohenCyril

  committed
  4dbfce6

  Copy full SHA for 4dbfce6

Commits on Aug 8, 2018

• adding a descr for future packaging

  CohenCyril

  committed
  eb66644

  Copy full SHA for eb66644

• fix opam

  CohenCyril

  committed
  15db22c

  Copy full SHA for 15db22c

• travis

  CohenCyril

  committed
  60d0f94

  Copy full SHA for 60d0f94

• Update README.md

  CohenCyril

  authored
  6a8d75c

  Copy full SHA for 6a8d75c

• Update README.md

  CohenCyril

  authored
  d096f8d

  Copy full SHA for d096f8d

• intial release of bigenough

  CohenCyril

  committed
  5f79a32

  Copy full SHA for 5f79a32