Skip to content

Actions: ratioSolver/oRatio

Actions

CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake.yml
256 workflow runs
256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor CMake configuration for oRatioServer and update submodule re… CMake #427: Commit d83dd01 pushed by riccardodebenedictis
January 14, 2025 17:06 44m 25s uncertainty
uncertainty
January 14, 2025 17:06 44m 25s
Enhance z3solver with JSON serialization methods and update atom stat… CMake #426: Commit ac91f07 pushed by riccardodebenedictis
January 14, 2025 10:56 43m 4s uncertainty
uncertainty
January 14, 2025 10:56 43m 4s
Refactor z3solver and graph constructors to accept a name parameter f… CMake #425: Commit df046f5 pushed by riccardodebenedictis
January 13, 2025 17:01 42m 46s uncertainty
uncertainty
January 13, 2025 17:01 42m 46s
Enhance z3solver to clarify solution detection and improve inconsiste… CMake #424: Commit a2ae1ec pushed by riccardodebenedictis
January 9, 2025 15:48 42m 59s uncertainty
uncertainty
January 9, 2025 15:48 42m 59s
Update z3solver to handle unknown solution cases with error logging CMake #423: Commit 2d3bc38 pushed by riccardodebenedictis
January 9, 2025 15:45 42m 37s uncertainty
uncertainty
January 9, 2025 15:45 42m 37s
Update subproject reference and enhance z3solver with improved flaw h… CMake #422: Commit 52a6a97 pushed by riccardodebenedictis
January 9, 2025 15:38 42m 0s uncertainty
uncertainty
January 9, 2025 15:38 42m 0s
Update subproject reference and enhance z3flaw and z3resolver classes… CMake #421: Commit 0c42b2d pushed by riccardodebenedictis
January 9, 2025 12:57 42m 38s uncertainty
uncertainty
January 9, 2025 12:57 42m 38s
Update submodule commits for extern/riddle and extern/semitone CMake #420: Commit 22b7182 pushed by riccardodebenedictis
January 7, 2025 15:44 1h 14m 9s memory
memory
January 7, 2025 15:44 1h 14m 9s
Add z3disjunction_flaw class and enhance z3solver with new disjunctio… CMake #419: Commit 07f84f4 pushed by riccardodebenedictis
January 6, 2025 20:09 43m 23s uncertainty
uncertainty
January 6, 2025 20:09 43m 23s
Add equality operator overloads for z3 expressions and refactor enum_… CMake #418: Commit cdc371a pushed by riccardodebenedictis
January 4, 2025 10:26 42m 39s uncertainty
uncertainty
January 4, 2025 10:26 42m 39s
Add algorithm header to test_solver.cpp for enhanced functionality CMake #417: Commit 7cb0547 pushed by riccardodebenedictis
December 31, 2024 17:59 41m 50s uncertainty
uncertainty
December 31, 2024 17:59 41m 50s
Update riddle submodule and enhance solver tests with additional case… CMake #416: Commit 9b1c8a6 pushed by riccardodebenedictis
December 31, 2024 17:11 42m 25s uncertainty
uncertainty
December 31, 2024 17:11 42m 25s
Update riddle submodule and enhance solver test functionality with in… CMake #415: Commit c931bf8 pushed by riccardodebenedictis
December 31, 2024 15:58 41m 34s uncertainty
uncertainty
December 31, 2024 15:58 41m 34s
Refactor CMake configuration to enable library build and testing, upd… CMake #414: Commit 77b2817 pushed by riccardodebenedictis
December 31, 2024 15:13 43m 4s uncertainty
uncertainty
December 31, 2024 15:13 43m 4s
Uncomment riddle subdirectory inclusion in CMake configuration CMake #413: Commit c76ffae pushed by riccardodebenedictis
December 31, 2024 15:12 2m 10s uncertainty
uncertainty
December 31, 2024 15:12 2m 10s
Comment out testing directory inclusion in CMake configuration CMake #412: Commit 5194d82 pushed by riccardodebenedictis
December 31, 2024 15:09 1m 56s uncertainty
uncertainty
December 31, 2024 15:09 1m 56s
Enable testing and refine CMake configuration by uncommenting options… CMake #411: Commit 57b9e04 pushed by riccardodebenedictis
December 31, 2024 15:08 1m 44s uncertainty
uncertainty
December 31, 2024 15:08 1m 44s
Refactor CMake configuration by commenting out unused options and add… CMake #410: Commit 56c1e30 pushed by riccardodebenedictis
December 31, 2024 15:05 4m 50s uncertainty
uncertainty
December 31, 2024 15:05 4m 50s
Remove /Oy- option for MSVC in CMakeLists.txt and set HAS_MSVC_NO_OMI… CMake #409: Commit 6fbb5a9 pushed by riccardodebenedictis
December 31, 2024 10:48 56m 37s uncertainty
uncertainty
December 31, 2024 10:48 56m 37s
Add /Oy- option for MSVC and improve compiler warnings for tests CMake #408: Commit 2efc613 pushed by riccardodebenedictis
December 31, 2024 10:44 42m 32s uncertainty
uncertainty
December 31, 2024 10:44 42m 32s
Update riddle subproject reference to latest commit CMake #407: Commit 90e6204 pushed by riccardodebenedictis
December 31, 2024 10:22 43m 19s uncertainty
uncertainty
December 31, 2024 10:22 43m 19s
Update CMakeLists.txt to add undefined behavior sanitizer flag for oR… CMake #406: Commit 67caf8f pushed by riccardodebenedictis
December 31, 2024 09:26 53m 8s uncertainty
uncertainty
December 31, 2024 09:26 53m 8s
Update CMakeLists.txt to improve compiler warning settings for oRatio… CMake #405: Commit 69ca89b pushed by riccardodebenedictis
December 31, 2024 09:12 48m 16s uncertainty
uncertainty
December 31, 2024 09:12 48m 16s
Enhance integer handling in solver by casting to appropriate types an… CMake #404: Commit 9defb48 pushed by riccardodebenedictis
December 31, 2024 09:01 35m 35s uncertainty
uncertainty
December 31, 2024 09:01 35m 35s
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