Skip to content

Actions: sybila/biodivine-lib-param-bn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version. build #215: Commit f1c7df7 pushed by daemontus
December 20, 2023 09:25 4m 17s 0.5.0
0.5.0
December 20, 2023 09:25 4m 17s
Parameter introspection on SymbolicContext. build #214: Commit d352b20 pushed by daemontus
December 20, 2023 09:24 3m 53s master
master
December 20, 2023 09:24 3m 53s
Bump version. build #213: Commit 6ad3002 pushed by daemontus
December 19, 2023 15:25 4m 5s 0.5.0
0.5.0
December 19, 2023 15:25 4m 5s
Add the ability to create "canonical symbolic contexts". (#56) build #212: Commit 319ba29 pushed by daemontus
December 19, 2023 13:48 3m 44s master
master
December 19, 2023 13:48 3m 44s
Add the ability to create "canonical symbolic contexts" build #211: Pull request #56 opened by daemontus
December 19, 2023 13:42 4m 4s dev-canonical-context
dev-canonical-context
December 19, 2023 13:42 4m 4s
Reachability method with less overhead (#55) build #210: Commit c5ebee8 pushed by daemontus
December 19, 2023 11:04 3m 44s master
master
December 19, 2023 11:04 3m 44s
Reachability method with less overhead build #209: Pull request #55 synchronize by daemontus
December 19, 2023 10:57 3m 41s dev-faster-reach
dev-faster-reach
December 19, 2023 10:57 3m 41s
Reachability method with less overhead build #208: Pull request #55 opened by daemontus
December 19, 2023 10:48 3m 48s dev-faster-reach
dev-faster-reach
December 19, 2023 10:48 3m 48s
Set initial version for 0.5.0 branch. build #207: Commit 4454841 pushed by daemontus
December 13, 2023 18:06 3m 52s 0.5.0
0.5.0
December 13, 2023 18:06 3m 52s
Bump library version. build #206: Commit 2503d58 pushed by daemontus
December 13, 2023 18:05 3m 54s master
master
December 13, 2023 18:05 3m 54s
Add basic percolation method. build #205: Commit d4f1d35 pushed by daemontus
December 13, 2023 18:00 3m 48s master
master
December 13, 2023 18:00 3m 48s
Enable fully symbolic network reduction (#53) build #204: Commit 061d396 pushed by daemontus
December 13, 2023 17:30 4m 1s master
master
December 13, 2023 17:30 4m 1s
Enable fully symbolic network reduction build #203: Pull request #53 synchronize by daemontus
December 13, 2023 17:12 4m 10s dev-symbolic-reduction
dev-symbolic-reduction
December 13, 2023 17:12 4m 10s
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