Skip to content

Actions: booleworks/logicng-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated to latest ProtoBuf version Deploy LogicNG to the Maven Package Registry #37: Commit f0e00a2 pushed by czengler
September 15, 2024 20:48 1m 10s main
main
September 15, 2024 20:48 1m 10s
Moved test files Build and Test LogicNG on different Operating Systems #103: Commit 27c34fd pushed by czengler
September 13, 2024 12:29 7m 14s main
main
September 13, 2024 12:29 7m 14s
Moved test files Deploy LogicNG to the Maven Package Registry #36: Commit 27c34fd pushed by czengler
September 13, 2024 12:29 1m 10s main
main
September 13, 2024 12:29 1m 10s
Fixed a small bug in resetting the PG transformator Deploy LogicNG to the Maven Package Registry #35: Commit 0eeb6d0 pushed by czengler
September 12, 2024 19:10 57s main
main
September 12, 2024 19:10 57s
Fixed a small bug in resetting the PG transformator Build and Test LogicNG on different Operating Systems #102: Commit 0eeb6d0 pushed by czengler
September 12, 2024 19:10 5m 57s main
main
September 12, 2024 19:10 5m 57s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #101: Pull request #2 synchronize by czengler
September 12, 2024 15:56 5m 21s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 15:56 5m 21s
Fixed a small bug in resetting the PG transformator Build and Test LogicNG on different Operating Systems #100: Commit 0eeb6d0 pushed by czengler
September 12, 2024 15:56 5m 51s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 15:56 5m 51s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #99: Pull request #2 synchronize by czengler
September 12, 2024 15:23 5m 23s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 15:23 5m 23s
More MaxSAT simplifications Build and Test LogicNG on different Operating Systems #98: Commit 130016f pushed by czengler
September 12, 2024 15:23 6m 7s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 15:23 6m 7s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #97: Pull request #2 synchronize by czengler
September 12, 2024 12:36 5m 38s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 12:36 5m 38s
Many MaxSAT refactorings Build and Test LogicNG on different Operating Systems #96: Commit 1497dbe pushed by czengler
September 12, 2024 12:36 5m 28s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 12, 2024 12:36 5m 28s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #95: Pull request #2 synchronize by czengler
September 11, 2024 22:10 5m 24s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 22:10 5m 24s
Adjusted PG transformation construction in MaxSAT solver Build and Test LogicNG on different Operating Systems #94: Commit 114a754 pushed by czengler
September 11, 2024 22:10 5m 27s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 22:10 5m 27s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #93: Pull request #2 synchronize by SHildebrandt
September 11, 2024 10:19 7m 6s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 10:19 7m 6s
merge DnnfFactory into DnnfCompiler Build and Test LogicNG on different Operating Systems #92: Commit 0eb2903 pushed by SHildebrandt
September 11, 2024 10:19 5m 28s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 10:19 5m 28s
Feature/maxsat incremental interface Build and Test LogicNG on different Operating Systems #91: Pull request #2 opened by czengler
September 11, 2024 08:57 5m 14s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 08:57 5m 14s
Merge branch 'main' into feature/maxsat-incremental-interface Build and Test LogicNG on different Operating Systems #90: Commit 68f49ac pushed by czengler
September 11, 2024 08:57 5m 28s feature/maxsat-incremental-interface
feature/maxsat-incremental-interface
September 11, 2024 08:57 5m 28s
Minor refactorings and corrected typos Build and Test LogicNG on different Operating Systems #89: Commit 45448d9 pushed by czengler
September 11, 2024 06:54 5m 27s main
main
September 11, 2024 06:54 5m 27s
Minor refactorings and corrected typos Deploy LogicNG to the Maven Package Registry #34: Commit 45448d9 pushed by czengler
September 11, 2024 06:54 56s main
main
September 11, 2024 06:54 56s
Merge branch 'main' into feature/small-refactorings Build and Test LogicNG on different Operating Systems #88: Commit a8cea43 pushed by czengler
September 11, 2024 06:35 5m 1s feature/small-refactorings
feature/small-refactorings
September 11, 2024 06:35 5m 1s
Merge pull request #1 from booleworks/feature/javacc-parser Deploy LogicNG to the Maven Package Registry #33: Commit de4fda5 pushed by czengler
September 11, 2024 06:20 1m 7s main
main
September 11, 2024 06:20 1m 7s
Merge pull request #1 from booleworks/feature/javacc-parser Build and Test LogicNG on different Operating Systems #87: Commit de4fda5 pushed by czengler
September 11, 2024 06:20 5m 13s main
main
September 11, 2024 06:20 5m 13s
Feature/javacc parser Build and Test LogicNG on different Operating Systems #86: Pull request #1 opened by czengler
September 10, 2024 20:41 5m 51s feature/javacc-parser
feature/javacc-parser
September 10, 2024 20:41 5m 51s
Merge branch 'main' into feature/javacc-parser Build and Test LogicNG on different Operating Systems #85: Commit 0c67c29 pushed by czengler
September 10, 2024 20:37 5m 55s feature/javacc-parser
feature/javacc-parser
September 10, 2024 20:37 5m 55s
Removed some minor code smells Deploy LogicNG to the Maven Package Registry #32: Commit e8896ee pushed by czengler
September 10, 2024 20:19 58s main
main
September 10, 2024 20:19 58s