Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| 7ec48a02 | 2024-08-10 19:11:54 | update test/ikc3 for pretty printer | ||
| 91f6b1ab | 2024-08-04 20:31:29 | fix tests | ||
| d05b6203 | 2024-07-29 14:08:40 | wip tests | ||
| 1ae6ad0e | 2024-07-15 19:59:52 | rename c3 to kc3, fix update_source, configure, build |