test


Log

Author Commit Date CI Message
Thomas de Grivel f1593987 2023-11-30T19:19:57 wip tests
Thomas de Grivel 6e7a2ed4 2023-11-30T13:07:39 refactor buf_init
Thomas de Grivel 6b9d1659 2023-11-26T16:03:18 wip toasters
Thomas de Grivel 35d87434 2023-11-26T15:17:58 fix tests
Thomas de Grivel bde0575f 2023-11-26T02:48:50 wip toasters
Thomas de Grivel 6578e67b 2023-11-25T22:55:26 wip
Thomas de Grivel 37e3b29d 2023-11-22T16:42:30 wip win64
Thomas de Grivel 92b17b5b 2023-11-21T13:16:09 wip win32
Thomas de Grivel 5abeef4b 2023-11-20T11:48:29 wip asan
Thomas de Grivel 17c95f81 2023-11-17T12:30:52 wip map
Thomas de Grivel a17ee5f0 2023-11-15T11:18:02 wip tests
Thomas de Grivel ec70bc2f 2023-11-15T10:53:30 configure
Thomas de Grivel 585030fc 2023-11-15T00:54:03 configure and tests
Thomas de Grivel b594a789 2023-11-14T22:39:42 cairo quartz build
Thomas de Grivel 566ccd7e 2023-11-14T09:27:23 use printf
Thomas de Grivel e18e012b 2023-11-13T16:35:44 map tests
Thomas de Grivel e45d6e2f 2023-11-19T20:44:37 compare_map
Thomas de Grivel d2587241 2023-11-19T15:21:58 map: pattern matching
Thomas de Grivel d1c45502 2023-11-19T14:07:20 fix map
Thomas de Grivel 6bd430d3 2023-11-10T19:48:18 wip floats, use printf for ic3_test
Thomas de Grivel 01c6640a 2023-11-10T09:11:37 asan
Thomas de Grivel b6f02530 2023-11-09T21:26:09 list change from paren () to brackets []
Thomas de Grivel 817493c6 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel a7f7fd10 2023-11-05T09:34:33 ic3_test
Thomas de Grivel b2b63372 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel f6a73036 2023-11-03T14:27:52 () -> (void)
Thomas de Grivel aa9082b9 2023-11-03T14:18:44 wip macosx
Thomas de Grivel 69ef815a 2023-10-30T11:13:40 more tests
Thomas de Grivel a55117c4 2023-10-28T12:40:43 fixed tag_mod
Thomas de Grivel d76c54db 2023-10-27T23:54:45 wip test_ic3 integer_mod
Thomas de Grivel 70abf3fe 2023-10-27T23:13:07 wip tag_mod
Thomas de Grivel dffd7fcf 2023-10-27T20:47:31 wip test_ic3 bor
Thomas de Grivel 29024978 2023-10-26T11:44:30 license
Thomas de Grivel 4534c0ce 2023-10-26T10:27:32 wip ptr
Thomas de Grivel e5e919c4 2023-10-23T22:04:39 chmod
Thomas de Grivel 4639d19e 2023-10-23T15:18:31 replace system("cp ...") with file_copy
Thomas de Grivel f59f6782 2023-10-21T17:02:16 fix build on OpenBSD
Thomas de Grivel 10b672c8 2023-10-21T15:02:36 fix asan
Thomas de Grivel 9809bcf9 2023-10-21T14:57:54 fixed operators
Thomas de Grivel 71dcf362 2023-10-21T02:17:19 wip operators
Thomas de Grivel 40d82979 2023-10-21T01:25:11 wip operators
Thomas de Grivel 9837c5b4 2023-10-20T23:03:40 wip operator, segv
Thomas de Grivel 78aced3b 2023-10-20T12:38:38 wip various bugfixes
Thomas de Grivel fe10fe41 2023-10-18T23:03:59 undefined
Thomas de Grivel 23a08232 2023-10-18T22:12:07 make test_ic3_asan
Thomas de Grivel 9faa0c30 2023-10-16T00:12:08 -no-undefined in LDFLAGS, breaks debug build of libtommath components
Thomas de Grivel 9a7a5fe3 2023-10-01T19:50:23 fixed (List) arrays
Thomas de Grivel c21e333e 2023-10-01T19:44:40 fixed (List) arrays
Thomas de Grivel af40ba86 2023-10-01T18:14:02 wip (List) arrays
Thomas de Grivel 6eae16af 2023-09-25T16:13:06 fix use after free
Thomas de Grivel 453f5581 2023-09-24T11:57:36 wip integer arrays
Thomas de Grivel 7271f0fc 2023-09-23T08:44:38 wip integer arrays
Thomas de Grivel 4abf52d5 2023-09-22T17:35:28 (U*) and (S*) arrays
Thomas de Grivel b25494f1 2023-09-20T15:09:54 fix arrays
Thomas de Grivel b9f9b82d 2023-09-20T00:21:12 fix tests
Thomas de Grivel 48449333 2023-09-19T22:55:33 add array tests
Thomas de Grivel dcfaefec 2023-09-19T17:15:38 fix array tests
Thomas de Grivel e077b7bf 2023-09-19T17:15:38 fix array tests
Thomas de Grivel 2c1ce7f2 2023-09-19T15:23:28 wip arrays
Thomas de Grivel 27dc573f 2023-09-18T15:10:02 cast
Thomas de Grivel 9523ec9d 2023-09-11T11:36:58 buf_inspect_call_brackets
Thomas de Grivel f131055e 2023-09-10T14:18:55 fix env_eval_equal_tag
Thomas de Grivel 09d658e5 2023-09-08T09:52:33 fix array tests
Thomas de Grivel 26a03f17 2023-09-07T12:13:27 wip segv =
Thomas de Grivel 059e7659 2023-09-06T12:16:22 module_load records load time
Thomas de Grivel 83a9986c 2023-09-05T15:22:30 asan
Thomas de Grivel d8737fd4 2023-09-05T15:16:41 tests ok
Thomas de Grivel 5282e1c1 2023-09-04T17:16:02 wip
Thomas de Grivel 505fbb73 2023-09-03T21:52:55 eval is evil
Thomas de Grivel 6221f4b7 2023-08-29T18:59:24 tests ok
Thomas de Grivel 56fef92e 2023-08-29T15:21:38 wip
Thomas de Grivel 1294078b 2023-08-29T14:59:04 configure
Thomas de Grivel 37ebe824 2023-08-29T14:21:55 wip call refactor
Thomas de Grivel 38f69099 2023-08-27T18:49:57 test array
Thomas de Grivel d82ec9d6 2023-08-27T12:48:43 refactor compare
Thomas de Grivel 5758ea80 2023-08-24T11:02:11 asan
Thomas de Grivel 9e7043b3 2023-08-21T23:53:58 coverage
Thomas de Grivel 675ef284 2023-08-21T20:07:53 array_tests
Thomas de Grivel d2370c72 2023-08-21T12:41:30 make test_gcovr
Thomas de Grivel dc4837db 2023-08-21T11:59:26 make test_gcovr
Thomas de Grivel 37b09c72 2023-08-21T11:35:20 wip cov
Thomas de Grivel 27b5b4d9 2023-08-21T11:00:54 wip gcovr
Thomas de Grivel e9cff855 2023-08-20T20:35:09 add tests for integer
Thomas de Grivel 69f7efaf 2023-08-20T13:38:37 fix -ldl
Thomas de Grivel 2841aa2b 2023-08-19T16:03:06 pthread
Thomas de Grivel 516ad3aa 2023-08-19T15:46:32 try to fix asan build
Thomas de Grivel 96e7adea 2023-08-19T15:44:23 try to fix asan build
Thomas de Grivel 2ab2ccf0 2023-08-19T15:42:14 try to fix asan build
Thomas de Grivel 9ca05267 2023-08-18T10:26:52 libffi.a
Thomas de Grivel 085a911f 2023-08-17T19:20:38 configure
Thomas de Grivel 6f6b9a33 2023-08-16T18:28:48 update
Thomas de Grivel f76b09b7 2023-08-15T11:14:15 tag_add
Thomas de Grivel d96ba0ce 2023-08-15T10:03:30 wip tag_add
Thomas de Grivel 19f2ece7 2023-08-12T16:52:22 remove ; in functions
Thomas de Grivel 2bcb9130 2023-08-12T16:13:06 tests
Thomas de Grivel c0a83f32 2023-08-12T14:04:12 fix ci test_asan
Thomas de Grivel 83a58383 2023-08-12T10:06:30 fix tag_mul
Thomas de Grivel 29a543e0 2023-08-12T09:08:08 fix call
Thomas de Grivel 72e97a94 2023-08-09T16:32:52 test equal (=)
Thomas de Grivel 6ad7803d 2023-08-09T08:41:50 wip tag operations