Skip to content

Actions: ratioSolver/SeMiTONE

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
chore: Refactor theory class and add conflict resolution method CMake #197: Commit eec4677 pushed by riccardodebenedictis
July 16, 2024 12:32 1m 45s memory
memory
July 16, 2024 12:32 1m 45s
Update extern/json submodule to latest commit CMake #196: Commit 4c5c312 pushed by riccardodebenedictis
July 1, 2024 14:07 1m 47s memory
memory
July 1, 2024 14:07 1m 47s
Update extern/json submodule to latest commit CMake #195: Commit ab06f52 pushed by riccardodebenedictis
July 1, 2024 13:26 1m 34s memory
memory
July 1, 2024 13:26 1m 34s
chore: Reorder FIRE_ON_VALUE_CHANGED calls in idl_theory.cpp CMake #194: Commit d49fca0 pushed by riccardodebenedictis
June 20, 2024 09:30 1m 46s memory
memory
June 20, 2024 09:30 1m 46s
Update extern/json submodule to latest commit CMake #193: Commit 74030ec pushed by riccardodebenedictis
May 21, 2024 08:45 2m 3s memory
memory
May 21, 2024 08:45 2m 3s
Update extern/json submodule to latest commit CMake #192: Commit 1c9d4f1 pushed by riccardodebenedictis
May 14, 2024 13:32 1m 49s memory
memory
May 14, 2024 13:32 1m 49s
Add badges for build status and code coverage CMake #191: Commit d37f833 pushed by riccardodebenedictis
May 14, 2024 12:25 2m 25s memory
memory
May 14, 2024 12:25 2m 25s
Add next() function to sat_core for advancing state CMake #190: Commit da63c5e pushed by riccardodebenedictis
May 13, 2024 17:12 1m 23s memory
memory
May 13, 2024 17:12 1m 23s
Update extern/json submodule to latest commit CMake #189: Commit ef6297d pushed by riccardodebenedictis
May 13, 2024 12:23 1m 44s memory
memory
May 13, 2024 12:23 1m 44s
Update extern/json submodule to latest commit CMake #188: Commit 3455397 pushed by riccardodebenedictis
May 9, 2024 15:22 1m 13s memory
memory
May 9, 2024 15:22 1m 13s
Update extern/json submodule and optimize JSON serialization in lra_t… CMake #187: Commit c672144 pushed by riccardodebenedictis
May 9, 2024 13:48 1m 42s memory
memory
May 9, 2024 13:48 1m 42s
Update extern/json submodule to latest commit CMake #186: Commit 51717b4 pushed by riccardodebenedictis
May 6, 2024 13:00 2m 0s memory
memory
May 6, 2024 13:00 2m 0s
Update extern/json submodule to latest commit CMake #185: Commit 62a542b pushed by riccardodebenedictis
April 22, 2024 13:35 1m 35s memory
memory
April 22, 2024 13:35 1m 35s
Update extern/json submodule CMake #184: Commit 73c0105 pushed by riccardodebenedictis
April 22, 2024 13:16 1m 37s memory
memory
April 22, 2024 13:16 1m 37s
Update extern/json submodule to latest commit CMake #183: Commit 863e932 pushed by riccardodebenedictis
April 22, 2024 13:12 1m 5s memory
memory
April 22, 2024 13:12 1m 5s
Update CMakeLists.txt and related files to enable visualization features CMake #182: Commit 3cea395 pushed by riccardodebenedictis
April 22, 2024 10:37 1m 19s memory
memory
April 22, 2024 10:37 1m 19s
Update extern/json submodule to latest commit CMake #181: Commit 373f8f9 pushed by riccardodebenedictis
April 22, 2024 10:32 1m 43s memory
memory
April 22, 2024 10:32 1m 43s
Update on_ov_value_change function name to on_ov_value_changed in ov_… CMake #180: Commit ff02a35 pushed by riccardodebenedictis
April 17, 2024 09:13 1m 29s memory
memory
April 17, 2024 09:13 1m 29s
Fix must_propagate function in constr.cpp CMake #179: Commit 90def01 pushed by riccardodebenedictis
April 16, 2024 09:57 1m 29s memory
memory
April 16, 2024 09:57 1m 29s
Update access level of ov_value_listener inheritance in ov_value_list… CMake #178: Commit 51e244e pushed by riccardodebenedictis
April 16, 2024 08:54 1m 34s memory
memory
April 16, 2024 08:54 1m 34s
Update extern/json submodule to commit CMake #177: Commit b8f97c7 pushed by riccardodebenedictis
April 15, 2024 15:37 1m 5s memory
memory
April 15, 2024 15:37 1m 5s
Enable visualization feature in CMakeLists.txt and related files CMake #176: Commit 86e2e78 pushed by riccardodebenedictis
April 14, 2024 08:21 2m 1s memory
memory
April 14, 2024 08:21 2m 1s
Refactor reified conjunction and disjunction creation in sat_core.hpp CMake #175: Commit be43026 pushed by riccardodebenedictis
April 14, 2024 08:14 1m 29s memory
memory
April 14, 2024 08:14 1m 29s
Update CMakeLists.txt and related files to enable visualization features CMake #174: Commit c238065 pushed by riccardodebenedictis
April 14, 2024 06:39 1m 58s memory
memory
April 14, 2024 06:39 1m 58s
Add [[nodiscard]] attribute to new_clause function in sat_core.hpp CMake #173: Commit e91684c pushed by riccardodebenedictis
April 13, 2024 08:50 1m 44s memory
memory
April 13, 2024 08:50 1m 44s