Skip to content

Actions: trolando/oink

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

Upgrade github workflows compilers
CI testing #126: Commit 32950f2 pushed by trolando
January 5, 2025 22:30 3m 0s master
January 5, 2025 22:30 3m 0s
Upgrade github workflows compilers
CI testing #125: Commit f682d5a pushed by trolando
January 5, 2025 22:26 3m 29s master
January 5, 2025 22:26 3m 29s
Added solver TLQ (QP Zielonka with tangle learning)
CI testing #124: Commit e16a9c7 pushed by trolando
January 5, 2025 22:08 3m 35s master
January 5, 2025 22:08 3m 35s
Added solver TLQ (QP Zielonka with tangle learning)
CI testing #123: Commit c7788e8 pushed by trolando
January 5, 2025 22:06 2m 38s master
January 5, 2025 22:06 2m 38s
Fix major bug in verifier
CI testing #122: Commit ef29e6b pushed by trolando
December 28, 2024 22:25 2m 43s master
December 28, 2024 22:25 2m 43s
Added test case that RRDP can't handle
CI testing #121: Commit 257d0d0 pushed by trolando
August 11, 2024 23:08 2m 44s master
August 11, 2024 23:08 2m 44s
Move all solvers to the solvers subdirectory
CI testing #120: Commit 77c6992 pushed by trolando
August 11, 2024 22:49 2m 39s master
August 11, 2024 22:49 2m 39s
Refactor PG file parsing out of Game
CI testing #119: Commit f8f935b pushed by trolando
August 11, 2024 21:57 2m 52s master
August 11, 2024 21:57 2m 52s
Refactor PG file parsing out of Game
CI testing #118: Commit 4973668 pushed by trolando
August 11, 2024 21:56 2m 45s master
August 11, 2024 21:56 2m 45s
Some refactor of Game towards improving the API
CI testing #117: Commit 01cf03b pushed by trolando
August 11, 2024 12:43 2m 46s master
August 11, 2024 12:43 2m 46s
Slight refactor of Verifier
CI testing #116: Commit 691db00 pushed by trolando
July 25, 2024 20:21 3m 11s master
July 25, 2024 20:21 3m 11s
Slight refactor of Verifier
CI testing #115: Commit 6c3c731 pushed by trolando
July 25, 2024 20:20 2m 17s master
July 25, 2024 20:20 2m 17s
Fix nudge tool
CI testing #114: Commit 8d4b724 pushed by trolando
July 25, 2024 20:10 2m 33s master
July 25, 2024 20:10 2m 33s
Allow testing external programs with test_solver
CI testing #113: Commit b23b87d pushed by trolando
July 25, 2024 20:06 4m 1s master
July 25, 2024 20:06 4m 1s
Rewrite Game::extract_subgame to give the mapping.
CI testing #112: Commit 463dc75 pushed by trolando
July 25, 2024 20:06 2m 34s master
July 25, 2024 20:06 2m 34s
Allow testing external programs with test_solver
CI testing #111: Pull request #20 synchronize by trolando
July 25, 2024 11:07 2m 52s extsolver
July 25, 2024 11:07 2m 52s
Second refactor of Solver
CI testing #110: Commit 38d654e pushed by trolando
July 25, 2024 09:43 2m 42s master
July 25, 2024 09:43 2m 42s
Allow testing external programs with test_solver
CI testing #109: Pull request #20 synchronize by trolando
July 24, 2024 22:58 2m 35s extsolver
July 24, 2024 22:58 2m 35s
Allow testing external programs with test_solver
CI testing #108: Pull request #20 synchronize by trolando
July 24, 2024 22:44 2m 51s extsolver
July 24, 2024 22:44 2m 51s
Allow testing external programs with test_solver
CI testing #107: Pull request #20 synchronize by trolando
July 24, 2024 22:25 2m 32s extsolver
July 24, 2024 22:25 2m 32s
Allow testing external programs with test_solver
CI testing #106: Pull request #20 synchronize by trolando
July 24, 2024 21:57 2m 50s extsolver
July 24, 2024 21:57 2m 50s
Allow testing external programs with test_solver
CI testing #105: Pull request #20 opened by trolando
July 24, 2024 21:39 2m 30s extsolver
July 24, 2024 21:39 2m 30s
Solvers constructor now returns a unique_ptr
CI testing #104: Commit e9b7dd9 pushed by trolando
July 24, 2024 21:34 2m 44s master
July 24, 2024 21:34 2m 44s
Solvers is now a singleton, and expose solvers.hpp to API
CI testing #103: Commit 0c7ee84 pushed by trolando
July 24, 2024 13:25 2m 49s master
July 24, 2024 13:25 2m 49s
Adhere to new CMake policy for FindBoost
CI testing #102: Commit 73cb0dc pushed by trolando
July 23, 2024 09:23 2m 42s master
July 23, 2024 09:23 2m 42s