Skip to content

Actions: ratioSolver/RiDDLe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Add formula_statement class to core and env headers CMake #249: Commit 0275de0 pushed by riccardodebenedictis
June 24, 2024 13:44 3m 45s memory
memory
June 24, 2024 13:44 3m 45s
Refactor declaration.cpp to refine base classes by adding parent clas… CMake #248: Commit bdf9d7c pushed by riccardodebenedictis
June 24, 2024 12:01 3m 55s memory
memory
June 24, 2024 12:01 3m 55s
chore: Fix bug in constructor.cpp argument type validation CMake #247: Commit 04dffea pushed by riccardodebenedictis
June 24, 2024 10:37 3m 44s memory
memory
June 24, 2024 10:37 3m 44s
Update extern/utils subproject commit CMake #246: Commit f23ef9d pushed by riccardodebenedictis
May 25, 2024 07:27 3m 46s memory
memory
May 25, 2024 07:27 3m 46s
Update extern/utils subproject commit CMake #245: Commit 40cf5f7 pushed by riccardodebenedictis
May 14, 2024 12:30 3m 45s memory
memory
May 14, 2024 12:30 3m 45s
Add badges for build status and code coverage CMake #244: Commit d901d53 pushed by riccardodebenedictis
May 14, 2024 11:54 3m 53s memory
memory
May 14, 2024 11:54 3m 53s
Refactor core.hpp and type.hpp to add get_types and get_predicates me… CMake #243: Commit 91a8844 pushed by riccardodebenedictis
May 3, 2024 10:39 3m 39s memory
memory
May 3, 2024 10:39 3m 39s
Update extern/utils subproject commit CMake #242: Commit 1a3f47a pushed by riccardodebenedictis
April 22, 2024 13:36 3m 53s memory
memory
April 22, 2024 13:36 3m 53s
Update extern/utils subproject commit CMake #241: Commit 28e6acc pushed by riccardodebenedictis
April 22, 2024 13:16 3m 47s memory
memory
April 22, 2024 13:16 3m 47s
Update extern/utils subproject commit CMake #240: Commit 76a4962 pushed by riccardodebenedictis
April 22, 2024 13:12 1m 11s memory
memory
April 22, 2024 13:12 1m 11s
Update dependencies installation command in .github/workflows/cmake.yml CMake #239: Commit 09d2f65 pushed by riccardodebenedictis
April 22, 2024 10:37 3m 40s memory
memory
April 22, 2024 10:37 3m 40s
Update extern/utils subproject commit CMake #238: Commit 33485dc pushed by riccardodebenedictis
April 22, 2024 10:33 1m 34s memory
memory
April 22, 2024 10:33 1m 34s
Refactor core.hpp and core.cpp to add new_fact and new_goal methods, … CMake #237: Commit e0c6673 pushed by riccardodebenedictis
April 16, 2024 13:04 3m 56s memory
memory
April 16, 2024 13:04 3m 56s
Update type.hpp and type.cpp to add call method in the predicate class CMake #236: Commit 39f4dc6 pushed by riccardodebenedictis
April 16, 2024 12:40 3m 33s memory
memory
April 16, 2024 12:40 3m 33s
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