Skip to content

Actions: sybila/biodivine-lib-logical-models

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: intersecting with unit set always good -> predecessors new dumb … build #136: Commit c2a44b0 pushed by chudicek
December 11, 2023 20:33 2m 45s rewrite
rewrite
December 11, 2023 20:33 2m 45s
fix: .rev() -> renaming in smart preds ok -> old & new preds consistent build #135: Commit 1f9bb24 pushed by chudicek
December 11, 2023 20:25 2m 43s rewrite
rewrite
December 11, 2023 20:25 2m 43s
fix: nvm; previous cannot be compiled build #134: Commit 2efc842 pushed by chudicek
December 11, 2023 19:58 2m 39s rewrite
rewrite
December 11, 2023 19:58 2m 39s
fix: no words... build #133: Commit 13a3dfb pushed by chudicek
December 11, 2023 19:55 1m 30s rewrite
rewrite
December 11, 2023 19:55 1m 30s
fix: this somehow fixed successors, do not ask me build #132: Commit f89ff2b pushed by chudicek
December 11, 2023 19:00 2m 46s rewrite
rewrite
December 11, 2023 19:00 2m 46s
fix: removed primed domains from unit set in new smart; still some bu… build #131: Commit 7d3b920 pushed by chudicek
December 11, 2023 14:54 2m 40s rewrite
rewrite
December 11, 2023 14:54 2m 40s
feat: added some tests revealing problems build #130: Commit c21d8d8 pushed by chudicek
December 10, 2023 23:55 2m 46s rewrite
rewrite
December 10, 2023 23:55 2m 46s
refactor: removed useless tests build #129: Commit 7979026 pushed by chudicek
December 10, 2023 22:54 2m 40s rewrite
rewrite
December 10, 2023 22:54 2m 40s
fix: synced system_update_fn transitions with smart_system_update_fn build #128: Commit 719ae38 pushed by chudicek
December 10, 2023 22:44 2m 35s rewrite
rewrite
December 10, 2023 22:44 2m 35s
fix: synced system_update_fn transitions with smart_system_update_fn build #127: Commit 61ac1cf pushed by chudicek
December 10, 2023 22:17 27s main
main
December 10, 2023 22:17 27s
feat: simpler way to test all 4 impls in sync build #126: Commit 5dee5fe pushed by chudicek
December 10, 2023 03:38 2m 34s rewrite
rewrite
December 10, 2023 03:38 2m 34s
refactor: ready to implement tests build #125: Commit 1668e32 pushed by chudicek
December 9, 2023 19:35 2m 34s rewrite
rewrite
December 9, 2023 19:35 2m 34s
refactor: xml parsing works build #124: Commit 0e0eced pushed by chudicek
December 9, 2023 17:38 2m 39s rewrite
rewrite
December 9, 2023 17:38 2m 39s
refactor: a way of constructing all update fns build #123: Commit 722e57e pushed by chudicek
December 9, 2023 14:53 2m 38s rewrite
rewrite
December 9, 2023 14:53 2m 38s
refactor: unary integer domain *ReImaGiNed* build #122: Commit 644072f pushed by chudicek
December 9, 2023 13:34 2m 39s rewrite
rewrite
December 9, 2023 13:34 2m 39s
fix: smart update function now requires no tick (prime symbol) present build #121: Commit 9ea3819 pushed by chudicek
December 9, 2023 06:14 2m 36s rewrite
rewrite
December 9, 2023 06:14 2m 36s
docs: some todos i do not want to do now build #120: Commit 7380387 pushed by chudicek
December 9, 2023 06:06 2m 46s rewrite
rewrite
December 9, 2023 06:06 2m 46s
refactor: proper handling/storing of primed variables and domains build #119: Commit 641f56b pushed by chudicek
December 9, 2023 05:52 2m 39s rewrite
rewrite
December 9, 2023 05:52 2m 39s
refactor: system update fn smart succs & preds build #118: Commit d6fb802 pushed by chudicek
December 7, 2023 19:17 2m 34s rewrite
rewrite
December 7, 2023 19:17 2m 34s
refactor: system update fn smart from variable update fns build #117: Commit 87d6f26 pushed by chudicek
December 7, 2023 18:35 1m 23s rewrite
rewrite
December 7, 2023 18:35 1m 23s
refactor: udpate fn predecessors build #116: Commit f12067a pushed by chudicek
December 7, 2023 15:57 2m 22s rewrite
rewrite
December 7, 2023 15:57 2m 22s
refactor: udpate fn successors build #115: Commit e860f52 pushed by chudicek
December 7, 2023 14:40 2m 24s rewrite
rewrite
December 7, 2023 14:40 2m 24s
refactor: moved function where it belongs build #114: Commit 24b1e9a pushed by chudicek
December 7, 2023 11:17 2m 16s rewrite
rewrite
December 7, 2023 11:17 2m 16s
docs: renamed variable & reasoned about seemingly useless code build #113: Commit 9a46a5d pushed by chudicek
December 7, 2023 11:14 2m 25s rewrite
rewrite
December 7, 2023 11:14 2m 25s
refactor: one more part of system update fn build #112: Commit 924a5aa pushed by chudicek
December 7, 2023 10:38 2m 22s rewrite
rewrite
December 7, 2023 10:38 2m 22s