Skip to content

Actions: sybila/biodivine-lib-bdd

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump version. build #104: Commit 1e95f83 pushed by daemontus
December 20, 2023 19:20 2m 0s master
master
December 20, 2023 19:20 2m 0s
Bump version. build #103: Commit 78e6928 pushed by daemontus
December 20, 2023 15:35 2m 6s master
master
December 20, 2023 15:35 2m 6s
Fix a bug with introducing unnecessary nodes in Bdd.exists and rela… build #102: Commit 821cf8d pushed by daemontus
December 14, 2023 16:34 1m 57s master
master
December 14, 2023 16:34 1m 57s
Allow exploring the internal BDD structure. build #101: Commit 461e607 pushed by daemontus
December 1, 2023 15:12 2m 4s master
master
December 1, 2023 15:12 2m 4s