Skip to content

Actions: ratioSolver/RiDDLe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor core.hpp and core.cpp to add new_fact and new_goal methods CMake #235: Commit e7e9814 pushed by riccardodebenedictis
April 16, 2024 12:27 3m 47s memory
memory
April 16, 2024 12:27 3m 47s
Refactor dynamic_cast to use pointer instead of value in expression.c… CMake #234: Commit f033d9a pushed by riccardodebenedictis
April 16, 2024 09:57 3m 44s memory
memory
April 16, 2024 09:57 3m 44s
Update core.hpp and item.hpp to fix namespace issues and improve code… CMake #233: Commit c89fc15 pushed by riccardodebenedictis
April 14, 2024 08:14 3m 29s memory
memory
April 14, 2024 08:14 3m 29s
Update visualization message in CMakeLists.txt CMake #232: Commit e5e8331 pushed by riccardodebenedictis
April 14, 2024 06:39 3m 48s memory
memory
April 14, 2024 06:39 3m 48s
Add ENABLE_VISUALIZATION option to CMakeLists.txt and update core.hpp… CMake #231: Commit bec101b pushed by riccardodebenedictis
April 14, 2024 06:34 3m 30s memory
memory
April 14, 2024 06:34 3m 30s
Add get_cost() method to statement.hpp and compute_cost() method to c… CMake #230: Commit c042d5b pushed by riccardodebenedictis
April 13, 2024 14:50 3m 56s memory
memory
April 13, 2024 14:50 3m 56s
Update extern/utils subproject commit CMake #229: Commit a2872d9 pushed by riccardodebenedictis
April 12, 2024 10:26 3m 36s memory
memory
April 12, 2024 10:26 3m 36s
Update extern/utils subproject commit CMake #228: Commit 2b6095d pushed by riccardodebenedictis
April 11, 2024 10:45 3m 32s memory
memory
April 11, 2024 10:45 3m 32s
Refactor class inheritance in env.hpp, core.hpp, compilation_unit.cpp… CMake #227: Commit bcfc383 pushed by riccardodebenedictis
April 10, 2024 16:55 3m 35s memory
memory
April 10, 2024 16:55 3m 35s
Update extern/utils subproject commit CMake #226: Commit ee0a81c pushed by riccardodebenedictis
April 9, 2024 10:39 3m 33s memory
memory
April 9, 2024 10:39 3m 33s
Update extern/utils subproject commit CMake #225: Commit 1375b77 pushed by riccardodebenedictis
April 9, 2024 10:31 1m 39s memory
memory
April 9, 2024 10:31 1m 39s
Add file input validation and error handling CMake #224: Commit c506af5 pushed by riccardodebenedictis
March 28, 2024 11:57 3m 33s memory
memory
March 28, 2024 11:57 3m 33s
Add comparison and logical operators for bool_item and arithmetic ope… CMake #223: Commit 7cb5500 pushed by riccardodebenedictis
March 28, 2024 11:14 3m 33s memory
memory
March 28, 2024 11:14 3m 33s
Update extern/utils subproject commit CMake #222: Commit 13b67f3 pushed by riccardodebenedictis
March 28, 2024 10:41 3m 32s memory
memory
March 28, 2024 10:41 3m 32s
Add lcov and valgrind to dependencies for Debug build type CMake #221: Commit 7ae8bb9 pushed by riccardodebenedictis
March 28, 2024 02:53 3m 32s memory
memory
March 28, 2024 02:53 3m 32s
Refactor atom class to include a sigma literal CMake #220: Commit a1fc937 pushed by riccardodebenedictis
March 27, 2024 18:01 2m 19s memory
memory
March 27, 2024 18:01 2m 19s
Update extern/utils and src/core.cpp CMake #219: Commit 5d3c614 pushed by riccardodebenedictis
March 27, 2024 17:13 2m 1s memory
memory
March 27, 2024 17:13 2m 1s
Add new data types and functions CMake #218: Commit 5470797 pushed by riccardodebenedictis
March 27, 2024 16:42 1m 46s memory
memory
March 27, 2024 16:42 1m 46s
Refactor is_bool, is_int, is_real, and is_time functions to be inline CMake #217: Commit feee714 pushed by riccardodebenedictis
March 27, 2024 16:39 2m 24s memory
memory
March 27, 2024 16:39 2m 24s
Remove unused class declarations and update method signature CMake #216: Commit 65598c4 pushed by riccardodebenedictis
March 27, 2024 16:37 2m 59s memory
memory
March 27, 2024 16:37 2m 59s
Refactor new_atom function signature CMake #215: Commit 2bbd350 pushed by riccardodebenedictis
March 27, 2024 15:43 1m 43s memory
memory
March 27, 2024 15:43 1m 43s
Update constructors and scopes with additional arguments CMake #214: Commit 1fb211d pushed by riccardodebenedictis
March 27, 2024 15:23 2m 9s memory
memory
March 27, 2024 15:23 2m 9s
Refactor code: Simplify is_int function and add logging statements CMake #213: Commit 15ac55e pushed by riccardodebenedictis
March 27, 2024 13:53 1m 10s memory
memory
March 27, 2024 13:53 1m 10s
Fix constructor bug and add inline function for core determination CMake #212: Commit 3a6f34d pushed by riccardodebenedictis
March 27, 2024 11:39 3m 12s memory
memory
March 27, 2024 11:39 3m 12s
Update extern/utils subproject commit CMake #211: Commit 33201e4 pushed by riccardodebenedictis
March 25, 2024 15:43 2m 8s memory
memory
March 25, 2024 15:43 2m 8s