Skip to content

Actions: sybila/biodivine-lib-param-bn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A minor bugfix for the cases where variable zero is repeatedly added … build #235: Commit c267750 pushed by daemontus
February 8, 2024 11:59 3m 48s master
master
February 8, 2024 11:59 3m 48s
Bump version. build #234: Commit ada1982 pushed by daemontus
February 7, 2024 17:14 4m 29s 0.5.0
0.5.0
February 7, 2024 17:14 4m 29s
Better feedback vertex set computation (#57) build #233: Commit 44ea59e pushed by daemontus
February 7, 2024 17:13 3m 56s master
master
February 7, 2024 17:13 3m 56s
Better feedback vertex set computation build #232: Pull request #57 opened by daemontus
February 7, 2024 17:08 3m 46s faster-fvs
faster-fvs
February 7, 2024 17:08 3m 46s
An actually correct parity cycle detection. build #231: Commit b2b8543 pushed by daemontus
February 7, 2024 17:04 4m 8s faster-fvs
faster-fvs
February 7, 2024 17:04 4m 8s
Bump version. build #230: Commit 8750453 pushed by daemontus
January 26, 2024 10:03 4m 9s 0.5.0
0.5.0
January 26, 2024 10:03 4m 9s
Update CI checkout version. build #229: Commit 226521f pushed by daemontus
January 26, 2024 10:01 3m 49s master
master
January 26, 2024 10:01 3m 49s
Make TrapSpaces and FixedPoints algorithms interruptible. build #228: Commit b95165b pushed by daemontus
January 26, 2024 09:58 3m 48s master
master
January 26, 2024 09:58 3m 48s
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