Skip to content

Actions: ratioSolver/oRatio

Actions

CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake.yml
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Z3 include path to use C++ standard directory CMake #403: Commit fa3a6bc pushed by riccardodebenedictis
December 31, 2024 08:27 42m 47s uncertainty
uncertainty
December 31, 2024 08:27 42m 47s
Update CMake minimum version and enhance solver arithmetic handling CMake #402: Commit d2ebae1 pushed by riccardodebenedictis
December 30, 2024 22:20 42m 47s uncertainty
uncertainty
December 30, 2024 22:20 42m 47s
Refactor solver evaluation to improve arithmetic handling and update … CMake #401: Commit 4005e18 pushed by riccardodebenedictis
December 30, 2024 20:52 42m 16s uncertainty
uncertainty
December 30, 2024 20:52 42m 16s
Update submodule commits for extern/riddle and extern/semitone CMake #400: Commit 244a1e4 pushed by riccardodebenedictis
December 16, 2024 10:53 1h 8m 54s memory
memory
December 16, 2024 10:53 1h 8m 54s
Update submodule commit for extern/semitone to indicate dirty state CMake #399: Commit 3063513 pushed by riccardodebenedictis
December 6, 2024 12:48 1h 9m 35s memory
memory
December 6, 2024 12:48 1h 9m 35s
Update submodule commit for extern/semitone CMake #398: Commit bf6a6a6 pushed by riccardodebenedictis
December 2, 2024 14:44 1h 9m 8s memory
memory
December 2, 2024 14:44 1h 9m 8s
Add predicate type checks for "Impulse" and "Interval" in solver CMake #397: Commit bc56588 pushed by riccardodebenedictis
November 22, 2024 10:35 1h 8m 33s memory
memory
November 22, 2024 10:35 1h 8m 33s
Update submodule commit for extern/semitone CMake #396: Commit 19a6c3e pushed by riccardodebenedictis
November 21, 2024 16:31 1h 9m 12s memory
memory
November 21, 2024 16:31 1h 9m 12s
Update submodule commits for extern/riddle and extern/semitone CMake #395: Commit 80467b7 pushed by riccardodebenedictis
November 20, 2024 13:31 3h 23m 48s memory
memory
November 20, 2024 13:31 3h 23m 48s
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