Commits

Branch selector

 mastermirror

User selector

erikmd

Datepicker

All time

Commit History

Commits on Jan 9, 2020

• Add badges for Docker Hub and coqorg/coq:latest version

  erikmd

  committed
  9d6a71f

  Copy full SHA for 9d6a71f

Commits on Dec 27, 2019

• docs: Update changes.rst w.r.t. ssrsetoid.v's simplification

  erikmd

  committed
  c380202

  Copy full SHA for c380202

Commits on Dec 26, 2019

• fix: Shorten ssrsetoid.v

  Show description for ec2d1bc
  erikmd

  committed
  ec2d1bc

  Copy full SHA for ec2d1bc

Commits on Nov 4, 2019

• fix(*.opam): Add missing version

  Show description for 4bc893d
  erikmd

  committed
  4bc893d

  Copy full SHA for 4bc893d

Commits on Nov 1, 2019

• docs(gallina-extensions.rst): Say more on float literals extraction

  

  erikmd

  authored and

  proux01

  committed
  acdaab2

  Copy full SHA for acdaab2

• Add some doc snippet in ExtrOCamlFloats.v

  Show description for 22ee3fa
  

  erikmd

  authored and

  proux01

  committed
  22ee3fa

  Copy full SHA for 22ee3fa

• Makefile.build: Fix rules of bin/votour{,.byte}

  

  erikmd

  authored and

  proux01

  committed
  bb8da1d

  Copy full SHA for bb8da1d

• Add extraction for primitive floats

  Show description for 3cb3277
  

  erikmd

  and

  proux01

  committed
  3cb3277

  Copy full SHA for 3cb3277

• feat: Use SSE2_MATH if available & Die if missing on x87

  Show description for 7088b2d
  

  erikmd

  and

  proux01

  committed
  7088b2d

  Copy full SHA for 7088b2d

• docs: Add entry in changelog

  

  erikmd

  authored and

  proux01

  committed
  3352f53

  Copy full SHA for 3352f53

• docs: Add refman+stdlib documentation

  

  erikmd

  authored and

  proux01

  committed
  d5f49c8

  Copy full SHA for d5f49c8

• Add "==", "<", "<=" in PrimFloat.v

  Show description for f155ba6
  

  erikmd

  and

  proux01

  committed
  f155ba6

  Copy full SHA for f155ba6

• Pretty-printing primitive float constants

  Show description for 3e0db1b
  

  erikmd

  authored and

  proux01

  committed
  3e0db1b

  Copy full SHA for 3e0db1b

• [ssr] Update doc for under w.r.t. setoid-like relations

  erikmd

  committed
  f7c078d

  Copy full SHA for f7c078d

• [ssr] chore: Remove ssrclasses.{ml,mli} (now unneeded)

  erikmd

  committed
  1857d47

  Copy full SHA for 1857d47

• [ssr] Refactor/Extend of under to support more relations

  Show description for a37b6f8
  erikmd

  committed
  a37b6f8

  Copy full SHA for a37b6f8

Commits on Oct 31, 2019

• [ssr] Refactor/Simplify the implementation of under

  Show description for 1090b27
  erikmd

  committed
  1090b27

  Copy full SHA for 1090b27

Commits on Oct 21, 2019

• chore: Enclose the […get_reflexive_proof_ssr…] call in a try/with->assert false

  Show description for 2845bc2
  erikmd

  committed
  2845bc2

  Copy full SHA for 2845bc2

• docs(changelog): Address @gares' comment

  Show description for 79df4c7
  erikmd

  committed
  79df4c7

  Copy full SHA for 79df4c7

Commits on Sep 10, 2019

• feat: Add a rewrite rule (UnderE) to unprotect evars in subgoals

  Show description for e4c1853
  erikmd

  committed
  e4c1853

  Copy full SHA for e4c1853

• [ssr] Add test "do [under ... do ...] in H"

  erikmd

  committed
  638dacd

  Copy full SHA for 638dacd

Commits on Aug 8, 2019

• [doc][ssr][under][setoid] Add changelog entry

  erikmd

  committed
  d4e0732

  Copy full SHA for d4e0732

• [ssr] under: Add a contrived example to test under/over with Setoids

  Show description for 05ae4be
  erikmd

  committed
  05ae4be

  Copy full SHA for 05ae4be

• [ssr] Refactor under's Setoid generalization to ease stdlib2 porting

  Show description for d60b807
  erikmd

  committed
  d60b807

  Copy full SHA for d60b807

Commits on Aug 6, 2019

• [ssr] under: extend ssreflect.v to generalize iff to any setoid eq

  Show description for 75f93e9
  erikmd

  committed
  75f93e9

  Copy full SHA for 75f93e9

• [ssr] export Ssrequality.ssr_is_setoid

  erikmd

  committed
  4e285a5

  Copy full SHA for 4e285a5

Commits on Jul 22, 2019

• doc: Fix a detail in 2 files describing the under tactic

  Show description for b3c82cb
  erikmd

  committed
  b3c82cb

  Copy full SHA for b3c82cb

Commits on Apr 25, 2019

• Add a typing colon in the output of the Search ssreflect vernacular

  Show description for 05adb6e
  erikmd

  committed
  05adb6e

  Copy full SHA for 05adb6e

Commits on Apr 23, 2019

• [ssr] set under's tactic argument at LEVEL 3

  Show description for 92e2bb2
  erikmd

  committed
  92e2bb2

  Copy full SHA for 92e2bb2

• [ssr] under: optimization of the tactic for (under eq_bigl => *)

  Show description for 3648840
  erikmd

  committed
  3648840

  Copy full SHA for 3648840

• [ssr] Define over as a rewrite rule & Merge 'Under[ _ ] notations

  Show description for 4bc91ba
  erikmd

  committed
  4bc91ba

  Copy full SHA for 4bc91ba

• [ssr] under: Fix the defective form ("=> [*|*]" implied) and its doc

  Show description for 04da173
  erikmd

  committed
  04da173

  Copy full SHA for 04da173

• [ssr] Add small output test for "under eq_G => m do rewrite subnn"

  erikmd

  committed
  6835590

  Copy full SHA for 6835590

• [ssr] under: Fix and extend the documentation

  erikmd

  committed
  96513a4

  Copy full SHA for 96513a4

• [ssr] under: Add iff support in side-conditions

  erikmd

  committed
  bb6dc23

  Copy full SHA for bb6dc23

Pagination

Previous

Next