Skip to content

Actions: logic-ng/LogicNG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into feature/dnnf-model-enumeration build #483: Commit e2703bd pushed by SHildebrandt
November 21, 2024 09:52 32m 58s feature/dnnf-model-enumeration
feature/dnnf-model-enumeration
November 21, 2024 09:52 32m 58s
Final 2.6.0 build #482: Commit 6fb3568 pushed by czengler
September 10, 2024 12:49 23m 2s v2.6.0
v2.6.0
September 10, 2024 12:49 23m 2s
Merge pull request #55 from logic-ng/development build #481: Commit 47d1db3 pushed by czengler
September 10, 2024 12:48 22m 38s master
master
September 10, 2024 12:48 22m 38s
Development build #480: Pull request #55 opened by czengler
September 10, 2024 12:48 23m 49s development
development
September 10, 2024 12:48 23m 49s
Final 2.6.0 build #479: Commit 6fb3568 pushed by czengler
September 9, 2024 18:30 22m 42s development
development
September 9, 2024 18:30 22m 42s
updated changelog and made some fields private build #478: Commit 567a53f pushed by SHildebrandt
September 9, 2024 16:15 24m 0s development
development
September 9, 2024 16:15 24m 0s
refactoring SmusComputation to avoid redundant code build #477: Commit 84a374c pushed by czengler
September 9, 2024 13:16 23m 30s development
development
September 9, 2024 13:16 23m 30s
refactoring SmusComputation to avoid redundant code build #476: Commit 84a374c pushed by rouven-walter
August 3, 2024 19:58 22m 23s feature/optimization-configuration
feature/optimization-configuration
August 3, 2024 19:58 22m 23s
added minimalDnfCover config flag in AdvancedSimplifierConfig build #475: Commit c03d342 pushed by rouven-walter
August 2, 2024 19:37 23m 4s feature/optimization-configuration
feature/optimization-configuration
August 2, 2024 19:37 23m 4s
bugfix: added backbone literals to intermediate result in AdvancedSim… build #474: Commit b783c19 pushed by rouven-walter
August 2, 2024 19:04 26m 9s feature/optimization-configuration
feature/optimization-configuration
August 2, 2024 19:04 26m 9s
Optimization config in advanced simplifier build #473: Commit 18f3c72 pushed by czengler
August 1, 2024 20:12 22m 38s feature/optimization-configuration
feature/optimization-configuration
August 1, 2024 20:12 22m 38s
Merge pull request #53 from logic-ng/development build #472: Commit 42ece18 pushed by czengler
July 31, 2024 14:39 21m 54s v2.5.1
v2.5.1
July 31, 2024 14:39 21m 54s
Merge pull request #53 from logic-ng/development build #471: Commit 42ece18 pushed by czengler
July 31, 2024 14:37 22m 12s master
master
July 31, 2024 14:37 22m 12s
Development build #470: Pull request #53 opened by czengler
July 31, 2024 14:34 17m 2s development
development
July 31, 2024 14:34 17m 2s
Final 2.5.1 build #469: Commit 79bb7b0 pushed by czengler
July 31, 2024 14:33 20m 20s development
development
July 31, 2024 14:33 20m 20s
Prepare 2.5.1 release build #468: Commit 9aa1d29 pushed by czengler
July 31, 2024 09:06 20m 57s development
development
July 31, 2024 09:06 20m 57s
WIP configure optimization in algorithms build #467: Commit 8fb005a pushed by czengler
July 30, 2024 09:30 11m 19s feature/optimization-configuration
feature/optimization-configuration
July 30, 2024 09:30 11m 19s
fixed MiniSatConfig doc for default CNF method build #466: Commit 5ba79db pushed by rouven-walter
July 22, 2024 10:55 19m 18s development
development
July 22, 2024 10:55 19m 18s
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
WIP: OLL based SMUS computation build #465: Commit 548cf3b pushed by rouven-walter
July 12, 2024 09:20 13m 4s feature/oll-based-smus
feature/oll-based-smus
July 12, 2024 09:20 13m 4s
Prepare 2.6.0 release build #464: Commit d77cea2 pushed by czengler
July 12, 2024 07:43 20m 21s development
development
July 12, 2024 07:43 20m 21s
Preparations for formula and solver serializiation build #463: Commit b6e6975 pushed by czengler
May 4, 2024 12:07 19m 4s development
development
May 4, 2024 12:07 19m 4s
Next development version build #462: Commit 10ab16e pushed by czengler
May 4, 2024 10:01 17m 3s development
development
May 4, 2024 10:01 17m 3s
Fixed JaCoCo Plugin build #461: Commit 87a662f pushed by czengler
May 2, 2024 12:03 20m 18s master
master
May 2, 2024 12:03 20m 18s
updated codecov badge build #460: Commit e6317bb pushed by SHildebrandt
May 2, 2024 10:12 15m 20s master
master
May 2, 2024 10:12 15m 20s