Skip to content

Actions: CoqHott/logrel-coq

Actions

LogRel CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

save wip LogRel CI #437: Commit d7a5302 pushed by theolaurent
October 9, 2023 08:15 5m 42s directions
directions
October 9, 2023 08:15 5m 42s
modification on directed actions LogRel CI #436: Commit d623aec pushed by theolaurent
October 3, 2023 11:25 7m 9s directions
directions
October 3, 2023 11:25 7m 9s
example of a directed derivation LogRel CI #435: Commit c6f0db5 pushed by kyoDralliam
October 3, 2023 09:22 7m 15s directions
directions
October 3, 2023 09:22 7m 15s
use induction concl to specify DirectedAction LogRel CI #434: Commit d581603 pushed by kyoDralliam
October 3, 2023 08:49 7m 21s directions
directions
October 3, 2023 08:49 7m 21s
Split the declarative conversion rules for Σ-types into congruence + η. LogRel CI #433: Pull request #58 opened by ppedrot
October 2, 2023 15:12 10m 21s declarative-pair-split
declarative-pair-split
October 2, 2023 15:12 10m 21s
Split the declarative conversion rules for Σ-types into congruence + η. LogRel CI #432: Commit bde73ef pushed by ppedrot
October 2, 2023 15:11 7m 39s declarative-pair-split
declarative-pair-split
October 2, 2023 15:11 7m 39s
progress on the fundamental lemma for directions LogRel CI #431: Commit 5899a1a pushed by theolaurent
October 2, 2023 13:43 9m 37s directions
directions
October 2, 2023 13:43 9m 37s
Merge pull request #57 from CoqHott/move-nf-ren LogRel CI #430: Commit 30deee3 pushed by kyoDralliam
October 2, 2023 11:02 9m 57s master
master
October 2, 2023 11:02 9m 57s
Move renaming lemmas on normal forms to NormalForms. LogRel CI #429: Commit dc66f00 pushed by ppedrot
September 28, 2023 08:58 7m 26s move-nf-ren
move-nf-ren
September 28, 2023 08:58 7m 26s
Move renaming lemmas on normal forms to NormalForms. LogRel CI #428: Pull request #57 opened by ppedrot
September 28, 2023 08:57 8m 1s move-nf-ren
move-nf-ren
September 28, 2023 08:57 8m 1s
Move renaming lemmas on normal forms to NormalForms. LogRel CI #427: Commit ac2e141 pushed by ppedrot
September 28, 2023 08:57 8m 12s move-nf-ren
move-nf-ren
September 28, 2023 08:57 8m 12s
progress on the fundamental lemma for directions? LogRel CI #426: Commit bfd0844 pushed by theolaurent
September 27, 2023 16:17 8m 24s directions
directions
September 27, 2023 16:17 8m 24s
Merge pull request #55 from CoqHott/uniformize-validity-lemma-names LogRel CI #425: Commit 1f16171 pushed by MevenBertrand
September 27, 2023 09:25 7m 39s master
master
September 27, 2023 09:25 7m 39s
Merge pull request #56 from CoqHott/strenghten-negative-inversion-con… LogRel CI #424: Commit e6330aa pushed by MevenBertrand
September 27, 2023 09:10 10m 32s master
master
September 27, 2023 09:10 10m 32s
Saturate negative conversion rules with inversions LogRel CI #423: Pull request #56 opened by ppedrot
September 27, 2023 07:27 7m 22s strenghten-negative-inversion-conversion
strenghten-negative-inversion-conversion
September 27, 2023 07:27 7m 22s
Expose type inversions for pairs in the generic API. LogRel CI #422: Commit 1740d3d pushed by ppedrot
September 27, 2023 07:22 7m 31s strenghten-negative-inversion-conversion
strenghten-negative-inversion-conversion
September 27, 2023 07:22 7m 31s
very preliminary skeleton of partial translation LogRel CI #421: Commit 16b61bb pushed by kyoDralliam
September 26, 2023 13:28 7m 21s directions
directions
September 26, 2023 13:28 7m 21s
Uniformize some lemma names for validity. LogRel CI #420: Pull request #55 opened by ppedrot
September 26, 2023 09:49 7m 21s uniformize-validity-lemma-names
uniformize-validity-lemma-names
September 26, 2023 09:49 7m 21s
Uniformize some lemma names for validity. LogRel CI #419: Commit d397c56 pushed by ppedrot
September 26, 2023 09:48 7m 42s uniformize-validity-lemma-names
uniformize-validity-lemma-names
September 26, 2023 09:48 7m 42s
Merge pull request #54 from CoqHott/strenghten-neutral-congruence LogRel CI #418: Commit 3aa8b6a pushed by MevenBertrand
September 25, 2023 13:59 7m 41s master
master
September 25, 2023 13:59 7m 41s
Strengthen neutral congruence for Π / Σ types. LogRel CI #417: Pull request #54 opened by ppedrot
September 25, 2023 11:48 7m 40s strenghten-neutral-congruence
strenghten-neutral-congruence
September 25, 2023 11:48 7m 40s
Strengthen generic API for neutral conversion at Σ types. LogRel CI #416: Commit da4de15 pushed by ppedrot
September 25, 2023 11:47 8m 51s strenghten-neutral-congruence
strenghten-neutral-congruence
September 25, 2023 11:47 8m 51s
Merge pull request #53 from CoqHott/declarative-lambda-congruence LogRel CI #415: Commit 8ca22d5 pushed by MevenBertrand
September 25, 2023 10:39 10m 46s master
master
September 25, 2023 10:39 10m 46s
Split the declarative conversion rule at pi-type into eta + lambda congruence LogRel CI #414: Pull request #53 opened by ppedrot
September 22, 2023 20:39 7m 23s declarative-lambda-congruence
declarative-lambda-congruence
September 22, 2023 20:39 7m 23s
Split the declarative conversion rule at pi-type into eta + lambda co… LogRel CI #413: Commit a60134b pushed by ppedrot
September 22, 2023 20:38 7m 45s declarative-lambda-congruence
declarative-lambda-congruence
September 22, 2023 20:38 7m 45s