Skip to content

Actions: logic-ng/LogicNG

Actions

.github/workflows/mattermost.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: OLL based SMUS computation .github/workflows/mattermost.yml #90: Commit 548cf3b pushed by rouven-walter
July 12, 2024 09:20 14s feature/oll-based-smus
feature/oll-based-smus
July 12, 2024 09:20 14s
Merge pull request #50 from franzmathauser/release/j11-bump-antlr-ver… .github/workflows/mattermost.yml #89: Commit c7459d1 pushed by SHildebrandt
January 29, 2024 13:53 34s release/j11
release/j11
January 29, 2024 13:53 34s
Updated antlr dependencies from 4.9.3 to 4.13.1. .github/workflows/mattermost.yml #88: Pull request #50 opened by franzmathauser
January 25, 2024 13:46 36s franzmathauser:release/j11-bump-antlr-version
franzmathauser:release/j11-bump-antlr-version
January 25, 2024 13:46 36s
finished first version of DNNF projected model enumeration .github/workflows/mattermost.yml #86: Commit ef1a693 pushed by SHildebrandt
January 22, 2024 16:28 38s feature/dnnf-model-enumeration
feature/dnnf-model-enumeration
January 22, 2024 16:28 38s
WIP Model Enumeration of DNNF .github/workflows/mattermost.yml #85: Commit 66bec63 pushed by SHildebrandt
January 18, 2024 17:00 36s feature/dnnf-model-enumeration
feature/dnnf-model-enumeration
January 18, 2024 17:00 36s
new public method UBTree#generateSubsumedUBTree to generate a subsume… .github/workflows/mattermost.yml #84: Commit 7c8c8d1 pushed by rouven-walter
August 29, 2023 22:05 52s feature/ubtree-empty-set
feature/ubtree-empty-set
August 29, 2023 22:05 52s
remove unused parameter from UBTree#getAllNodesContainingElementsLess… .github/workflows/mattermost.yml #83: Commit 2399dc7 pushed by rouven-walter
August 29, 2023 21:08 1m 3s feature/ubtree-empty-set
feature/ubtree-empty-set
August 29, 2023 21:08 1m 3s