Skip to content

Actions: sybila/biodivine-lib-param-bn

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable fully symbolic network reduction build #202: Pull request #53 synchronize by daemontus
December 13, 2023 16:48 3m 56s dev-symbolic-reduction
dev-symbolic-reduction
December 13, 2023 16:48 3m 56s
Enable fully symbolic network reduction build #201: Pull request #53 synchronize by daemontus
December 13, 2023 13:43 3m 55s dev-symbolic-reduction
dev-symbolic-reduction
December 13, 2023 13:43 3m 55s
Enable fully symbolic network reduction build #200: Pull request #53 opened by daemontus
December 13, 2023 13:40 2m 7s dev-symbolic-reduction
dev-symbolic-reduction
December 13, 2023 13:40 2m 7s
Computation of minimal trap spaces (#51) build #199: Commit 1070fc3 pushed by daemontus
December 13, 2023 10:42 3m 52s master
master
December 13, 2023 10:42 3m 52s
Computation of minimal trap spaces build #198: Pull request #51 synchronize by daemontus
December 13, 2023 10:28 3m 57s dev-trap-spaces-2
dev-trap-spaces-2
December 13, 2023 10:28 3m 57s
Computation of minimal trap spaces build #197: Pull request #51 synchronize by daemontus
December 13, 2023 10:20 5m 34s dev-trap-spaces-2
dev-trap-spaces-2
December 13, 2023 10:20 5m 34s
Computation of minimal trap spaces build #196: Pull request #51 synchronize by daemontus
December 12, 2023 19:07 4m 0s dev-trap-spaces-2
dev-trap-spaces-2
December 12, 2023 19:07 4m 0s
Allow nested calls to uninterpreted functions (#52) build #195: Commit 60ea437 pushed by daemontus
December 12, 2023 18:48 3m 51s master
master
December 12, 2023 18:48 3m 51s
Allow nested calls to uninterpreted functions build #194: Pull request #52 synchronize by daemontus
December 12, 2023 18:41 3m 49s dev-nested-uninterpreted-functions
dev-nested-uninterpreted-functions
December 12, 2023 18:41 3m 49s
Allow nested calls to uninterpreted functions build #193: Pull request #52 synchronize by daemontus
December 12, 2023 18:06 3m 45s dev-nested-uninterpreted-functions
dev-nested-uninterpreted-functions
December 12, 2023 18:06 3m 45s
Allow nested calls to uninterpreted functions build #192: Pull request #52 synchronize by daemontus
December 12, 2023 14:58 3m 50s dev-nested-uninterpreted-functions
dev-nested-uninterpreted-functions
December 12, 2023 14:58 3m 50s
Allow nested calls to uninterpreted functions build #191: Pull request #52 synchronize by daemontus
December 10, 2023 17:45 3m 34s dev-nested-uninterpreted-functions
dev-nested-uninterpreted-functions
December 10, 2023 17:45 3m 34s
Allow nested calls to uninterpreted functions build #190: Pull request #52 opened by daemontus
December 10, 2023 17:41 1m 9s dev-nested-uninterpreted-functions
dev-nested-uninterpreted-functions
December 10, 2023 17:41 1m 9s
Computation of minimal trap spaces build #189: Pull request #51 synchronize by daemontus
November 29, 2023 20:13 3m 51s dev-trap-spaces-2
dev-trap-spaces-2
November 29, 2023 20:13 3m 51s
Computation of minimal trap spaces build #188: Pull request #51 opened by daemontus
November 29, 2023 20:08 1m 16s dev-trap-spaces-2
dev-trap-spaces-2
November 29, 2023 20:08 1m 16s
Refactor regulation constraint handling into separate utility methods. build #187: Commit 354cd36 pushed by daemontus
October 28, 2023 02:57 5m 23s master
master
October 28, 2023 02:57 5m 23s
Add a test which demonstrates how to implement dual encoding of updat… build #186: Commit 97640cc pushed by daemontus
October 27, 2023 15:00 5m 40s master
master
October 27, 2023 15:00 5m 40s
Bump version. build #185: Commit 0054a4a pushed by daemontus
October 18, 2023 13:26 6m 24s 0.4.0
0.4.0
October 18, 2023 13:26 6m 24s
Add option to "transfer" symbolic sets between different symbolic con… build #184: Commit 06ae1b2 pushed by daemontus
October 18, 2023 13:25 5m 18s master
master
October 18, 2023 13:25 5m 18s
Add option to "transfer" symbolic sets between different symbolic con… build #183: Commit 54d2fd2 pushed by daemontus
October 18, 2023 13:25 1m 34s master
master
October 18, 2023 13:25 1m 34s
Update dependencies. build #182: Commit d90803c pushed by daemontus
October 18, 2023 09:15 5m 36s master
master
October 18, 2023 09:15 5m 36s
Bump version. build #181: Commit 8ad7a0e pushed by daemontus
October 17, 2023 20:07 4m 50s 0.4.0
0.4.0
October 17, 2023 20:07 4m 50s
Add inline_variable function. build #180: Commit 20740a0 pushed by daemontus
October 17, 2023 19:58 4m 45s master
master
October 17, 2023 19:58 4m 45s
Update rust version in CI and fix typo. build #179: Commit 63de65f pushed by daemontus
September 22, 2023 14:08 5m 35s master
master
September 22, 2023 14:08 5m 35s
deps: Update to z3 0.12. (#46) build #178: Commit 5e6fe53 pushed by daemontus
July 24, 2023 06:56 5m 50s master
master
July 24, 2023 06:56 5m 50s