Skip to content

Actions: muhos/ParaFROST

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #19 from Rings-of-Saturn-05/fix/boundsearch-wiring Build #66: Commit 8d5e63a pushed by muhos
4m 26s master
master
4m 26s
fix: wire boundsearch_en option into OPTION::init() Build #65: Pull request #19 synchronize by Rings-of-Saturn-05
4m 41s Rings-of-Saturn-05:fix/boundsearch-wiring
Rings-of-Saturn-05:fix/boundsearch-wiring
4m 41s
fix ci once again Build #63: Commit ca1d41d pushed by muhos
4m 35s master
master
4m 35s
fix ci, banner and version Build #62: Commit 6e7cb97 pushed by muhos
2m 5s master
master
2m 5s
fix CI and updated readme Build #61: Commit d507200 pushed by muhos
Failure master
master
Failure
using cuArena for stable/dynamic allocations Build #60: Commit cd4334e pushed by muhos
2m 49s master
master
2m 49s
fix detection of CC Build #59: Commit 5789e38 pushed by muhos
4m 53s master
master
4m 53s
increased allocation size of variables arrays Build #58: Commit 426777d pushed by muhos
4m 53s master
master
4m 53s
allowed wrapup to force solver state Build #57: Commit b66c0d9 pushed by muhos
6m 7s master
master
6m 7s
minor change to MDM verbosity Build #56: Commit 016e80f pushed by muhos
6m 14s master
master
6m 14s
fixed ipasir assumptions and MDM in incr. mode Build #55: Commit 4c5640a pushed by muhos
5m 35s master
master
5m 35s
Merge remote-tracking branch 'refs/remotes/origin/master' Build #54: Commit 5e35875 pushed by muhos
5m 44s master
master
5m 44s
fixed checking empty formula in isolve Build #53: Commit 3c4ace6 pushed by muhos
6m 52s master
master
6m 52s
separated checking fixed literals in incremental solving Build #52: Commit 56ec8f9 pushed by muhos
7m 49s master
master
7m 49s
replaced incremental vectors by expandable search space (sp) Build #51: Commit 9185ee6 pushed by muhos
8m 31s master
master
8m 31s
incr. solving is now more flexible in adding constraints Build #50: Commit 294c27d pushed by muhos
5m 9s master
master
5m 9s
minor fix to markEliminated Build #49: Commit 86c1bc6 pushed by muhos
5m 6s master
master
5m 6s
fixed incremental solving allocation Build #48: Commit ac301bc pushed by muhos
5m 34s master
master
5m 34s
added missing api to vectors + minor update to ipasir Build #47: Commit 367f0ce pushed by muhos
7m 45s master
master
7m 45s
Fixes and optimizations Build #46: Commit 147b658 pushed by muhos
7m 5s master
master
7m 5s
minor bug fixes + launch optimizations Build #45: Commit b46d984 pushed by muhos
6m 39s master
master
6m 39s
minor bug fixes + launch optimizations Build #44: Commit 4b1049a pushed by muhos
5m 45s master
master
5m 45s
several optimizations + ERE stall fix Build #43: Commit dfc4bb6 pushed by muhos
6m 54s master
master
6m 54s
updating API Build #42: Commit 2a00044 pushed by muhos
5m 21s master
master
5m 21s
updating assertions Build #41: Commit e49f000 pushed by muhos
6m 10s master
master
6m 10s