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

Ensure parameter variables are sorted within the SymbolicContext. build #227: Commit e93c9ce pushed by daemontus
January 23, 2024 10:03 3m 48s master
master
January 23, 2024 10:03 3m 48s
Bump version. build #226: Commit a957b06 pushed by daemontus
January 17, 2024 14:03 4m 0s 0.5.0
0.5.0
January 17, 2024 14:03 4m 0s
Expand SymbolicContext API w.r.t. implicit parameters. build #225: Commit 6411d23 pushed by daemontus
January 17, 2024 14:03 3m 58s master
master
January 17, 2024 14:03 3m 58s
Typos. build #224: Commit cec6339 pushed by daemontus
January 16, 2024 16:38 3m 59s master
master
January 16, 2024 16:38 3m 59s
Fix invalid expression in and-or-normal-form. build #223: Commit df3e73e pushed by daemontus
January 16, 2024 14:51 3m 49s master
master
January 16, 2024 14:51 3m 49s
Reorder results in mk_conjunction and mk_disjunction to match par… build #222: Commit 10f1153 pushed by daemontus
January 16, 2024 14:40 4m 12s master
master
January 16, 2024 14:40 4m 12s
Fix name resolution bug when renaming parameters. build #221: Commit 8475f24 pushed by daemontus
January 11, 2024 16:17 3m 59s master
master
January 11, 2024 16:17 3m 59s
Resolve ambiguous naming convention for implicit parameters. build #220: Commit 33a9747 pushed by daemontus
January 10, 2024 17:52 4m 11s master
master
January 10, 2024 17:52 4m 11s
Fix a bug in weakly connected components. build #219: Commit 47fd932 pushed by daemontus
January 10, 2024 15:40 3m 57s master
master
January 10, 2024 15:40 3m 57s
Fix non-deterministic independent cycles. build #218: Commit f8a28bc pushed by daemontus
January 10, 2024 15:27 3m 55s master
master
January 10, 2024 15:27 3m 55s
Bump version. build #217: Commit 3b9b8b5 pushed by daemontus
January 9, 2024 17:50 4m 1s 0.5.0
0.5.0
January 9, 2024 17:50 4m 1s
Fix clippy. build #216: Commit 4f5a476 pushed by daemontus
January 9, 2024 17:47 3m 54s master
master
January 9, 2024 17:47 3m 54s
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