Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| db40523c | 2025-03-02 16:14:12 | Change copyright wording and extend to 2025 | ||
| efeb8a31 | 2025-02-14 20:07:41 | fix ratio_pow and tests | ||
| 1b0c0733 | 2025-02-14 17:57:01 | fix ratio test parse | ||
| 436b0821 | 2025-02-12 18:47:48 | ratio , ratio_test | ||
| 1792fa78 | 2024-08-10 15:32:54 | fixed compilation of tests | ||
| 1ae6ad0e | 2024-07-15 19:59:52 | rename c3 to kc3, fix update_source, configure, build | ||
| 28f667db | 2024-03-07 16:43:31 | ratio_test | ||
| 5d266f52 | 2024-03-07 13:38:49 | ways to test the ratios with and without ic3 |