Skip to content

Actions: marekpiotrow/UWrMaxSat

Actions

Build on Mac OS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos-build.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing the problem with a goal value of the first assignment given by… Build on Mac OS #86: Commit a8a97d4 pushed by marekpiotrow
July 14, 2024 06:18 51s master
master
July 14, 2024 06:18 51s
Fixing the problems described in Discusion #10 Build on Mac OS #85: Commit c9ef220 pushed by marekpiotrow
July 10, 2024 16:38 53s master
master
July 10, 2024 16:38 53s
Fixing the function setFrozen in CadicalWrap.h Build on Mac OS #84: Commit cc703a4 pushed by marekpiotrow
July 8, 2024 11:58 51s master
master
July 8, 2024 11:58 51s
Add the description of the last changes to README Build on Mac OS #83: Commit fc5d4c4 pushed by marekpiotrow
June 8, 2024 14:58 51s master
master
June 8, 2024 14:58 51s
Changing the version to 1.6.0 Build on Mac OS #82: Commit bff7234 pushed by marekpiotrow
May 27, 2024 07:40 57s master
master
May 27, 2024 07:40 57s
A few further fixes to issues found while testing with CaDiCal Build on Mac OS #81: Commit b4ba41f pushed by marekpiotrow
May 8, 2024 09:52 52s master
master
May 8, 2024 09:52 52s
Fixing some problems found by testSolver.py from https://github.com/t… Build on Mac OS #80: Commit 79ec525 pushed by marekpiotrow
May 8, 2024 06:31 52s master
master
May 8, 2024 06:31 52s
Improving cooperation with SCIP Build on Mac OS #79: Commit cb5ebd1 pushed by marekpiotrow
May 6, 2024 14:19 46s master
master
May 6, 2024 14:19 46s
Fixing workflows/macos-build.yml Build on Mac OS #78: Commit 721c505 pushed by marekpiotrow
April 28, 2024 09:45 52s master
master
April 28, 2024 09:45 52s
Fixing again workflows/macos-build.yml Build on Mac OS #77: Commit 0d439e3 pushed by marekpiotrow
April 28, 2024 09:32 40s master
master
April 28, 2024 09:32 40s
Fixing again workflows/macos-build.yml Build on Mac OS #76: Commit 3e4dc34 pushed by marekpiotrow
April 28, 2024 09:20 29s master
master
April 28, 2024 09:20 29s
Fixing again workflows/macos-build.yml Build on Mac OS #75: Commit 01b6126 pushed by marekpiotrow
April 28, 2024 07:50 17s master
master
April 28, 2024 07:50 17s
Fixing workflows/macos-build.yml Build on Mac OS #74: Commit 5d65eba pushed by marekpiotrow
April 28, 2024 07:05 47s master
master
April 28, 2024 07:05 47s
Fixing the race condition problem described in Issue #9 Build on Mac OS #73: Commit b1d226d pushed by marekpiotrow
April 28, 2024 06:25 34s master
master
April 28, 2024 06:25 34s
Fixing the memory allocation problem from Issue #8 Build on Mac OS #72: Commit 0a75f48 pushed by marekpiotrow
March 22, 2024 10:04 1m 23s master
master
March 22, 2024 10:04 1m 23s
Correcting the new version of README.md Build on Mac OS #71: Commit e45cd2c pushed by marekpiotrow
March 19, 2024 08:16 1m 29s master
master
March 19, 2024 08:16 1m 29s
Fixing again workflow files Build on Mac OS #70: Commit 1dda85a pushed by marekpiotrow
March 18, 2024 15:51 1m 26s master
master
March 18, 2024 15:51 1m 26s
Fixing the problem with the dead link to COMiniSatPS (issue #7) Build on Mac OS #67: Commit fddf1a4 pushed by marekpiotrow
March 18, 2024 15:02 42s master
master
March 18, 2024 15:02 42s
Correcting the MSYS2 environment for UCRT64 in Github Actions Build on Mac OS #66: Commit 487c37c pushed by marekpiotrow
March 13, 2024 18:22 1m 18s master
master
March 13, 2024 18:22 1m 18s
Changing the MSYS2 environment from MINGW64 to UCRT64 in Github Actions Build on Mac OS #65: Commit 37fde54 pushed by marekpiotrow
March 13, 2024 18:07 1m 45s master
master
March 13, 2024 18:07 1m 45s
Fixing compilation problems on Windows with MSYS2/UCRT64 (Issue #6) Build on Mac OS #64: Commit 66dccb2 pushed by marekpiotrow
March 11, 2024 16:51 1m 24s master
master
March 11, 2024 16:51 1m 24s
Fixing the bugs described in Issue #5 Build on Mac OS #63: Commit b74c415 pushed by marekpiotrow
February 27, 2024 15:27 2m 51s master
master
February 27, 2024 15:27 2m 51s
Correcting a Makefile rule for the UWrMaxSat dynamic library Build on Mac OS #62: Commit 50cbe93 pushed by marekpiotrow
February 10, 2024 08:28 1m 18s master
master
February 10, 2024 08:28 1m 18s
Optimizing memory usage in the function isSeparating (Pre_separator.cc) Build on Mac OS #61: Commit dc39657 pushed by marekpiotrow
December 11, 2023 13:22 1m 36s master
master
December 11, 2023 13:22 1m 36s
Too big vectors in the function isSeparating (Pre_separator.cc) can c… Build on Mac OS #60: Commit 299b2e2 pushed by marekpiotrow
December 9, 2023 11:09 1m 57s master
master
December 9, 2023 11:09 1m 57s