test/ic3/integer.lisp


Log

Author Commit Date CI Message
Thomas de Grivel ccab967a 2023-11-19T14:07:20 fix map
Thomas de Grivel c3944ee1 2023-11-17T12:30:52 wip map
Thomas de Grivel d99bb5d5 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel 216bb251 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel fab80e98 2023-11-03T14:18:44 wip macosx
Thomas de Grivel 0ce93878 2023-10-30T11:13:40 more tests
Thomas de Grivel 503c47d0 2023-10-28T12:40:43 fixed tag_mod
Thomas de Grivel a4176bf9 2023-10-27T23:54:45 wip test_ic3 integer_mod
Thomas de Grivel e729829a 2023-10-27T23:13:07 wip tag_mod
Thomas de Grivel f69486fd 2023-10-27T20:47:31 wip test_ic3 bor
Thomas de Grivel 8efa6658 2023-10-26T11:44:30 license
Thomas de Grivel e601bf6a 2023-10-26T10:27:32 wip ptr
Thomas de Grivel d82ec9d6 2023-08-27T12:48:43 refactor compare
Thomas de Grivel e9cff855 2023-08-20T20:35:09 add tests for integer
Thomas de Grivel 6f6b9a33 2023-08-16T18:28:48 update
Thomas de Grivel 2bcb9130 2023-08-12T16:13:06 tests
Thomas de Grivel f37dc90f 2023-08-08T21:17:20 wip test/ic3/integer
Thomas de Grivel d09cbd80 2023-08-07T15:52:18 add more tests for integer
Thomas de Grivel f533a6ed 2023-08-04T19:08:27 integer