Commits

Branch selector

 master

User selector

pi8027

Datepicker

All time

Commit History

Commits on Jan 22, 2025

• Merge pull request #109 from Tragicus/mc1256

  Show description for a9ce79a
  pi8027

  authored
  a9ce79a

  Copy full SHA for a9ce79a

Commits on Dec 6, 2024

• Merge pull request #105 from math-comp/elpi-typecheck

  Show description for 12e9b64
  pi8027

  authored
  12e9b64

  Copy full SHA for 12e9b64

• Remove -w -elpi.typecheck-syntax from Make and _CoqProject

  pi8027

  committed
  c880646

  Copy full SHA for c880646

• Merge pull request #104 from math-comp/ci

  Show description for 16b3dbf
  pi8027

  authored
  16b3dbf

  Copy full SHA for 16b3dbf

Commits on Dec 5, 2024

• Update CI

  pi8027

  committed
  6f38ac7

  Copy full SHA for 6f38ac7

Commits on Sep 11, 2024

• Merge pull request #99 from math-comp/revert-pr90

  Show description for cd96b3e
  pi8027

  authored
  cd96b3e

  Copy full SHA for cd96b3e

• Revert "Workaround for #87"

  Show description for 6bae987
  pi8027

  committed
  6bae987

  Copy full SHA for 6bae987

• Merge pull request #102 from math-comp/ci

  Show description for dfaf034
  pi8027

  authored
  dfaf034

  Copy full SHA for dfaf034

• Update CI

  pi8027

  committed
  15df4a3

  Copy full SHA for 15df4a3

Commits on Sep 6, 2024

• Fix a typo in README

  pi8027

  committed
  ec1197b

  Copy full SHA for ec1197b

Commits on May 28, 2024

• Merge pull request #98 from math-comp/ci

  Show description for 4f51ac8
  pi8027

  authored
  4f51ac8

  Copy full SHA for 4f51ac8

• Simplify the test-suite infrastructure in CI

  pi8027

  committed
  2ef95dc

  Copy full SHA for 2ef95dc

• Update CI

  pi8027

  committed
  1b3a1d2

  Copy full SHA for 1b3a1d2

Commits on Jan 18, 2024

• Merge pull request #96 from math-comp/ci

  Show description for 9308c54
  pi8027

  authored
  9308c54

  Copy full SHA for 9308c54

• Fix CI

  pi8027

  committed
  31e1127

  Copy full SHA for 31e1127

• Merge pull request #95 from math-comp/ci

  Show description for 5089896
  pi8027

  authored
  5089896

  Copy full SHA for 5089896

• Update CI

  pi8027

  committed
  ef3ab79

  Copy full SHA for ef3ab79

Commits on Oct 26, 2023

• Merge pull request #93 from math-comp/ci

  Show description for 50d6b53
  pi8027

  authored
  50d6b53

  Copy full SHA for 50d6b53

• Update CI

  pi8027

  committed
  13cb49c

  Copy full SHA for 13cb49c

Commits on Oct 14, 2023

• Merge pull request #90 from math-comp/fix-sub-deprecation

  Show description for d83ef0f
  pi8027

  authored
  d83ef0f

  Copy full SHA for d83ef0f

• Workaround for #87

  pi8027

  committed
  2a14b95

  Copy full SHA for 2a14b95

Commits on Oct 11, 2023

• Merge pull request #89 from math-comp/doc

  Show description for d2e6f9e
  pi8027

  authored
  d2e6f9e

  Copy full SHA for d2e6f9e

• Fix

  Show description for 892c683
  

  pi8027

  and

  proux01

  committed
  892c683

  Copy full SHA for 892c683

• Documentation

  pi8027

  committed
  4bf81eb

  Copy full SHA for 4bf81eb

Commits on Sep 29, 2023

• Merge pull request #86 from math-comp/semirings

  Show description for 97a2ceb
  pi8027

  authored
  97a2ceb

  Copy full SHA for 97a2ceb

• Fix the support for semirings

  pi8027

  committed
  6c4785a

  Copy full SHA for 6c4785a

Commits on Sep 28, 2023

• Merge pull request #85 from math-comp/doc

  Show description for b8a2149
  pi8027

  authored
  b8a2149

  Copy full SHA for b8a2149

• Update the description

  pi8027

  committed
  4ba3a08

  Copy full SHA for 4ba3a08

Commits on Sep 27, 2023

• Fix the dependencies

  pi8027

  committed
  12fa829

  Copy full SHA for 12fa829

Commits on Sep 22, 2023

• Merge pull request #71 from proux01/hierarchy-builder

  Show description for 0d361ae
  pi8027

  authored
  0d361ae

  Copy full SHA for 0d361ae

• Avoid mentioning auto-generated names

  

  pi8027

  authored and

  proux01

  committed
  669119b

  Copy full SHA for 669119b

• Remove zmodule.v

  

  pi8027

  authored and

  proux01

  committed
  48ea93f

  Copy full SHA for 48ea93f

Commits on Jul 12, 2023

• Merge pull request #84 from math-comp/simple-norm

  Show description for 119e9c7
  pi8027

  authored
  119e9c7

  Copy full SHA for 119e9c7

Commits on Jun 8, 2023

• Simplify the normalization functions for preprocessing

  Show description for 6d279a4
  pi8027

  committed
  6d279a4

  Copy full SHA for 6d279a4

• Backport obvious fixes from #71

  Show description for eeea906
  

  pi8027

  and

  proux01

  committed
  eeea906

  Copy full SHA for eeea906

Pagination

Previous

Next