Skip to content

Actions: sybila/biodivine-hctl-model-checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extending HCTL syntax (#19) build #64: Commit e49acf2 pushed by ondrej33
November 7, 2024 17:47 6m 30s master
master
November 7, 2024 17:47 6m 30s
Extending HCTL syntax build #63: Pull request #19 opened by ondrej33
November 7, 2024 17:36 6m 29s syntax_update
syntax_update
November 7, 2024 17:36 6m 29s
Update syntax details in readme. build #62: Commit c71446f pushed by ondrej33
November 7, 2024 17:25 6m 34s syntax_update
syntax_update
November 7, 2024 17:25 6m 34s
Update CI. build #61: Commit e4b86b6 pushed by ondrej33
October 29, 2024 19:59 6m 35s syntax_update
syntax_update
October 29, 2024 19:59 6m 35s
Bump Rust version in CI. build #60: Commit f47e8de pushed by ondrej33
October 29, 2024 15:07 3m 12s syntax_update
syntax_update
October 29, 2024 15:07 3m 12s
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