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

decision trees (WIP) Build and profile and CoqDoc #40: Commit 14f549e pushed by h0nzZik
January 30, 2024 14:02 4m 40s main
main
January 30, 2024 14:02 4m 40s
sed -ie "s/RhsPattern/ExpressionTerm/g" Build and profile and CoqDoc #39: Commit 2f21c3c pushed by h0nzZik
January 30, 2024 10:33 4m 36s main
main
January 30, 2024 10:33 4m 36s
remove the "GroundTerm'" alias (with the prime) Build and profile and CoqDoc #38: Commit b388dde pushed by h0nzZik
January 30, 2024 10:16 4m 30s main
main
January 30, 2024 10:16 4m 30s
use Variant Build and profile and CoqDoc #37: Commit 7759d7f pushed by h0nzZik
January 30, 2024 09:51 7m 19s main
main
January 30, 2024 09:51 7m 19s
rename constructors Build and profile and CoqDoc #36: Commit 434ee32 pushed by h0nzZik
January 30, 2024 09:49 4m 32s main
main
January 30, 2024 09:49 4m 32s
rename "AppliedOperator'" to "PreTerm'" Build and profile and CoqDoc #35: Commit cb01290 pushed by h0nzZik
January 30, 2024 09:23 4m 26s main
main
January 30, 2024 09:23 4m 26s
rename AppliedOperatorOr' => Term' Build and profile and CoqDoc #34: Commit 4323752 pushed by h0nzZik
January 30, 2024 09:18 5m 8s main
main
January 30, 2024 09:18 5m 8s
fix missing case in soundness of interpreter Build and profile and CoqDoc #33: Commit 1e02e0b pushed by h0nzZik
January 29, 2024 09:17 5m 8s main
main
January 29, 2024 09:17 5m 8s
use attribute syntax for [Polymorphic Cumulative] Build and profile and CoqDoc #32: Commit 6d49bda pushed by h0nzZik
January 26, 2024 13:55 4m 31s main
main
January 26, 2024 13:55 4m 31s
example proof of soundness of an example interpreter Build and profile and CoqDoc #31: Commit 36764f5 pushed by h0nzZik
January 26, 2024 13:41 4m 30s main
main
January 26, 2024 13:41 4m 30s
RewritingTheory_wf_heuristics Build and profile and CoqDoc #30: Commit 8288a35 pushed by h0nzZik
January 26, 2024 13:26 2m 2s main
main
January 26, 2024 13:26 2m 2s
refactor the definition of soundness of an interpreter Build and profile and CoqDoc #29: Commit 1369067 pushed by h0nzZik
January 26, 2024 12:04 4m 33s main
main
January 26, 2024 12:04 4m 33s
'wf2'_impl_wf2' Build and profile and CoqDoc #28: Commit e6de1d7 pushed by h0nzZik
January 26, 2024 11:58 4m 30s main
main
January 26, 2024 11:58 4m 30s
various Build and profile and CoqDoc #27: Commit 44f0c74 pushed by h0nzZik
January 25, 2024 16:53 4m 31s main
main
January 25, 2024 16:53 4m 31s
benchmark - generating files per test Build and profile and CoqDoc #26: Commit 9c47a49 pushed by h0nzZik
January 24, 2024 15:37 4m 42s main
main
January 24, 2024 15:37 4m 42s
separate out minuska-examples Build and profile and CoqDoc #25: Commit 246aea7 pushed by h0nzZik
January 24, 2024 13:27 4m 42s main
main
January 24, 2024 13:27 4m 42s
dissolve 'flattened.v' Build and profile and CoqDoc #24: Commit 4cf453a pushed by h0nzZik
January 24, 2024 10:23 6m 15s main
main
January 24, 2024 10:23 6m 15s
fix 8.17 Build and profile and CoqDoc #23: Commit 2e6eaca pushed by h0nzZik
January 24, 2024 09:58 6m 9s main
main
January 24, 2024 09:58 6m 9s
remove old README with specification language description Build and profile and CoqDoc #22: Commit 94f44bd pushed by h0nzZik
January 24, 2024 09:48 9m 12s main
main
January 24, 2024 09:48 9m 12s
remove Match; fix build with Coq 8.17 Build and profile and CoqDoc #21: Commit a5b0df9 pushed by h0nzZik
January 24, 2024 09:47 5m 8s main
main
January 24, 2024 09:47 5m 8s
class SatisfiesProperties Build and profile and CoqDoc #20: Commit f0d220d pushed by h0nzZik
January 24, 2024 09:38 5m 19s main
main
January 24, 2024 09:38 5m 19s
move stuff around Build and profile and CoqDoc #19: Commit 066f9a6 pushed by h0nzZik
January 24, 2024 08:24 6m 46s main
main
January 24, 2024 08:24 6m 46s
remove minuska/theories/tactics.v Build and profile and CoqDoc #18: Commit d38d613 pushed by h0nzZik
January 23, 2024 17:37 8m 34s main
main
January 23, 2024 17:37 8m 34s
benchexec Build and profile and CoqDoc #17: Commit 1f8be6a pushed by h0nzZik
January 23, 2024 17:33 6m 14s main
main
January 23, 2024 17:33 6m 14s
remove some old code Build and profile and CoqDoc #16: Commit 3f95527 pushed by h0nzZik
January 23, 2024 17:12 6m 28s main
main
January 23, 2024 17:12 6m 28s
ProTip! You can narrow down the results and go further in time using created:<2024-01-23 or the other filters available.