Skip to content

Activity

Showing most recent first

Adapt to coq/coq#19690 (Hint Extern follows default proof mode) (#171)

Pull request merge
JasonGrosspushed 1 commit to master • 869b054…e8da092 • 
17 days ago

Bump etc/coq-scripts from bf7754a to fdfd924 (#170)

Pull request merge
github-actions[bot]pushed 1 commit to master • 1e17dcd…869b054 • 
24 days ago

Bump etc/coq-scripts from bf7754a to fdfd924

dependabot[bot]created dependabot/submodules/etc/coq-scripts-fdfd924 • 1822277 • 
24 days ago

Better timer (fix build on mac)

JasonGrosspushed 1 commit to master • 3c0618f…1e17dcd • 
on Jan 29

Work around issue with -I

JasonGrosspushed 1 commit to master • ca0eed1…3c0618f • 
on Jan 29

Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1

JasonGrosspushed 1 commit to master • ef98e7d…ca0eed1 • 
on Jan 28

[CI] also test opam packages, including perf

JasonGrosspushed 1 commit to master • 69cccb7…ef98e7d • 
on Jan 28

Bump etc/coq-scripts from 9479734 to bf7754a (#169)

Pull request merge
github-actions[bot]pushed 1 commit to master • 30c8507…69cccb7 • 
on Jan 15

Bump etc/coq-scripts from 9479734 to bf7754a

dependabot[bot]created dependabot/submodules/etc/coq-scripts-bf7754a • 603396f • 
on Jan 15

Bump etc/coq-scripts from 4327aa1 to 9479734 (#168)

Pull request merge
github-actions[bot]pushed 1 commit to master • 1e36197…30c8507 • 
on Jan 14

Bump etc/coq-scripts from 4327aa1 to 9479734

dependabot[bot]created dependabot/submodules/etc/coq-scripts-9479734 • cbf0c91 • 
on Jan 14

rm .github/workflows/coq.yml

JasonGrosspushed 1 commit to master • 8ab716a…1e36197 • 
on Dec 6, 2024

Adapt to coq#19822 (#165)

Pull request merge
JasonGrosspushed 1 commit to master • edd0611…8ab716a • 
on Nov 20, 2024

add missing nounfold for Qeq_bool in Sample.v

Pull request merge
andres-erbsenpushed 1 commit to master • e4d987c…edd0611 • 
on Nov 3, 2024

Adapt to rocq-prover/rocq#19620 (Global.push_context_set no strict ar…

Pull request merge
JasonGrosspushed 1 commit to master • 76973c4…e4d987c • 
on Oct 15, 2024

Deleted branch

github-actions[bot]deleted dependabot/submodules/etc/coq-scripts-4327aa1 • 
on Oct 9, 2024

Bump etc/coq-scripts from e4d9e81 to 4327aa1 (#162)

Pull request merge
github-actions[bot]pushed 1 commit to master • aad1a9b…76973c4 • 
on Oct 9, 2024

Bump etc/coq-scripts from e4d9e81 to 4327aa1

dependabot[bot]created dependabot/submodules/etc/coq-scripts-4327aa1 • c5c2032 • 
on Oct 9, 2024

Deleted branch

JasonGrossdeleted docker-only • 
on Oct 4, 2024

Use docker for all Coq versions (#161)

Pull request merge
JasonGrosspushed 1 commit to master • 87581f8…aad1a9b • 
on Oct 4, 2024

Add back validate job

JasonGrosspushed 1 commit to docker-only • 700962d…27e7438 • 
on Oct 4, 2024

Comment out coq.yml

JasonGrosspushed 1 commit to docker-only • b8957f8…700962d • 
on Oct 4, 2024

Use docker for all Coq versions

JasonGrosscreated docker-only • b8957f8 • 
on Oct 4, 2024

Update README.md with publications

JasonGrosspushed 1 commit to master • 1ce9f1a…87581f8 • 
on Oct 4, 2024

Adapt to rocq-prover/rocq#19530 (#159)

Pull request merge
JasonGrosspushed 1 commit to master • 19f344b…1ce9f1a • 
on Sep 19, 2024

speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)

Pull request merge
JasonGrosspushed 1 commit to master • b9b7761…19f344b • 
on Jul 29, 2024

Deleted branch

JasonGrossdeleted python-is-python3 • 
on Jul 29, 2024