|
db40523c
|
2025-03-02T16:14:12
|
|
Change copyright wording and extend to 2025
|
|
efeb8a31
|
2025-02-14T20:07:41
|
|
fix ratio_pow and tests
|
|
|
1b0c0733
|
2025-02-14T17:57:01
|
|
fix ratio test parse
|
|
|
436b0821
|
2025-02-12T18:47:48
|
|
ratio , ratio_test
|
|
|
1792fa78
|
2024-08-10T15:32:54
|
|
fixed compilation of tests
|
|
|
1ae6ad0e
|
2024-07-15T19:59:52
|
|
rename c3 to kc3, fix update_source, configure, build
|
|
|
28f667db
|
2024-03-07T16:43:31
|
|
ratio_test
|
|
5d266f52
|
2024-03-07T13:38:49
|
|
ways to test the ratios with and without ic3
|