Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
868 workflow runs
868 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reverted latest changes and restructured test cases for faster runtime CI #239: Commit aeadb35 pushed by raabh
September 11, 2023 19:14 15m 50s incremental-adaptation
incremental-adaptation
September 11, 2023 19:14 15m 50s
applied formatting; added categorization of used technique for recomp… CI #238: Commit 07682c9 pushed by raabh
September 6, 2023 20:46 6h 0m 28s incremental-adaptation
incremental-adaptation
September 6, 2023 20:46 6h 0m 28s
added access to cross atomic sets and adjusted the documentation CI #237: Commit e920006 pushed by raabh
August 28, 2023 18:36 9m 44s atomicsets-cross-detection
atomicsets-cross-detection
August 28, 2023 18:36 9m 44s
added union find test case CI #236: Commit 9885c83 pushed by raabh
August 26, 2023 12:41 16m 46s atomicsets-cross-detection
atomicsets-cross-detection
August 26, 2023 12:41 16m 46s
fix(d4v2 wrapper): use temporary file for d4 binary CI #235: Commit cef5331 pushed by uulm-janbaudisch
August 25, 2023 16:12 14m 18s 3-running-d4-is-not-thread-safe
3-running-d4-is-not-thread-safe
August 25, 2023 16:12 14m 18s
Merge pull request #2 from SoftVarE-Group/formatting CI #234: Commit 4fd826c pushed by uulm-janbaudisch
August 25, 2023 16:02 19m 0s 3-running-d4-is-not-thread-safe
3-running-d4-is-not-thread-safe
August 25, 2023 16:02 19m 0s
added on workflow dispatch to CI.yml CI #233: Commit 1f14c88 pushed by uulm-janbaudisch
August 25, 2023 15:58 8m 39s 3-running-d4-is-not-thread-safe
3-running-d4-is-not-thread-safe
August 25, 2023 15:58 8m 39s
Merge pull request #2 from SoftVarE-Group/formatting CI #232: Commit 4fd826c pushed by raabh
August 22, 2023 10:58 17m 31s dev
dev
August 22, 2023 10:58 17m 31s
feat(crate): format code using rustfmt CI #231: Commit 5937e8e pushed by uulm-janbaudisch
August 21, 2023 20:35 15m 22s formatting
formatting
August 21, 2023 20:35 15m 22s
applied clippy suggestions and removed outdated 'clippy.toml' CI #230: Commit 0ad90d1 pushed by raabh
August 21, 2023 19:31 13m 26s dev
dev
August 21, 2023 19:31 13m 26s
Merge pull request #1 from SoftVarE-Group/update-dependencies CI #229: Commit c3ab8d1 pushed by raabh
August 21, 2023 18:50 15m 22s dev
dev
August 21, 2023 18:50 15m 22s
refactor(crate): format code using rustfmt CI #228: Commit 097efbc pushed by uulm-janbaudisch
August 21, 2023 15:54 17m 37s formatting
formatting
August 21, 2023 15:54 17m 37s
changed worker threads in parallel stream from busy waiting to park/u… CI #227: Commit 7e1384d pushed by uulm-janbaudisch
August 21, 2023 15:40 18m 22s formatting
formatting
August 21, 2023 15:40 18m 22s
feat(crate): update dependencies to latest versions CI #226: Commit 4bb7783 pushed by uulm-janbaudisch
August 21, 2023 15:35 18m 2s update-dependencies
update-dependencies
August 21, 2023 15:35 18m 2s
feat(crate): update dependencies to latest versions CI #225: Commit c51404d pushed by uulm-janbaudisch
August 21, 2023 15:29 20m 25s update-dependencies
update-dependencies
August 21, 2023 15:29 20m 25s
changed worker threads in parallel stream from busy waiting to park/u… CI #224: Commit 7e1384d pushed by uulm-janbaudisch
August 21, 2023 15:14 18m 22s update-dependencies
update-dependencies
August 21, 2023 15:14 18m 22s
added on workflow dispatch to CI.yml CI #223: Commit 1f14c88 pushed by uulm-janbaudisch
August 21, 2023 15:14 8m 56s update-dependencies
update-dependencies
August 21, 2023 15:14 8m 56s
added correctness check and minor changes to incremental adaption CI #222: Commit 05855a2 pushed by raabh
August 17, 2023 16:32 26m 24s incremental-adaptation
incremental-adaptation
August 17, 2023 16:32 26m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-17 or the other filters available.