Skip to content

Actions: booleworks/logicng-rs

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

ci.yml
68 workflow runs
68 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update benchmarks CI #74: Commit 2fc0f76 pushed by Apfelbeet
April 2, 2024 13:40 5m 21s main
main
April 2, 2024 13:40 5m 21s
improvement in the dtree generation CI #73: Commit ec83b4e pushed by SHildebrandt
March 16, 2024 11:18 4m 33s main
main
March 16, 2024 11:18 4m 33s
Restrict cardinality constrait rhs to unsigned 32bit CI #72: Commit 8b5bb9f pushed by Apfelbeet
March 7, 2024 15:24 4m 57s main
main
March 7, 2024 15:24 4m 57s
fix formatting CI #71: Commit c2f27c5 pushed by Apfelbeet
January 24, 2024 10:27 4m 57s benchmarks
benchmarks
January 24, 2024 10:27 4m 57s
Add dedicated cache for variables CI #70: Commit 26e4345 pushed by Apfelbeet
January 24, 2024 10:26 5m 18s main
main
January 24, 2024 10:26 5m 18s
add benchmarks for parser CI #69: Commit dbcb9d4 pushed by Apfelbeet
January 24, 2024 08:49 5m 36s benchmarks
benchmarks
January 24, 2024 08:49 5m 36s
add criterion benchmarks CI #68: Commit 96f7d09 pushed by Apfelbeet
January 17, 2024 10:21 5m 7s benchmarks
benchmarks
January 17, 2024 10:21 5m 7s
bench_overview picks benchmarks based on active feature CI #67: Commit 52ddde1 pushed by Apfelbeet
January 4, 2024 13:00 4m 42s main
main
January 4, 2024 13:00 4m 42s
Merge branch 'main' into feature/sharp-sat CI #66: Commit 7a37ec9 pushed by Apfelbeet
January 4, 2024 12:21 4m 45s feature/sharp-sat
feature/sharp-sat
January 4, 2024 12:21 4m 45s
Merge branch 'main' into feature/sharp-sat CI #65: Commit 7a37ec9 pushed by Apfelbeet
January 4, 2024 12:20 4m 59s main
main
January 4, 2024 12:20 4m 59s
Update sharpsat include paths for Intel macs CI #64: Commit b67d856 pushed by Apfelbeet
January 4, 2024 11:27 5m 7s feature/sharp-sat
feature/sharp-sat
January 4, 2024 11:27 5m 7s
fix homebrew paths in build script and makefile CI #63: Commit d1e96c1 pushed by SHildebrandt
January 4, 2024 10:28 5m 13s feature/sharp-sat
feature/sharp-sat
January 4, 2024 10:28 5m 13s
change build files for arm macs CI #62: Commit 65941a3 pushed by Apfelbeet
January 2, 2024 14:09 4m 37s feature/sharp-sat
feature/sharp-sat
January 2, 2024 14:09 4m 37s
merge filter and flatten for nary formulas CI #61: Commit c1a4ff1 pushed by Apfelbeet
December 20, 2023 13:45 6m 14s refactor/filter-flatten
refactor/filter-flatten
December 20, 2023 13:45 6m 14s
fix linux build issues CI #60: Commit 4e24d07 pushed by Apfelbeet
December 20, 2023 11:16 4m 43s feature/sharp-sat
feature/sharp-sat
December 20, 2023 11:16 4m 43s
simplification for implications with opposite operands CI #59: Commit 6cc3205 pushed by SHildebrandt
December 19, 2023 14:09 4m 2s main
main
December 19, 2023 14:09 4m 2s
use count_models() in sharpsat benchmarks CI #58: Commit f536f3f pushed by Apfelbeet
December 13, 2023 14:03 5m 21s feature/sharp-sat
feature/sharp-sat
December 13, 2023 14:03 5m 21s
improve sharpsat solver CI #57: Commit 734226e pushed by Apfelbeet
December 13, 2023 13:21 3m 47s feature/sharp-sat
feature/sharp-sat
December 13, 2023 13:21 3m 47s
add tests for model counting CI #56: Commit a2e3183 pushed by Apfelbeet
December 13, 2023 13:18 5m 10s main
main
December 13, 2023 13:18 5m 10s
Integrate sharpsat into model counting functions CI #55: Commit 5fc26e0 pushed by Apfelbeet
December 8, 2023 12:28 4m 42s feature/sharp-sat
feature/sharp-sat
December 8, 2023 12:28 4m 42s
Add model counting functions CI #54: Commit 2dcfae7 pushed by Apfelbeet
December 8, 2023 12:12 5m 31s main
main
December 8, 2023 12:12 5m 31s
Avoid unnecessary reallocation CI #53: Commit c1c59a8 pushed by Apfelbeet
December 1, 2023 10:52 3m 57s main
main
December 1, 2023 10:52 3m 57s
Replace append with extend CI #52: Commit d4b407d pushed by Apfelbeet
December 1, 2023 09:30 4m 26s main
main
December 1, 2023 09:30 4m 26s
Move interactive solver from wrapper into code CI #51: Commit 6147d98 pushed by Apfelbeet
November 29, 2023 15:14 4m 30s feature/sharp-sat
feature/sharp-sat
November 29, 2023 15:14 4m 30s
fix nnf caching issue CI #50: Commit 8467119 pushed by Apfelbeet
November 29, 2023 13:45 4m 46s feature/new-literals-function
feature/new-literals-function
November 29, 2023 13:45 4m 46s