|
551c9173
|
2025-08-08T17:03:33
|
|
wip
|
|
|
c7c622ca
|
2025-07-22T04:57:55
|
|
ws: 72 columns
|
|
|
6160bff2
|
2025-07-21T13:03:11
|
|
tests pass: refactor p_*
|
|
|
9f04ff5f
|
2025-03-26T18:37:05
|
|
comment
|
|
|
994d3df5
|
2025-03-14T15:45:02
|
|
wip
|
|
|
db40523c
|
2025-03-02T16:14:12
|
|
Change copyright wording and extend to 2025
|
|
|
112fd77a
|
2025-02-22T16:21:50
|
|
wip www
|
|
efeb8a31
|
2025-02-14T20:07:41
|
|
fix ratio_pow and tests
|
|
|
4e291bf8
|
2024-12-21T16:14:13
|
|
wip compatibility with C++
|
|
|
89ec99cd
|
2024-10-04T22:04:51
|
|
wip facts_with, fx
|
|
|
fe5f26d5
|
2024-09-30T16:46:52
|
|
wip fx properties
|
|
|
57f6d1ad
|
2024-08-05T13:06:41
|
|
wip integer_reduce
|
|
068f23f5
|
2024-08-01T13:35:36
|
|
changed buf_init to buf_init_const
|
|
|
1ae6ad0e
|
2024-07-15T19:59:52
|
|
rename c3 to kc3, fix update_source, configure, build
|