Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 17, 2024

• Merge pull request #147 from gares/fix-ssr-have-opacity

  Show description for b7f7784
  palmskog

  authored
  b7f7784

  Copy full SHA for b7f7784

• simplify proofs

  gares

  committed
  08c7187

  Copy full SHA for 08c7187

Commits on Dec 8, 2023

• Merge pull request #146 from uwplse/update-boilerplate-pubs

  Show description for 8f7fe47
  palmskog

  authored
  8f7fe47

  Copy full SHA for 8f7fe47

• update publication URLs

  palmskog

  committed
  a448f3e

  Copy full SHA for a448f3e

Commits on Nov 5, 2023

• Merge pull request #144 from uwplse/conclude_using

  Show description for f082f86
  palmskog

  authored
  f082f86

  Copy full SHA for f082f86

• simplified conclude_using

  palmskog

  committed
  0f15fa5

  Copy full SHA for 0f15fa5

Commits on Oct 21, 2023

• Merge pull request #143 from uwplse/theories-dir

  Show description for 44aacdc
  palmskog

  authored
  44aacdc

  Copy full SHA for 44aacdc

• reorganize files under standard theories directory, use standard Makefile and Dune builds

  palmskog

  committed
  19cad66

  Copy full SHA for 19cad66

Commits on Oct 20, 2023

• Merge pull request #142 from uwplse/from-require

  Show description for bfb44e8
  palmskog

  authored
  bfb44e8

  Copy full SHA for bfb44e8

• consistently use From-Require

  palmskog

  committed
  354c8da

  Copy full SHA for 354c8da

Commits on Oct 15, 2023

• Merge pull request #141 from uwplse/purge-npeano

  Show description for f31f907
  palmskog

  authored
  f31f907

  Copy full SHA for f31f907

• purge NPeano in favor of PeanoNat

  palmskog

  committed
  859a114

  Copy full SHA for 859a114

• Merge pull request #140 from uwplse/fix-deprec

  Show description for f297c02
  palmskog

  authored
  f297c02

  Copy full SHA for f297c02

• refresh boilerplate

  palmskog

  committed
  ea2c43b

  Copy full SHA for ea2c43b

• fix intuition deprecations by using in_crush parameters

  palmskog

  committed
  3994e62

  Copy full SHA for 3994e62

• fix list deprecations

  palmskog

  committed
  3d1a71b

  Copy full SHA for 3d1a71b

Commits on May 3, 2023

• Merge pull request #139 from ppedrot/case-pf-pose-dependent-metas

  Show description for 76833a7
  palmskog

  authored
  76833a7

  Copy full SHA for 76833a7

• Adapt w.r.t. coq/coq#17564.

  ppedrot

  committed
  cbc7917

  Copy full SHA for cbc7917

Commits on Jan 7, 2023

• Merge pull request #136 from uwplse/8.17-drop-configure

  Show description for 4f1f3ed
  palmskog

  authored
  4f1f3ed

  Copy full SHA for 4f1f3ed

• fix most deprecations on Coq 8.17

  palmskog

  committed
  22a37a1

  Copy full SHA for 22a37a1

• CI for 8.17 and later, drop configure script

  palmskog

  committed
  92c4a47

  Copy full SHA for 92c4a47

Commits on Nov 25, 2022

• Merge pull request #135 from uwplse/fix-deprec

  Show description for 1ddb730
  palmskog

  authored
  1ddb730

  Copy full SHA for 1ddb730

• fix deprecations on 8.16 and later

  palmskog

  committed
  00bc32c

  Copy full SHA for 00bc32c

Commits on Nov 14, 2022

• Merge pull request #134 from uwplse/simplify-build-ci

  Show description for 26f1f4d
  palmskog

  authored
  26f1f4d

  Copy full SHA for 26f1f4d

• add meta.yml, generate boilerplate

  palmskog

  committed
  d83f41e

  Copy full SHA for d83f41e

Commits on Jun 28, 2022

• Merge pull request #133 from ppedrot/hint-locality-error

  Show description for 74ffcc8
  palmskog

  authored
  74ffcc8

  Copy full SHA for 74ffcc8

• Adapt w.r.t. coq/coq#16004.

  ppedrot

  committed
  22f7f5a

  Copy full SHA for 22f7f5a

Commits on Oct 26, 2021

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

  Show description for 064cc4f
  palmskog

  authored
  064cc4f

  Copy full SHA for 064cc4f

• GhostSimulations:Be more robust to generated names

  Show description for dfd9958
  JasonGross

  authored
  dfd9958

  Copy full SHA for dfd9958

Commits on Oct 1, 2021

• Merge pull request #129 from SkySkimmer/apply-with-names

  Show description for c808a15
  palmskog

  authored
  c808a15

  Copy full SHA for c808a15

• Adapt to coq/coq#13837 ("apply with" does not rename arguments)

  Show description for d05cf20
  SkySkimmer

  committed
  d05cf20

  Copy full SHA for d05cf20

Commits on May 24, 2021

• Merge pull request #128 from ppedrot/rm-regular-subst

  Show description for 54597d8
  wilcoxjay

  authored
  54597d8

  Copy full SHA for 54597d8

Commits on May 18, 2021

• Remove the only call to the Regular Subst Tactic option.

  ppedrot

  committed
  7eac888

  Copy full SHA for 7eac888

Commits on Mar 28, 2021

• Merge pull request #127 from jfehrle/remove_omega

  Show description for 002da48
  wilcoxjay

  authored
  002da48

  Copy full SHA for 002da48

• Replace use of omega with lia for Coq 8.14 #13741

  jfehrle

  committed
  cb016cf

  Copy full SHA for cb016cf

Pagination

Previous

Next