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

multiple start symbols Build and profile and CoqDoc #290: Commit 8c4354c pushed by h0nzZik
April 16, 2024 08:43 8m 34s main
main
April 16, 2024 08:43 8m 34s
more refactoring Build and profile and CoqDoc #289: Commit cd77e3c pushed by h0nzZik
April 16, 2024 08:37 7m 10s main
main
April 16, 2024 08:37 7m 10s
coq extraction pipeline Build and profile and CoqDoc #288: Commit a6c62de pushed by h0nzZik
April 15, 2024 20:56 7m 17s main
main
April 15, 2024 20:56 7m 17s
extending the trivial example Build and profile and CoqDoc #287: Commit 208128c pushed by h0nzZik
April 15, 2024 18:08 7m 14s main
main
April 15, 2024 18:08 7m 14s
can generate a simple rule Build and profile and CoqDoc #286: Commit 2165767 pushed by h0nzZik
April 15, 2024 17:49 7m 2s main
main
April 15, 2024 17:49 7m 2s
printing half a rule Build and profile and CoqDoc #285: Commit a9ebc0b pushed by h0nzZik
April 15, 2024 17:41 7m 9s main
main
April 15, 2024 17:41 7m 9s
can generate isValue Build and profile and CoqDoc #284: Commit bbd9362 pushed by h0nzZik
April 15, 2024 16:42 7m 10s main
main
April 15, 2024 16:42 7m 10s
extend printing Build and profile and CoqDoc #283: Commit a6ad781 pushed by h0nzZik
April 15, 2024 14:59 7m 22s main
main
April 15, 2024 14:59 7m 22s
pretty print expressions Build and profile and CoqDoc #282: Commit 3f6d95b pushed by h0nzZik
April 15, 2024 14:40 7m 6s main
main
April 15, 2024 14:40 7m 6s
wip trying to print Build and profile and CoqDoc #281: Commit 2a843bf pushed by h0nzZik
April 15, 2024 14:17 7m 14s main
main
April 15, 2024 14:17 7m 14s
print Build and profile and CoqDoc #280: Commit 15bb8b8 pushed by h0nzZik
April 15, 2024 12:32 7m 15s main
main
April 15, 2024 12:32 7m 15s
create output file Build and profile and CoqDoc #279: Commit fdad281 pushed by h0nzZik
April 15, 2024 12:09 7m 10s main
main
April 15, 2024 12:09 7m 10s
can parse trivial Build and profile and CoqDoc #278: Commit a1c7683 pushed by h0nzZik
April 15, 2024 11:47 7m 12s main
main
April 15, 2024 11:47 7m 12s
now it finally builds, really Build and profile and CoqDoc #277: Commit 6967304 pushed by h0nzZik
April 14, 2024 14:44 7m 14s main
main
April 14, 2024 14:44 7m 14s
forgotten file Build and profile and CoqDoc #276: Commit 1c76d1f pushed by h0nzZik
April 14, 2024 13:22 7m 17s main
main
April 14, 2024 13:22 7m 17s
WIP parser Build and profile and CoqDoc #275: Commit dea26f2 pushed by h0nzZik
April 14, 2024 09:23 7m 0s main
main
April 14, 2024 09:23 7m 0s
documentation, cleanup Build and profile and CoqDoc #274: Commit bb2ac54 pushed by h0nzZik
April 12, 2024 09:43 7m 7s main
main
April 12, 2024 09:43 7m 7s
fixes and comments Build and profile and CoqDoc #273: Commit 22382d8 pushed by h0nzZik
April 12, 2024 09:27 2m 19s main
main
April 12, 2024 09:27 2m 19s
refactoring: extract the specification Build and profile and CoqDoc #272: Commit af81690 pushed by h0nzZik
April 12, 2024 09:16 3m 49s main
main
April 12, 2024 09:16 3m 49s
do not build dep Build and profile and CoqDoc #271: Commit ad07b56 pushed by h0nzZik
April 12, 2024 08:01 10m 11s main
main
April 12, 2024 08:01 10m 11s
finally, after a long day, the tests work again Build and profile and CoqDoc #270: Commit a4e59b4 pushed by h0nzZik
April 11, 2024 18:06 4m 8s main
main
April 11, 2024 18:06 4m 8s
have nicer computational decision procedures Build and profile and CoqDoc #269: Commit 5f22391 pushed by h0nzZik
April 11, 2024 17:58 6m 57s main
main
April 11, 2024 17:58 6m 57s
optimize decision procedure Build and profile and CoqDoc #268: Commit bd7faa7 pushed by h0nzZik
April 11, 2024 17:33 7m 28s main
main
April 11, 2024 17:33 7m 28s
optimizations; export more Build and profile and CoqDoc #267: Commit 7e69594 pushed by h0nzZik
April 11, 2024 16:53 6m 59s main
main
April 11, 2024 16:53 6m 59s
simplification Build and profile and CoqDoc #266: Commit 897380e pushed by h0nzZik
April 11, 2024 14:28 7m 0s main
main
April 11, 2024 14:28 7m 0s