Skip to content

Actions: ratioSolver/RiDDLe

Actions

CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake.yml
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CMake minimum version to 3.10 and override get_predicate metho… CMake #311: Commit 74db6a1 pushed by riccardodebenedictis
December 30, 2024 22:20 1m 41s uncertainty
uncertainty
December 30, 2024 22:20 1m 41s
Refactor string expression handling: replace shared pointers with typ… CMake #310: Commit 6edff0f pushed by riccardodebenedictis
December 30, 2024 18:29 1m 42s uncertainty
uncertainty
December 30, 2024 18:29 1m 42s
Refactor atom handling: replace shared pointers with type aliases for… CMake #309: Commit 2f479a9 pushed by riccardodebenedictis
December 28, 2024 12:09 1m 57s uncertainty
uncertainty
December 28, 2024 12:09 1m 57s
Refactor call expression handling: streamline object ID retrieval and… CMake #308: Commit a68075b pushed by riccardodebenedictis
December 28, 2024 09:33 1m 34s uncertainty
uncertainty
December 28, 2024 09:33 1m 34s
Refactor parser error messages for clarity and add tests for bounded … CMake #307: Commit f2e302f pushed by riccardodebenedictis
December 28, 2024 09:24 1m 42s uncertainty
uncertainty
December 28, 2024 09:24 1m 42s
Enhance constructor and field definitions: add synthetic flag to fiel… CMake #306: Commit 9e2fdd8 pushed by riccardodebenedictis
December 28, 2024 09:10 1m 31s uncertainty
uncertainty
December 28, 2024 09:10 1m 31s
Update README for codecov badge and add constructor declaration test CMake #305: Commit 09ab3e0 pushed by riccardodebenedictis
December 27, 2024 11:51 1m 30s uncertainty
uncertainty
December 27, 2024 11:51 1m 30s
Refactor parser logic: simplify position handling in method and field… CMake #304: Commit f895da6 pushed by riccardodebenedictis
December 27, 2024 11:45 1m 27s uncertainty
uncertainty
December 27, 2024 11:45 1m 27s
Add name guessing and recomputation functionality; enhance core class… CMake #303: Commit ab8c39b pushed by riccardodebenedictis
December 27, 2024 09:18 1m 26s uncertainty
uncertainty
December 27, 2024 09:18 1m 26s
Refactor expression handling; remove plus_expression and implies_expr… CMake #302: Commit 666653a pushed by riccardodebenedictis
December 24, 2024 10:29 1m 19s uncertainty
uncertainty
December 24, 2024 10:29 1m 19s
Enhance constructor and component_type classes; add methods for manag… CMake #301: Commit 64dc8eb pushed by riccardodebenedictis
December 19, 2024 15:02 1m 21s uncertainty
uncertainty
December 19, 2024 15:02 1m 21s
Add expression handling to field and constructor; enhance item and sc… CMake #300: Commit 2261113 pushed by riccardodebenedictis
December 16, 2024 16:14 26m 38s uncertainty
uncertainty
December 16, 2024 16:14 26m 38s
Update submodule 'extern/utils' to latest commit CMake #299: Commit b777e5a pushed by riccardodebenedictis
December 16, 2024 10:53 3m 45s memory
memory
December 16, 2024 10:53 3m 45s
Refactor parser to remove symbol namespace and improve error messages… CMake #298: Commit 9e2ab44 pushed by riccardodebenedictis
December 16, 2024 10:39 26m 40s uncertainty
uncertainty
December 16, 2024 10:39 26m 40s
Refactor parser and lexer to use std::istream for input; update relat… CMake #297: Commit 38c67ee pushed by riccardodebenedictis
December 15, 2024 18:10 26m 42s uncertainty
uncertainty
December 15, 2024 18:10 26m 42s
Add match method to lexer and update token assertions in tests CMake #296: Commit 7179104 pushed by riccardodebenedictis
December 15, 2024 17:46 26m 12s uncertainty
uncertainty
December 15, 2024 17:46 26m 12s
Add unit tests for lexer and parser functionality CMake #295: Commit d797641 pushed by riccardodebenedictis
December 13, 2024 16:09 1m 22s uncertainty
uncertainty
December 13, 2024 16:09 1m 22s
Add parser implementation and update CMake configuration CMake #294: Commit 81d35bc pushed by riccardodebenedictis
December 13, 2024 15:38 2m 47s uncertainty
uncertainty
December 13, 2024 15:38 2m 47s
Add parser and compilation_unit classes with declaration and refineme… CMake #293: Commit f864381 pushed by riccardodebenedictis
December 13, 2024 11:14 1m 25s uncertainty
uncertainty
December 13, 2024 11:14 1m 25s
Add local_field_statement class to handle local field declarations an… CMake #292: Commit 64c8470 pushed by riccardodebenedictis
December 8, 2024 14:04 1m 42s uncertainty
uncertainty
December 8, 2024 14:04 1m 42s
Refactor expression constructors to accept values by const reference … CMake #291: Commit e46fd08 pushed by riccardodebenedictis
December 5, 2024 13:21 1m 12s uncertainty
uncertainty
December 5, 2024 13:21 1m 12s
Add vector include to expression header for enhanced functionality CMake #290: Commit a180ab2 pushed by riccardodebenedictis
December 3, 2024 18:00 1m 18s uncertainty
uncertainty
December 3, 2024 18:00 1m 18s
Add real_expression, string_expression, and id_expression classes for… CMake #289: Commit 5fa4a03 pushed by riccardodebenedictis
December 2, 2024 21:20 1m 28s uncertainty
uncertainty
December 2, 2024 21:20 1m 28s
Add method class and enhance constructor and predicate to support sta… CMake #288: Commit 8735427 pushed by riccardodebenedictis
November 24, 2024 15:00 1m 30s uncertainty
uncertainty
November 24, 2024 15:00 1m 30s
Add statement and declaration classes, and implement constructor logic CMake #287: Commit 9945e1d pushed by riccardodebenedictis
November 23, 2024 12:21 1m 35s uncertainty
uncertainty
November 23, 2024 12:21 1m 35s