Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 9, 2023

• Merge pull request #72 from uwplse/default-proof-using

  Show description for 97268e1
  palmskog

  authored
  97268e1

  Copy full SHA for 97268e1

• switch to Default Proof Using Type

  palmskog

  committed
  25b7dd7

  Copy full SHA for 25b7dd7

• Merge pull request #71 from uwplse/finfix

  Show description for 462454c
  palmskog

  authored
  462454c

  Copy full SHA for 462454c

• refresh boilerplate

  palmskog

  committed
  dd555a0

  Copy full SHA for dd555a0

• define fin_eq_dec without tactics

  palmskog

  committed
  e8d4007

  Copy full SHA for e8d4007

Commits on Nov 5, 2023

• Merge pull request #70 from uwplse/conclude-tactic-notation

  Show description for f6bc376
  palmskog

  authored
  f6bc376

  Copy full SHA for f6bc376

Commits on Nov 4, 2023

• use tactic notations to parameterize tactics solve_by_inversion', conclude, and conclude_using

  palmskog

  committed
  52ae98a

  Copy full SHA for 52ae98a

Commits on Oct 15, 2023

• Merge pull request #69 from uwplse/tactic-not

  Show description for 8668217
  palmskog

  authored
  8668217

  Copy full SHA for 8668217

• parameterize in_crush tactics better

  palmskog

  committed
  f963218

  Copy full SHA for f963218

• Merge pull request #68 from uwplse/param-crush

  Show description for 0966fba
  palmskog

  authored
  0966fba

  Copy full SHA for 0966fba

• refresh boilerplate

  palmskog

  committed
  29eb4b8

  Copy full SHA for 29eb4b8

• parameterize list tactics that use intuition

  palmskog

  committed
  0d00bc0

  Copy full SHA for 0d00bc0

• fix list deprecations

  palmskog

  committed
  02515f3

  Copy full SHA for 02515f3

Commits on Jan 7, 2023

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

  Show description for 2f2ff25
  palmskog

  authored
  2f2ff25

  Copy full SHA for 2f2ff25

• fix intuition deprecations in 8.17 and later

  palmskog

  committed
  d79d2e0

  Copy full SHA for d79d2e0

• 8.17 CI, remove configure script

  palmskog

  committed
  25a48ee

  Copy full SHA for 25a48ee

Commits on Nov 25, 2022

• Merge pull request #65 from uwplse/beq_nat-deprec

  Show description for 40f8008
  palmskog

  authored
  40f8008

  Copy full SHA for 40f8008

• fix deprecations

  palmskog

  committed
  cd436e3

  Copy full SHA for cd436e3

Commits on Nov 15, 2022

• Merge pull request #64 from uwplse/fix-require-import-deprecations

  Show description for 2ba456d
  palmskog

  authored
  2ba456d

  Copy full SHA for 2ba456d

• consistent Require-Import idiom

  palmskog

  committed
  929b54b

  Copy full SHA for 929b54b

• regenerate Docker-Coq-Action boilerplate from templates

  palmskog

  committed
  84cc01b

  Copy full SHA for 84cc01b

• proper Require Import and fix deprecations on 8.16

  palmskog

  committed
  1e99f60

  Copy full SHA for 1e99f60

Commits on Nov 14, 2022

• Merge pull request #63 from uwplse/update-ci

  Show description for 36b135e
  palmskog

  authored
  36b135e

  Copy full SHA for 36b135e

• update metadata and regenerate boilerplate

  palmskog

  committed
  688a59c

  Copy full SHA for 688a59c

Commits on Sep 27, 2022

• Merge pull request #62 from vzaliva/master

  Show description for 897b7a1
  palmskog

  authored
  897b7a1

  Copy full SHA for 897b7a1

• bumped supported Coq version to include 8.16

  Show description for fb75a0f
  vzaliva

  authored
  fb75a0f

  Copy full SHA for fb75a0f

Commits on Jun 27, 2022

• Fix one more version number

  Show description for 9f7461d
  sliverdragon37

  authored
  9f7461d

  Copy full SHA for 9f7461d

• Update additional version reference

  sliverdragon37

  authored
  c4bb878

  Copy full SHA for c4bb878

• Update versions list in CI workflow file

  Show description for 209ce4b
  sliverdragon37

  authored
  209ce4b

  Copy full SHA for 209ce4b

• Add new coq versions, and remove old

  Show description for 30d2234
  sliverdragon37

  authored
  30d2234

  Copy full SHA for 30d2234

• Merge pull request #61 from Alizter/adapt-to-16004

  Show description for a0de716
  sliverdragon37

  authored
  a0de716

  Copy full SHA for a0de716

Commits on May 10, 2022

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

  Alizter

  committed
  0bdacfb

  Copy full SHA for 0bdacfb

Commits on Mar 28, 2021

• Merge pull request #59 from jfehrle/remove_omega

  Show description for 179bd53
  wilcoxjay

  authored
  179bd53

  Copy full SHA for 179bd53

• Replace use of omega with lia for Coq #13741

  jfehrle

  committed
  531a904

  Copy full SHA for 531a904

Commits on Dec 1, 2020

• Merge pull request #58 from uwplse/actions-ci

  Show description for afe6000
  palmskog

  authored
  afe6000

  Copy full SHA for afe6000