Skip to content

Actions: vedadux/cxxsat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed dependency on GLIBC hashing function CMake #18: Commit 032652b pushed by vedadux
July 8, 2024 09:08 48s master
master
July 8, 2024 09:08 48s
Repaired timed solver calls CMake #17: Commit 4b3e339 pushed by vedadux
May 23, 2024 08:41 41s master
master
May 23, 2024 08:41 41s
Minor change to constexpr CMake #16: Commit f2fbd3e pushed by vedadux
May 16, 2024 13:14 45s master
master
May 16, 2024 13:14 45s
Added missing dependency CMake #15: Commit f62647b pushed by vedadux
May 14, 2024 11:18 39s master
master
May 14, 2024 11:18 39s
Added license making the code usable by others CMake #14: Commit fd3bbb6 pushed by vedadux
October 16, 2023 07:47 57s master
master
October 16, 2023 07:47 57s
Merge branch 'master' of github.com:vedadux/cxxsat CMake #13: Commit f4d9c36 pushed by vedadux
October 5, 2023 15:11 1m 32s master
master
October 5, 2023 15:11 1m 32s
Added conversion from bool CMake #12: Commit 505be91 pushed by vedadux
October 3, 2023 09:18 58s master
master
October 3, 2023 09:18 58s
Added output capabilities CMake #11: Commit fccf08d pushed by vedadux
October 3, 2023 07:30 1m 0s master
master
October 3, 2023 07:30 1m 0s
Added xor over multiple CMake #10: Commit ce249ea pushed by vedadux
September 15, 2023 00:16 1m 1s master
master
September 15, 2023 00:16 1m 1s
Create README.md CMake #9: Commit 411b74e pushed by vedadux
August 14, 2023 08:26 1m 1s master
master
August 14, 2023 08:26 1m 1s
Added operator test to cmake CMake #8: Commit 2e39392 pushed by vedadux
August 14, 2023 07:51 1m 12s master
master
August 14, 2023 07:51 1m 12s
Fixed operator issue, spurious big and CMake #7: Commit e7a30a3 pushed by vedadux
August 14, 2023 07:46 1m 12s master
master
August 14, 2023 07:46 1m 12s