Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 30, 2025

• Fix a bug in pclearbot

  gilhur

  committed
  d0561bf

  Copy full SHA for d0561bf

Commits on Dec 31, 2024

• Fix a bug in pcofix with handling hypotheses with existential quantifiers.

  gilhur

  committed
  5efd5da

  Copy full SHA for 5efd5da

Commits on Oct 8, 2024

• Fix a bug in pclearbot using pclearbotH

  gilhur

  committed
  f0f813b

  Copy full SHA for f0f813b

Commits on Sep 21, 2024

• Bug fix: simplify the pclearbot tactic

  gilhur

  committed
  ae2b3c9

  Copy full SHA for ae2b3c9

Commits on Sep 18, 2024

• Bug fix: generalize the automation in paco_simp_hyp

  gilhur

  committed
  39072d6

  Copy full SHA for 39072d6

Commits on Mar 1, 2023

• Bug fix: pcofix renamed variable names 'x0,x1' into 'x2,x3'

  gilhur

  committed
  5c5693f

  Copy full SHA for 5c5693f

Commits on Dec 29, 2022

• Merge pull request #47 from SkySkimmer/no-hresolve

  Show description for ec2dd14
  minkiminki

  authored
  ec2dd14

  Copy full SHA for ec2dd14

• Adapt to coq/coq#17035 (remove hresolve)

  SkySkimmer

  committed
  d31a48b

  Copy full SHA for d31a48b

Commits on Sep 9, 2022

• Merge pull request #46 from liyishuai/patch-1

  Show description for 4f140d2
  minkiminki

  authored
  4f140d2

  Copy full SHA for 4f140d2

• CI: add Coq 8.16

  

  Yishuai Li

  authored
  4e5f3f6

  Copy full SHA for 4e5f3f6

Commits on Jan 26, 2022

• Update .travis.yml

  minkiminki

  authored
  7f10f14

  Copy full SHA for 7f10f14

• Update .travis.yml

  minkiminki

  authored
  cc660ca

  Copy full SHA for cc660ca

• Update .travis.yml

  minkiminki

  authored
  62c9c3b

  Copy full SHA for 62c9c3b

• Update README.md

  minkiminki

  authored
  b156675

  Copy full SHA for b156675

• Update .travis.yml

  minkiminki

  authored
  039664c

  Copy full SHA for 039664c

Commits on Dec 13, 2021

• Update README.md

  minkiminki

  authored
  58b8d16

  Copy full SHA for 58b8d16

Commits on Dec 10, 2021

• Remove warnings

  minkiminki

  committed
  4c65b99

  Copy full SHA for 4c65b99

Commits on Nov 8, 2021

• Merge pull request #43 from quinn-dougherty/alectryon

  Show description for 1fba09d
  minkiminki

  authored
  1fba09d

  Copy full SHA for 1fba09d

• Refactor .gitignore

  minkiminki

  committed
  0422c0c

  Copy full SHA for 0422c0c

• Git ignore generated webpage files

  minkiminki

  committed
  b333ee7

  Copy full SHA for b333ee7

• Executable permission webpagedependencies.sh

  minkiminki

  committed
  8b8fc8a

  Copy full SHA for 8b8fc8a

Commits on Nov 7, 2021

• noticed travis's website is asking people not to go to .org but to go to .com instead

  quinn-dougherty

  committed
  f0e062b

  Copy full SHA for f0e062b

• added target clean

  quinn-dougherty

  committed
  3440af0

  Copy full SHA for 3440af0

• webpage

  quinn-dougherty

  committed
  d37d564

  Copy full SHA for d37d564

Commits on May 24, 2021

• Merge pull request #42 from Lysxia/no-omega

  Show description for 2e050da
  minkiminki

  authored
  2e050da

  Copy full SHA for 2e050da

• Remove unused Import Omega

  Lysxia

  committed
  7226b68

  Copy full SHA for 7226b68

Commits on Mar 24, 2021

• Update README.md

  minkiminki

  authored
  45d833b

  Copy full SHA for 45d833b

Commits on Mar 18, 2021

• Fix pcofix bug #41

  minkiminki

  committed
  5a38bcf

  Copy full SHA for 5a38bcf

Commits on Mar 15, 2021

• Remove unused imports and tactics

  gilhur

  committed
  c00ada4

  Copy full SHA for c00ada4

• Merge pull request #40 from minkiminki/try

  Show description for 0d9b1cd
  

  Chung-Kil Hur

  authored
  0d9b1cd

  Copy full SHA for 0d9b1cd

Commits on Mar 14, 2021

• Remove unused file

  minkiminki

  committed
  bbb8e38

  Copy full SHA for bbb8e38

• Rollback gpaco[n] to use pcofix tactic

  minkiminki

  committed
  6fe0572

  Copy full SHA for 6fe0572

• Fix a bug

  minkiminki

  committed
  5115484

  Copy full SHA for 5115484

• Modify pcofix tactic

  minkiminki

  committed
  e2e4a74

  Copy full SHA for e2e4a74

• Move sig[n]T to pacotac_internal.v

  minkiminki

  committed
  831a1c0

  Copy full SHA for 831a1c0

Pagination

Previous

Next