Skip to content

Actions: h0nzZik/minuska

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

map_lookup_Some Build and profile and CoqDoc #190: Commit 1f04966 pushed by h0nzZik
March 21, 2024 09:28 1m 56s main
main
March 21, 2024 09:28 1m 56s
WIP helper Build and profile and CoqDoc #189: Commit b1ae9ec pushed by h0nzZik
March 21, 2024 09:23 1m 56s main
main
March 21, 2024 09:23 1m 56s
fix the proof broken by the previous commit Build and profile and CoqDoc #188: Commit 5f94014 pushed by h0nzZik
March 20, 2024 15:53 1m 57s main
main
March 20, 2024 15:53 1m 57s
Almost changed rewrites relations to Type Build and profile and CoqDoc #187: Commit 87badb4 pushed by h0nzZik
March 20, 2024 15:34 1m 58s main
main
March 20, 2024 15:34 1m 58s
WIP Build and profile and CoqDoc #186: Commit 9ded73a pushed by h0nzZik
March 20, 2024 09:25 1m 57s main
main
March 20, 2024 09:25 1m 57s
maybe there is a way Build and profile and CoqDoc #185: Commit d36592b pushed by h0nzZik
March 20, 2024 08:57 1m 52s main
main
March 20, 2024 08:57 1m 52s
finish factor_by_subst_correct_2 Build and profile and CoqDoc #184: Commit 32217ec pushed by h0nzZik
March 20, 2024 08:13 2m 1s main
main
March 20, 2024 08:13 2m 1s
WIP Build and profile and CoqDoc #183: Commit 09ec0b4 pushed by h0nzZik
March 20, 2024 08:12 1m 44s main
main
March 20, 2024 08:12 1m 44s
WIP Build and profile and CoqDoc #182: Commit 9ef1474 pushed by h0nzZik
March 20, 2024 07:53 1m 43s main
main
March 20, 2024 07:53 1m 43s
WIP Build and profile and CoqDoc #181: Commit 4a98da8 pushed by h0nzZik
March 19, 2024 18:29 2m 3s main
main
March 19, 2024 18:29 2m 3s
WIp Build and profile and CoqDoc #180: Commit 0828e45 pushed by h0nzZik
March 19, 2024 16:53 2m 2s main
main
March 19, 2024 16:53 2m 2s
reflexivity; one case Build and profile and CoqDoc #179: Commit 56694b9 pushed by h0nzZik
March 19, 2024 15:47 1m 54s main
main
March 19, 2024 15:47 1m 54s
TODO need reflexive language Build and profile and CoqDoc #178: Commit 7370682 pushed by h0nzZik
March 19, 2024 15:34 1m 57s main
main
March 19, 2024 15:34 1m 57s
WIP Build and profile and CoqDoc #177: Commit a82b70e pushed by h0nzZik
March 19, 2024 15:26 1m 55s main
main
March 19, 2024 15:26 1m 55s
satisfies_var_inv, satisfies_var_expr_inv Build and profile and CoqDoc #176: Commit ac0a6af pushed by h0nzZik
March 19, 2024 15:09 1m 59s main
main
March 19, 2024 15:09 1m 59s
WIP Build and profile and CoqDoc #175: Commit 37af905 pushed by h0nzZik
March 19, 2024 14:55 2m 14s main
main
March 19, 2024 14:55 2m 14s
WIP Build and profile and CoqDoc #174: Commit cf418b1 pushed by h0nzZik
March 19, 2024 14:45 1m 59s main
main
March 19, 2024 14:45 1m 59s
in_compile_inv Build and profile and CoqDoc #173: Commit ae355ff pushed by h0nzZik
March 19, 2024 13:58 1m 58s main
main
March 19, 2024 13:58 1m 58s
looks like the proof is finished Build and profile and CoqDoc #172: Commit f1a7704 pushed by h0nzZik
March 19, 2024 11:42 1m 53s main
main
March 19, 2024 11:42 1m 53s
fresher Build and profile and CoqDoc #171: Commit 056a086 pushed by h0nzZik
March 19, 2024 10:52 2m 3s main
main
March 19, 2024 10:52 2m 3s
MinusL well-formedness. Build and profile and CoqDoc #170: Commit 28f5e33 pushed by h0nzZik
March 19, 2024 10:29 1m 49s main
main
March 19, 2024 10:29 1m 49s
almost there, only a few admitted cases about freshness remain Build and profile and CoqDoc #169: Commit 8d2bd20 pushed by h0nzZik
March 19, 2024 10:01 1m 49s main
main
March 19, 2024 10:01 1m 49s
WIP does not work Build and profile and CoqDoc #168: Commit b3dffa8 pushed by h0nzZik
March 18, 2024 17:41 1m 42s main
main
March 18, 2024 17:41 1m 42s
satisfies__MinusL_isValue__subst Build and profile and CoqDoc #167: Commit 61636f7 pushed by h0nzZik
March 18, 2024 14:07 1m 47s main
main
March 18, 2024 14:07 1m 47s
MinusL: substitution-based isValue Build and profile and CoqDoc #166: Commit 8b61eb4 pushed by h0nzZik
March 18, 2024 13:39 1m 42s main
main
March 18, 2024 13:39 1m 42s
ProTip! You can narrow down the results and go further in time using created:<2024-03-18 or the other filters available.