Skip to content

Actions: ratioSolver/oRatio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update submodule branches and commit references for extern/riddle and… CMake #394: Commit c668b85 pushed by riccardodebenedictis
November 15, 2024 08:34 3h 23m 23s memory
memory
November 15, 2024 08:34 3h 23m 23s
Remove JSON_INCLUDE_UTILS option from CMakeLists.txt CMake #393: Commit d79d04d pushed by riccardodebenedictis
November 13, 2024 13:58 3h 24m 6s memory
memory
November 13, 2024 13:58 3h 24m 6s
Enhance solver logic by adding new clause creation for false values a… CMake #392: Commit 7a150e6 pushed by riccardodebenedictis
November 13, 2024 12:20 3h 24m 19s memory
memory
November 13, 2024 12:20 3h 24m 19s
Refactor ID handling to ensure consistent use of uint64_t across rele… CMake #391: Commit 0fb2080 pushed by riccardodebenedictis
November 11, 2024 15:17 3h 25m 16s memory
memory
November 11, 2024 15:17 3h 25m 16s
Update subproject commit in extern/riddle and add new GOAC test cases… CMake #390: Commit dad748d pushed by riccardodebenedictis
November 11, 2024 14:45 22m 33s memory
memory
November 11, 2024 14:45 22m 33s
Update subproject commit in extern/semitone and improve code readabil… CMake #389: Commit 267c935 pushed by riccardodebenedictis
November 11, 2024 14:04 10m 4s memory
memory
November 11, 2024 14:04 10m 4s
Cast numerical values to appropriate integer types in solver_api for … CMake #388: Commit d5245ec pushed by riccardodebenedictis
November 11, 2024 13:58 9m 57s memory
memory
November 11, 2024 13:58 9m 57s
Cast IDs to uint64_t in agent, consumable_resource, reusable_resource… CMake #387: Commit 9c2c7a7 pushed by riccardodebenedictis
November 11, 2024 13:49 10m 8s memory
memory
November 11, 2024 13:49 10m 8s
Cast IDs to uint64_t in agent, consumable_resource, reusable_resource… CMake #386: Commit e313c88 pushed by riccardodebenedictis
November 11, 2024 13:38 10m 8s memory
memory
November 11, 2024 13:38 10m 8s
Cast IDs to uint64_t in atom_flaw get_data methods for consistency CMake #385: Commit 9a0e4e2 pushed by riccardodebenedictis
November 11, 2024 13:33 10m 1s memory
memory
November 11, 2024 13:33 10m 1s
Update subproject commit in extern/riddle CMake #384: Commit 40209ba pushed by riccardodebenedictis
November 11, 2024 13:24 10m 14s memory
memory
November 11, 2024 13:24 10m 14s
Update subproject commits in extern/riddle and extern/semitone CMake #383: Commit 185ba83 pushed by riccardodebenedictis
November 11, 2024 13:21 10m 1s memory
memory
November 11, 2024 13:21 10m 1s
Update subproject references, set C++ standard to C++17 for oRatioLib… CMake #382: Commit 6e4d0f9 pushed by riccardodebenedictis
November 11, 2024 13:11 10m 49s memory
memory
November 11, 2024 13:11 10m 49s
Update subproject references and change on_sat_value_changed paramete… CMake #381: Commit 3d3df76 pushed by riccardodebenedictis
November 11, 2024 11:57 10m 9s memory
memory
November 11, 2024 11:57 10m 9s
Update subproject references and change VARIABLE_TYPE to std::size_t … CMake #380: Commit 3e0e7f0 pushed by riccardodebenedictis
November 11, 2024 11:41 1m 23s memory
memory
November 11, 2024 11:41 1m 23s
Update subproject commits in extern/riddle and extern/semitone CMake #379: Commit be3b3b3 pushed by riccardodebenedictis
November 11, 2024 11:30 10m 3s memory
memory
November 11, 2024 11:30 10m 3s
Update subproject commits in extern/riddle and extern/semitone CMake #378: Commit b260583 pushed by riccardodebenedictis
November 11, 2024 11:24 10m 22s memory
memory
November 11, 2024 11:24 10m 22s
Add build options for oRatio executable and API; update subproject re… CMake #377: Commit 756b6ae pushed by riccardodebenedictis
November 11, 2024 11:06 9m 50s memory
memory
November 11, 2024 11:06 9m 50s
Add option to build oRatio executable and conditionally include name … CMake #376: Commit 86aa253 pushed by riccardodebenedictis
November 11, 2024 10:47 2m 34s memory
memory
November 11, 2024 10:47 2m 34s
Update subproject commit in extern/riddle; refactor matches method in… CMake #375: Commit e0f7aaf pushed by riccardodebenedictis
November 8, 2024 11:57 7m 38s memory
memory
November 8, 2024 11:57 7m 38s
Update subproject commit in extern/riddle; modify determine_type call… CMake #374: Commit f28b8c0 pushed by riccardodebenedictis
November 7, 2024 15:44 3m 20s memory
memory
November 7, 2024 15:44 3m 20s
Refactor comparison logic in solver.cpp; use references for atom and … CMake #373: Commit 9c5210f pushed by riccardodebenedictis
November 6, 2024 14:24 6m 51s memory
memory
November 6, 2024 14:24 6m 51s
Fix loop variable in flaw resolution logic in graph.cpp; iterate over… CMake #372: Commit 3e0beaf pushed by riccardodebenedictis
November 6, 2024 13:52 6m 49s memory
memory
November 6, 2024 13:52 6m 49s
Enhance flaw resolution logic in graph.cpp; compute resolver's flaw c… CMake #371: Commit 20bae8c pushed by riccardodebenedictis
November 6, 2024 11:41 27m 29s memory
memory
November 6, 2024 11:41 27m 29s
Update subproject commit in extern/semitone; add debug logging in ato… CMake #370: Commit 2bb8495 pushed by riccardodebenedictis
November 6, 2024 10:51 52m 17s memory
memory
November 6, 2024 10:51 52m 17s