Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| b5109da2 | 2024-08-31 10:27:10 | test ikc3 defoperator OK | ||
| 7f69abab | 2024-08-27 12:27:38 | wip tests | ||
| 7ec48a02 | 2024-08-10 19:11:54 | update test/ikc3 for pretty printer | ||
| 9d79bd0c | 2024-08-04 19:54:53 | wip integers and cast | ||
| d05b6203 | 2024-07-29 14:08:40 | wip tests | ||
| b45456dc | 2024-07-15 22:39:24 | rename c3 -> kc3 | ||
| 1ae6ad0e | 2024-07-15 19:59:52 | rename c3 to kc3, fix update_source, configure, build |