Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: formatting CI #270: Commit 6c7141a pushed by uulm-janbaudisch
April 3, 2024 13:17 19m 3s parallel-t-wise
parallel-t-wise
April 3, 2024 13:17 19m 3s
feat(dependencies): update CI #269: Commit 78d3c48 pushed by uulm-janbaudisch
April 3, 2024 13:16 22m 35s update-dependencies
update-dependencies
April 3, 2024 13:16 22m 35s
feat: move parallel iterators behind feature CI #268: Commit ef3c7fc pushed by uulm-janbaudisch
April 3, 2024 12:20 19m 28s parallel-t-wise
parallel-t-wise
April 3, 2024 12:20 19m 28s
feat: move parallel iterators behind feature CI #267: Commit 654543c pushed by uulm-janbaudisch
April 3, 2024 12:14 18m 57s parallel-t-wise
parallel-t-wise
April 3, 2024 12:14 18m 57s
feat: move parallel iterators behind feature CI #266: Commit 7c4863f pushed by uulm-janbaudisch
April 3, 2024 12:14 19m 14s parallel-t-wise
parallel-t-wise
April 3, 2024 12:14 19m 14s
feat(t-wise sampling): use parallel iterators CI #265: Commit 317dd2b pushed by uulm-janbaudisch
March 30, 2024 19:47 54s parallel-t-wise
parallel-t-wise
March 30, 2024 19:47 54s
fixed merge issues CI #264: Commit 0de109a pushed by raabh
February 6, 2024 19:15 19m 1s v0.7.0
v0.7.0
February 6, 2024 19:15 19m 1s
fixed merge issues CI #263: Commit 0de109a pushed by raabh
February 6, 2024 18:25 19m 28s main
main
February 6, 2024 18:25 19m 28s
incremented version number CI #262: Commit e7e3522 pushed by raabh
February 5, 2024 15:41 15m 20s main
main
February 5, 2024 15:41 15m 20s
Merge pull request #5 from uulm-janbaudisch/d4-oxide CI #261: Commit e3e60d5 pushed by raabh
February 5, 2024 15:11 19m 53s dev
dev
February 5, 2024 15:11 19m 53s
Replace d4 binary with d4-oxide CI #260: Pull request #5 by uulm-janbaudisch
January 25, 2024 11:48 Failure d4-oxide-3
d4-oxide-3
January 25, 2024 11:48 Failure
Merge branch 'partial_derivatives' into dev CI #259: Commit abfaa71 pushed by raabh
January 17, 2024 12:16 11m 15s dev
dev
January 17, 2024 12:16 11m 15s
added support for saving CNFs during stream mode CI #258: Commit 25151da pushed by raabh
January 17, 2024 10:56 9m 51s dev
dev
January 17, 2024 10:56 9m 51s
added support for saving CNFs during stream mode CI #257: Commit 25151da pushed by raabh
January 16, 2024 20:49 10m 0s basic-support-incremental-adaptation
basic-support-incremental-adaptation
January 16, 2024 20:49 10m 0s
added handling for duplicate commands and parameters in stream mode CI #256: Commit 5d411d8 pushed by raabh
January 3, 2024 10:43 10m 14s basic-support-incremental-adaptation
basic-support-incremental-adaptation
January 3, 2024 10:43 10m 14s
removed debugging output and improved benchmarking CI #255: Commit 9084b24 pushed by raabh
December 8, 2023 15:08 10m 4s simple-incremental-adaptation
simple-incremental-adaptation
December 8, 2023 15:08 10m 4s
removed multi threading for cardinality of features CI #254: Commit cdccdc4 pushed by raabh
December 8, 2023 15:06 11m 28s partial_derivatives
partial_derivatives
December 8, 2023 15:06 11m 28s
removed debugging output and improved benchmarking CI #253: Commit 9084b24 pushed by raabh
December 8, 2023 15:01 12m 27s incremental-adaptation
incremental-adaptation
December 8, 2023 15:01 12m 27s
feat(parser): replace d4 binary with d4-oxide CI #252: Commit a27e272 pushed by uulm-janbaudisch
December 3, 2023 14:11 6m 59s d4-oxide
d4-oxide
December 3, 2023 14:11 6m 59s
simplified DdnnfGraph by removing weighted edges CI #251: Commit 87cb160 pushed by raabh
October 20, 2023 11:04 15m 23s incremental-adaptation
incremental-adaptation
October 20, 2023 11:04 15m 23s