test/ic3/equal.in


Log

Author Commit Date CI Message
Thomas de Grivel edac15b8 2024-02-14T14:58:22 pin operator
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 a530db5a 2023-11-09T21:26:09 list change from paren () to brackets []
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 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 d8737fd4 2023-09-05T15:16:41 tests ok
Thomas de Grivel 72e97a94 2023-08-09T16:32:52 test equal (=)