Skip to content

Actions: sybila/biodivine-hctl-model-checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Rust version in CI. build #59: Commit f47e8de pushed by ondrej33
July 5, 2024 06:37 9m 42s master
master
July 5, 2024 06:37 9m 42s
Bump version. build #58: Commit 1434688 pushed by ondrej33
July 5, 2024 06:34 47s master
master
July 5, 2024 06:34 47s
Refactoring, with few potentially breaking changes. build #57: Commit 1e893fa pushed by ondrej33
February 2, 2024 17:15 9m 45s master
master
February 2, 2024 17:15 9m 45s
Merge pull request #17 from sybila/dev-variable-domains build #56: Commit fd684c1 pushed by ondrej33
January 31, 2024 12:45 10m 30s master
master
January 31, 2024 12:45 10m 30s
Add support for variable domains build #55: Pull request #17 synchronize by ondrej33
January 31, 2024 12:29 10m 2s dev-variable-domains
dev-variable-domains
January 31, 2024 12:29 10m 2s
Add support for variable domains build #54: Pull request #17 opened by ondrej33
January 31, 2024 12:13 10m 53s dev-variable-domains
dev-variable-domains
January 31, 2024 12:13 10m 53s
Remove minimal rust version. build #53: Commit 941bc1a pushed by daemontus
December 24, 2023 20:00 8m 5s master
master
December 24, 2023 20:00 8m 5s
Unify the 'display' format and 'parse' format for HctlTreeNode build #52: Commit f785844 pushed by ondrej33
December 23, 2023 10:34 7m 7s master
master
December 23, 2023 10:34 7m 7s
Bump version. build #51: Commit d317d2a pushed by daemontus
December 19, 2023 16:03 7m 29s master
master
December 19, 2023 16:03 7m 29s
Do not require BN when sanitizing. build #50: Commit fedb324 pushed by daemontus
December 19, 2023 16:02 7m 23s master
master
December 19, 2023 16:02 7m 23s
Add basic tests for binder-forall equivalence. build #49: Commit 1384bd4 pushed by ondrej33
December 19, 2023 09:49 7m 27s master
master
December 19, 2023 09:49 7m 27s
Bump version build #48: Commit 23c2c9d pushed by ondrej33
December 18, 2023 20:51 7m 11s master
master
December 18, 2023 20:51 7m 11s
Add missing method for dirty eval of extended formulae. build #47: Commit 4a66189 pushed by ondrej33
December 18, 2023 20:29 7m 5s master
master
December 18, 2023 20:29 7m 5s
Upgrade to latest lib-param-bn. build #46: Commit f5ce2b5 pushed by daemontus
December 18, 2023 15:39 6m 56s master
master
December 18, 2023 15:39 6m 56s
Merge pull request #12 from sybila/update-lib-param-bn build #45: Commit 34eebcb pushed by daemontus
December 18, 2023 15:38 56s master
master
December 18, 2023 15:38 56s
Move sanitization to lib-param-bn build #44: Pull request #12 opened by daemontus
October 18, 2023 14:26 12m 16s update-lib-param-bn
update-lib-param-bn
October 18, 2023 14:26 12m 16s
Move sanitization to lib-param-bn. build #43: Commit 8d8f148 pushed by daemontus
October 18, 2023 14:17 11m 54s update-lib-param-bn
update-lib-param-bn
October 18, 2023 14:17 11m 54s
Add support for wild-card propositions (#9) build #42: Commit 5dc65a5 pushed by ondrej33
September 22, 2023 15:51 10m 32s master
master
September 22, 2023 15:51 10m 32s
Add support for wild-card propositions build #41: Pull request #9 synchronize by ondrej33
September 22, 2023 15:33 10m 40s wild-card-propositions
wild-card-propositions
September 22, 2023 15:33 10m 40s
Remove unused githooks build #40: Commit 87b0f40 pushed by ondrej33
September 22, 2023 15:33 12m 17s wild-card-propositions
wild-card-propositions
September 22, 2023 15:33 12m 17s
Add support for wild-card propositions build #39: Pull request #9 synchronize by ondrej33
September 22, 2023 12:13 10m 18s wild-card-propositions
wild-card-propositions
September 22, 2023 12:13 10m 18s
Downgrade termcolor dependency for compatibility build #38: Commit 3c7f47a pushed by ondrej33
September 22, 2023 12:13 12m 5s wild-card-propositions
wild-card-propositions
September 22, 2023 12:13 12m 5s
Add support for wild-card propositions build #37: Pull request #9 synchronize by ondrej33
September 22, 2023 12:10 12m 53s wild-card-propositions
wild-card-propositions
September 22, 2023 12:10 12m 53s
Downgrade clap dependency for compatibility build #36: Commit 95674fc pushed by ondrej33
September 22, 2023 12:10 11m 24s wild-card-propositions
wild-card-propositions
September 22, 2023 12:10 11m 24s
Add support for wild-card propositions build #35: Pull request #9 opened by ondrej33
September 22, 2023 10:13 10m 39s wild-card-propositions
wild-card-propositions
September 22, 2023 10:13 10m 39s