Skip to content

Actions: CatalaLang/catala-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

renaming lemmas Coq latest #317: Commit 7f2ec9e pushed by adelaett
February 19, 2025 15:21 1m 34s ite-tss
ite-tss
February 19, 2025 15:21 1m 34s
fixing variable names Coq latest #316: Commit 5c25655 pushed by adelaett
February 19, 2025 15:17 1m 33s ite-tss
ite-tss
February 19, 2025 15:17 1m 33s
finishing last admits in the same proof. Coq latest #315: Commit 9e9a0d0 pushed by adelaett
February 19, 2025 15:15 1m 21s ite-tss
ite-tss
February 19, 2025 15:15 1m 21s
_ Coq latest #314: Commit 985eb86 pushed by adelaett
February 19, 2025 14:23 1m 26s main
main
February 19, 2025 14:23 1m 26s
??? Coq latest #313: Commit a1112b0 pushed by adelaett
February 19, 2025 14:22 49s main
main
February 19, 2025 14:22 49s
syntax Coq latest #312: Commit 932b535 pushed by adelaett
February 19, 2025 14:20 44s main
main
February 19, 2025 14:20 44s
tentative hack to make the image work. Coq latest #311: Commit 240775a pushed by adelaett
February 19, 2025 14:18 49s main
main
February 19, 2025 14:18 49s
deadcode elim Coq latest #310: Commit 62c8233 pushed by adelaett
February 19, 2025 09:58 40s main
main
February 19, 2025 09:58 40s
more docker tentatives Coq latest #309: Commit fcd501c pushed by adelaett
February 18, 2025 09:54 41s main
main
February 18, 2025 09:54 41s
ite strategy by induction on the translation instead of the reduction. Coq latest #308: Commit 0740874 pushed by adelaett
February 18, 2025 09:54 41s main
main
February 18, 2025 09:54 41s
Merge pull request #18 from CatalaLang/expressible-values-miniml Coq latest #307: Commit 25b6276 pushed by adelaett
February 17, 2025 13:13 45s main
main
February 17, 2025 13:13 45s
almost there Coq latest #306: Commit 3f54373 pushed by adelaett
February 17, 2025 11:44 42s main
main
February 17, 2025 11:44 42s
using older checkout action (that does not depends on node) Coq latest #305: Commit e40061e pushed by adelaett
February 17, 2025 09:58 50s main
main
February 17, 2025 09:58 50s
ci tentative Coq latest #304: Commit eef3c7e pushed by adelaett
February 17, 2025 09:42 36s main
main
February 17, 2025 09:42 36s
added missing hypothesis from app substitution inversion lemma. And i… Coq latest #303: Commit 7c56305 pushed by adelaett
February 17, 2025 08:49 21s expressible-values-miniml
expressible-values-miniml
February 17, 2025 08:49 21s
finished the proofs, modulo (partially-false) inversion lemmas. Coq latest #302: Commit b387a6b pushed by adelaett
February 17, 2025 07:50 19s expressible-values-miniml
expressible-values-miniml
February 17, 2025 07:50 19s
Coq latest Coq latest #301: Scheduled
February 17, 2025 02:14 20s main
main
February 17, 2025 02:14 20s
almost finishing the proof. Coq latest #300: Commit 9258816 pushed by adelaett
February 13, 2025 17:28 21s expressible-values-miniml
expressible-values-miniml
February 13, 2025 17:28 21s
wip proof Coq latest #299: Commit 190da6d pushed by adelaett
February 13, 2025 14:38 20s expressible-values-miniml
expressible-values-miniml
February 13, 2025 14:38 20s
autre tentative Coq latest #298: Commit ba2f3d0 pushed by adelaett
February 11, 2025 13:12 22s expressible-values-miniml
expressible-values-miniml
February 11, 2025 13:12 22s
miniml determinism Coq latest #297: Commit 3e99c44 pushed by adelaett
February 10, 2025 10:49 25s expressible-values-miniml
expressible-values-miniml
February 10, 2025 10:49 25s
substitution lemma done ! Coq latest #296: Commit cd8e9b4 pushed by adelaett
February 10, 2025 10:48 19s expressible-values-miniml
expressible-values-miniml
February 10, 2025 10:48 19s
Coq latest Coq latest #295: Scheduled
February 10, 2025 02:12 24s main
main
February 10, 2025 02:12 24s
wip Coq latest #294: Commit 3362e47 pushed by adelaett
February 7, 2025 16:47 18s expressible-values-miniml
expressible-values-miniml
February 7, 2025 16:47 18s
wip substlemmas for jt Coq latest #293: Commit b80298d pushed by adelaett
February 7, 2025 15:36 24s expressible-values-miniml
expressible-values-miniml
February 7, 2025 15:36 24s