Skip to content

Actions: sybila/biodivine-lib-bdd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add serde support to BddValuation, BddPartialValuation and `Bdd… build #129: Commit de91767 pushed by daemontus
May 15, 2024 14:43 2m 33s master
master
May 15, 2024 14:43 2m 33s
Merge pull request #54 from zao111222333/master build #128: Commit c0aabb2 pushed by daemontus
May 15, 2024 14:39 2m 21s master
master
May 15, 2024 14:39 2m 21s
support serde serialize/deserialize for BooleanExpression & Bdd build #127: Pull request #54 opened by zao111222333
May 15, 2024 10:49 2m 28s master
master
May 15, 2024 10:49 2m 28s
Bump version. build #126: Commit 249c905 pushed by daemontus
May 13, 2024 08:03 2m 11s master
master
May 13, 2024 08:03 2m 11s
Bump version. build #125: Commit 358c22e pushed by daemontus
May 10, 2024 09:31 2m 10s master
master
May 10, 2024 09:31 2m 10s
Update CI upload action. build #124: Commit 5733973 pushed by daemontus
May 9, 2024 19:02 2m 16s master
master
May 9, 2024 19:02 2m 16s
Bump version. build #123: Commit 5dcab7b pushed by daemontus
May 9, 2024 18:58 2m 4s master
master
May 9, 2024 18:58 2m 4s
Bump version. build #122: Commit 737ab9d pushed by daemontus
April 3, 2024 07:05 2m 15s master
master
April 3, 2024 07:05 2m 15s
Merge pull request #53 from zao111222333/master build #121: Commit 40b2f72 pushed by daemontus
April 3, 2024 06:53 2m 8s master
master
April 3, 2024 06:53 2m 8s
Support Conditional ternary operator build #120: Pull request #53 synchronize by zao111222333
April 3, 2024 03:29 2m 8s master
master
April 3, 2024 03:29 2m 8s
Support Conditional ternary operator build #119: Pull request #53 opened by zao111222333
April 2, 2024 13:05 31s master
master
April 2, 2024 13:05 31s
Update CI. build #118: Commit da57ff9 pushed by daemontus
March 15, 2024 16:10 2m 7s master
master
March 15, 2024 16:10 2m 7s
Bump version. build #117: Commit b302d5a pushed by daemontus
March 15, 2024 16:07 2m 7s master
master
March 15, 2024 16:07 2m 7s
Bump version. build #116: Commit 9acdab7 pushed by daemontus
February 14, 2024 15:41 2m 6s master
master
February 14, 2024 15:41 2m 6s
Add a generic version of BddVariableSet that can use custom types a… build #115: Commit 2fff019 pushed by daemontus
February 14, 2024 14:14 2m 11s generic-bdd-variable-set
generic-bdd-variable-set
February 14, 2024 14:14 2m 11s
Merge pull request #51 from sybila/new-restrict build #114: Commit 63c32dd pushed by daemontus
February 14, 2024 13:31 2m 9s master
master
February 14, 2024 13:31 2m 9s
A faster restriction algorithm. build #113: Pull request #51 opened by daemontus
February 14, 2024 13:29 2m 8s new-restrict
new-restrict
February 14, 2024 13:29 2m 8s
Add an "optimized DNF" translation (slower, but gives smaller DNFs). build #112: Commit 209a9fb pushed by daemontus
February 14, 2024 13:28 2m 22s master
master
February 14, 2024 13:28 2m 22s
A faster restriction algorithm. build #111: Commit ce8ea07 pushed by daemontus
February 14, 2024 13:28 2m 14s new-restrict
new-restrict
February 14, 2024 13:28 2m 14s
Just applying recommendations from the new spell checker. build #110: Commit 13af8e4 pushed by daemontus
February 14, 2024 11:58 1m 56s master
master
February 14, 2024 11:58 1m 56s
Merge pull request #47 from SSoelvsten/patch-1 build #109: Commit adee09c pushed by daemontus
January 26, 2024 13:05 1m 51s master
master
January 26, 2024 13:05 1m 51s
Extend and Fix bibtex data build #108: Pull request #47 opened by SSoelvsten
January 26, 2024 12:41 1m 53s SSoelvsten:patch-1
SSoelvsten:patch-1
January 26, 2024 12:41 1m 53s
Bump version. build #107: Commit 8ebb23d pushed by daemontus
January 23, 2024 17:12 1m 59s master
master
January 23, 2024 17:12 1m 59s
Fix a minor bug with handling of constants in mk_cnf and mk_dnf. build #106: Commit b06beed pushed by daemontus
January 23, 2024 17:10 2m 7s master
master
January 23, 2024 17:10 2m 7s
Bump version. build #105: Commit 0f7d561 pushed by daemontus
December 24, 2023 12:33 1m 53s master
master
December 24, 2023 12:33 1m 53s