Skip to content

Actions: booleworks/boolerules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

npm_and_yarn in for ws - Update #846006765 Dependabot Updates #3: by dependabot bot
June 23, 2024 12:50 49s main
main
June 23, 2024 12:50 49s
npm_and_yarn in for ws - Update #846006735 Dependabot Updates #2: by dependabot bot
June 23, 2024 12:49 51s main
main
June 23, 2024 12:49 51s
npm_and_yarn in for ws - Update #846006694 Dependabot Updates #1: by dependabot bot
June 23, 2024 12:48 56s main
main
June 23, 2024 12:48 56s
WIP. Compute details Build and Test LogicNG on different Operating Systems #41: Commit 28d7774 pushed by cchichlow
June 10, 2024 08:21 3m 26s feature/bom-check
feature/bom-check
June 10, 2024 08:21 3m 26s
correcting position constraint handling in bom check computation Build and Test LogicNG on different Operating Systems #40: Commit ce71ab7 pushed by cchichlow
June 5, 2024 14:15 3m 19s feature/bom-check
feature/bom-check
June 5, 2024 14:15 3m 19s
some renaming. correcting and finishing computation Build and Test LogicNG on different Operating Systems #39: Commit 4bc7eb7 pushed by cchichlow
June 4, 2024 20:32 2m 52s feature/bom-check
feature/bom-check
June 4, 2024 20:32 2m 52s
Adjustements for latest 0.0.2 Build and Test LogicNG on different Operating Systems #38: Commit 2660988 pushed by czengler
June 2, 2024 14:19 37s feature/streamlined
feature/streamlined
June 2, 2024 14:19 37s
rename codes to features in reconfiguration computation Build and Test LogicNG on different Operating Systems #37: Commit 9fdea71 pushed by SHildebrandt
May 31, 2024 10:18 32s feature/streamlined
feature/streamlined
May 31, 2024 10:18 32s
replace OptimizationFunction in CoverageComputation with simple Selec… Build and Test LogicNG on different Operating Systems #36: Commit 6eaa13c pushed by SHildebrandt
May 30, 2024 20:30 37s feature/streamlined
feature/streamlined
May 30, 2024 20:30 37s
Detekt fixes Build and Test LogicNG on different Operating Systems #35: Commit 1aeb4f3 pushed by czengler
May 30, 2024 15:23 33s feature/streamlined
feature/streamlined
May 30, 2024 15:23 33s
Adjusted reconfig to latest updates Build and Test LogicNG on different Operating Systems #34: Commit 19329f8 pushed by czengler
May 30, 2024 15:21 34s feature/streamlined
feature/streamlined
May 30, 2024 15:21 34s
Additional constraints are handled by the PRL compiler now Build and Test LogicNG on different Operating Systems #33: Commit 9281a1d pushed by czengler
May 30, 2024 15:18 34s feature/streamlined
feature/streamlined
May 30, 2024 15:18 34s
reconfiguration computation Build and Test LogicNG on different Operating Systems #32: Commit 00f14f6 pushed by SHildebrandt
May 30, 2024 14:49 30s feature/reconfiguration
feature/reconfiguration
May 30, 2024 14:49 30s
Updates for PRL Compiler 0.0.2 Build and Test LogicNG on different Operating Systems #31: Commit 83ec4a6 pushed by czengler
May 30, 2024 10:11 34s feature/streamlined
feature/streamlined
May 30, 2024 10:11 34s
coverage graph computation Build and Test LogicNG on different Operating Systems #30: Commit e36aa2c pushed by SHildebrandt
May 29, 2024 20:37 3m 30s feature/coverage-adjustments
feature/coverage-adjustments
May 29, 2024 20:37 3m 30s
include uncoverable constraints in result Build and Test LogicNG on different Operating Systems #29: Commit 8c49756 pushed by SHildebrandt
May 29, 2024 14:22 3m 38s feature/coverage-adjustments
feature/coverage-adjustments
May 29, 2024 14:22 3m 38s
correcting api. update to new LogicNG satCall Build and Test LogicNG on different Operating Systems #28: Commit a33d36e pushed by cchichlow
May 28, 2024 12:11 3m 22s feature/bom-check
feature/bom-check
May 28, 2024 12:11 3m 22s
Merge branch 'main' into feature/poc-int-features Build and Test LogicNG on different Operating Systems #27: Commit 3d3fb6c pushed by Apfelbeet
May 27, 2024 16:38 1m 7s feature/poc-int-features
feature/poc-int-features
May 27, 2024 16:38 1m 7s
fix formatting bug in coverage computation Build and Test LogicNG on different Operating Systems #26: Commit 846cfd8 pushed by Apfelbeet
May 27, 2024 15:24 3m 42s main
main
May 27, 2024 15:24 3m 42s
filter int features in backbone computation Build and Test LogicNG on different Operating Systems #25: Commit b6aed13 pushed by Apfelbeet
May 17, 2024 08:07 1m 10s feature/poc-int-features
feature/poc-int-features
May 17, 2024 08:07 1m 10s
first version of coverage computation Build and Test LogicNG on different Operating Systems #24: Commit 056497c pushed by SHildebrandt
May 16, 2024 17:22 2m 34s main
main
May 16, 2024 17:22 2m 34s
adjustments for latest LNG3 snapshot Build and Test LogicNG on different Operating Systems #23: Commit 247374f pushed by SHildebrandt
May 13, 2024 12:23 3m 16s main
main
May 13, 2024 12:23 3m 16s
add translation of integer variables to backbone Build and Test LogicNG on different Operating Systems #22: Commit ccf6ca7 pushed by Apfelbeet
May 1, 2024 10:58 1m 1s feature/poc-int-features
feature/poc-int-features
May 1, 2024 10:58 1m 1s
Allow unqualified int features in addition constraints Build and Test LogicNG on different Operating Systems #21: Commit b314e52 pushed by Apfelbeet
April 19, 2024 11:29 52s feature/poc-int-features
feature/poc-int-features
April 19, 2024 11:29 52s
Use correct sat variables for model counting and model enumeration Build and Test LogicNG on different Operating Systems #20: Commit dd2d495 pushed by Apfelbeet
April 15, 2024 14:23 1m 5s feature/poc-int-features
feature/poc-int-features
April 15, 2024 14:23 1m 5s