Skip to content

Actions: sybila/biodivine-lib-logical-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: less wrong than previous but still wrong & needs debugging build #61: Commit 22a808c pushed by chudicek
October 24, 2023 16:09 6m 16s main
main
October 24, 2023 16:09 6m 16s
feat: this needs debugging build #60: Commit d262349 pushed by chudicek
October 24, 2023 15:25 6m 13s main
main
October 24, 2023 15:25 6m 13s
feat: hopefully the structre of brute-force symbolic successor comput… build #59: Commit 3288104 pushed by chudicek
October 24, 2023 12:11 5m 14s main
main
October 24, 2023 12:11 5m 14s
feat: symbolic successors; need to test build #58: Commit 9a7e64e pushed by chudicek
October 22, 2023 15:38 5m 9s main
main
October 22, 2023 15:38 5m 9s
feat: loading the whole SmartSystemUpdateFn build #57: Commit 0c9dc9c pushed by chudicek
October 22, 2023 14:49 5m 10s main
main
October 22, 2023 14:49 5m 10s
fix: properly differentiating names -> able to construct the iff form… build #56: Commit 21c3080 pushed by chudicek
October 22, 2023 14:18 5m 14s main
main
October 22, 2023 14:18 5m 14s
feat: got the iff bdd binding prime of a variable to its update fn build #55: Commit 1e9fc63 pushed by chudicek
October 22, 2023 12:53 5m 45s main
main
October 22, 2023 12:53 5m 45s
feat: output from analyzing faulty datasets build #54: Commit 23d5a17 pushed by chudicek
October 21, 2023 15:55 6m 10s faulty-datasets-analyzed
faulty-datasets-analyzed
October 21, 2023 15:55 6m 10s
feat: provided DebugReader printing to stderr when encounters unknown… build #53: Commit 9d8136e pushed by chudicek
October 21, 2023 15:50 5m 39s main
main
October 21, 2023 15:50 5m 39s
feat: provided a way to detect propositions that do not make sense build #52: Commit ceaddcb pushed by chudicek
October 21, 2023 14:14 5m 12s main
main
October 21, 2023 14:14 5m 12s
refactor: removed old way of creating UpdateFnBdd from UpdateFn build #51: Commit 12e9747 pushed by chudicek
October 21, 2023 13:17 5m 10s main
main
October 21, 2023 13:17 5m 10s
docs: added todo build #50: Commit 3f1f3c8 pushed by chudicek
October 12, 2023 09:15 4m 46s main
main
October 12, 2023 09:15 4m 46s
feat: some "testing", still getting errors about unknown variables on… build #49: Commit eab0249 pushed by chudicek
October 8, 2023 15:52 4m 39s main
main
October 8, 2023 15:52 4m 39s
feat: generics in system_update_function allowing for loading the who… build #48: Commit 70fe712 pushed by chudicek
October 8, 2023 14:28 4m 44s main
main
October 8, 2023 14:28 4m 44s
fix: now analyzing all the transitions to get variables max value, al… build #47: Commit 84e397e pushed by chudicek
October 8, 2023 14:14 5m 30s main
main
October 8, 2023 14:14 5m 30s
feat: gray code integer domain; behavior seems ok here too build #46: Commit b8f17b3 pushed by chudicek
October 8, 2023 12:09 9m 36s main
main
October 8, 2023 12:09 9m 36s
feat: binary integer domain; behavior seems ok on first glance build #45: Commit e1230c8 pushed by chudicek
October 8, 2023 11:28 10m 26s main
main
October 8, 2023 11:28 10m 26s
fix: lol nvm just the test used the api wrong, everything ok now build #44: Commit f9b8c2c pushed by chudicek
October 8, 2023 10:36 8m 37s main
main
October 8, 2023 10:36 8m 37s
refactor: last clippy thing, at least for tonight build #43: Commit 75ace30 pushed by chudicek
October 7, 2023 23:13 9m 38s main
main
October 7, 2023 23:13 9m 38s
feat: petri net symbolic domain; todo need to test & make system_upda… build #42: Commit 8cfb340 pushed by chudicek
October 7, 2023 23:06 8m 42s main
main
October 7, 2023 23:06 8m 42s
refactor: more clippy build #41: Commit 2a833d2 pushed by chudicek
October 7, 2023 22:27 8m 33s main
main
October 7, 2023 22:27 8m 33s
refactor: hopefully pipeline gud now build #40: Commit a495767 pushed by chudicek
October 7, 2023 22:11 9m 27s main
main
October 7, 2023 22:11 9m 27s
feat: successors build #39: Commit a2d0229 pushed by chudicek
October 7, 2023 21:47 4m 28s main
main
October 7, 2023 21:47 4m 28s
feat: capable of getting successor for given valuation under specific… build #38: Commit 268da71 pushed by chudicek
October 7, 2023 20:29 4m 42s main
main
October 7, 2023 20:29 4m 42s
feat: built whole system's update fn from xml; no idea if it works co… build #37: Commit bf447fe pushed by chudicek
October 7, 2023 19:32 4m 32s main
main
October 7, 2023 19:32 4m 32s