Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| d1c45502 | 2023-11-19 14:07:20 | fix map | ||
| 17c95f81 | 2023-11-17 12:30:52 | wip map | ||
| 817493c6 | 2023-11-07 12:26:11 | fix integer tests | ||
| b2b63372 | 2023-11-03 16:31:26 | show supported systems in README.md, fix tests | ||
| aa9082b9 | 2023-11-03 14:18:44 | wip macosx | ||
| 69ef815a | 2023-10-30 11:13:40 | more tests | ||
| a55117c4 | 2023-10-28 12:40:43 | fixed tag_mod | ||
| d76c54db | 2023-10-27 23:54:45 | wip test_ic3 integer_mod | ||
| 70abf3fe | 2023-10-27 23:13:07 | wip tag_mod | ||
| dffd7fcf | 2023-10-27 20:47:31 | wip test_ic3 bor | ||
| 29024978 | 2023-10-26 11:44:30 | license | ||
| 4534c0ce | 2023-10-26 10:27:32 | wip ptr | ||
| d82ec9d6 | 2023-08-27 12:48:43 | refactor compare | ||
| e9cff855 | 2023-08-20 20:35:09 | add tests for integer | ||
| 6f6b9a33 | 2023-08-16 18:28:48 | update | ||
| 2bcb9130 | 2023-08-12 16:13:06 | tests | ||
| f37dc90f | 2023-08-08 21:17:20 | wip test/ic3/integer | ||
| d09cbd80 | 2023-08-07 15:52:18 | add more tests for integer | ||
| f533a6ed | 2023-08-04 19:08:27 | integer |