Skip to content

Actions: meelgroup/approxmc

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix power being interpreted as bolding in readme
build #147: Pull request #46 opened by horenmar
December 21, 2023 21:09 2m 41s patch-1
December 21, 2023 21:09 2m 41s
improve error reporting for Python bindings
python wheel packages #45: Pull request #45 opened by fanosta
December 21, 2023 12:21 23m 3s fanosta:improve-python-exceptions
December 21, 2023 12:21 23m 3s
improve error reporting for Python bindings
Python tarball build #119: Pull request #45 opened by fanosta
December 21, 2023 12:21 11m 43s fanosta:improve-python-exceptions
December 21, 2023 12:21 11m 43s
Fix adding many clauses
Python tarball build #118: Pull request #44 opened by fanosta
December 21, 2023 12:19 10m 57s fanosta:fix_adding_many_clauses
December 21, 2023 12:19 10m 57s
Fix adding many clauses
python wheel packages #44: Pull request #44 opened by fanosta
December 21, 2023 12:19 23m 23s fanosta:fix_adding_many_clauses
December 21, 2023 12:19 23m 23s
Fix adding many clauses
build #145: Pull request #44 opened by fanosta
December 21, 2023 12:19 2m 54s fanosta:fix_adding_many_clauses
December 21, 2023 12:19 2m 54s
Allow full control of Puura
Python tarball build #117: Commit a4faac7 pushed by msoos
November 24, 2023 00:54 10m 47s flippable
November 24, 2023 00:54 10m 47s
Allow full control of Puura
python wheel packages #43: Commit a4faac7 pushed by msoos
November 24, 2023 00:54 22m 37s flippable
November 24, 2023 00:54 22m 37s
Sparsify & vivify is not needed for E I think
python wheel packages #42: Commit 49bcf1e pushed by msoos
November 21, 2023 21:38 26m 1s flippable
November 21, 2023 21:38 26m 1s
Sparsify & vivify is not needed for E I think
Python tarball build #116: Commit 49bcf1e pushed by msoos
November 21, 2023 21:38 10m 44s flippable
November 21, 2023 21:38 10m 44s
Sparsify & vivify is not needed for E I think
python wheel packages #41: Commit 50b3c1c pushed by msoos
November 21, 2023 21:38 23m 39s flippable
November 21, 2023 21:38 23m 39s
Sparsify & vivify is not needed for E I think
Python tarball build #115: Commit 50b3c1c pushed by msoos
November 21, 2023 21:38 10m 50s flippable
November 21, 2023 21:38 10m 50s
Let's not use E by default
Python tarball build #114: Commit baba1b2 pushed by msoos
November 21, 2023 21:34 10m 40s flippable
November 21, 2023 21:34 10m 40s
Let's not use E by default
python wheel packages #40: Commit baba1b2 pushed by msoos
November 21, 2023 21:34 23m 13s flippable
November 21, 2023 21:34 23m 13s
Learnt clauses needed -- though sparse & vivify may be too much
Python tarball build #113: Commit a407380 pushed by msoos
November 21, 2023 21:11 11m 18s flippable
November 21, 2023 21:11 11m 18s
Learnt clauses needed -- though sparse & vivify may be too much
python wheel packages #39: Commit a407380 pushed by msoos
November 21, 2023 21:11 25m 0s flippable
November 21, 2023 21:11 25m 0s
Fixing this up to not use this add_clause with red
python wheel packages #38: Commit 807f707 pushed by msoos
November 21, 2023 20:45 8m 35s flippable
November 21, 2023 20:45 8m 35s
Fixing this up to not use this add_clause with red
Python tarball build #112: Commit 807f707 pushed by msoos
November 21, 2023 20:45 10m 56s flippable
November 21, 2023 20:45 10m 56s
Making it all work with red as a parameter, which is the old way
python wheel packages #37: Commit 1425a30 pushed by msoos
November 12, 2023 17:59 35m 39s flippable
November 12, 2023 17:59 35m 39s
Making it all work with red as a parameter, which is the old way
Python tarball build #111: Commit 1425a30 pushed by msoos
November 12, 2023 17:59 11m 35s flippable
November 12, 2023 17:59 11m 35s
Releasing new pypi version to also contain Mac
build #144: Commit d9f7d05 pushed by msoos
October 21, 2023 15:27 4m 33s master
October 21, 2023 15:27 4m 33s
Releasing new pypi version to also contain Mac
python wheel packages #36: Commit d9f7d05 pushed by msoos
October 21, 2023 15:27 31m 35s master
October 21, 2023 15:27 31m 35s
Releasing new pypi version to also contain Mac
Python tarball build #110: Commit d9f7d05 pushed by msoos
October 21, 2023 15:27 18m 4s master
October 21, 2023 15:27 18m 4s
Upgrading minimum version of cmake
Python tarball build #109: Commit f100d8b pushed by msoos
October 21, 2023 15:23 13m 53s master
October 21, 2023 15:23 13m 53s