test


Log

Author Commit Date CI Message
Thomas de Grivel 25015bd8 2024-01-22T22:04:38 fix arrays
Thomas de Grivel 6d0844c0 2024-01-22T20:43:40 sym_array_type
Thomas de Grivel 00231632 2024-01-13T12:38:54 tag_sym_1 -> tag_sym
Thomas de Grivel 13e2adf3 2024-01-10T12:20:21 s8 -> char
Thomas de Grivel 08be39f5 2024-01-05T18:12:59 struct
Thomas de Grivel f2d21c5b 2024-01-05T09:56:44 buf_inspect_f32 buf_inspect_f64
Thomas de Grivel 90e2bddb 2024-01-04T16:53:18 wip buf_inspect_f32
Thomas de Grivel 08720bd2 2024-01-04T15:42:50 wip buf_inspect_f32
Thomas de Grivel b1e32eb1 2024-01-04T12:48:23 wip buf_inspect_f32 buf_inspect_f64
Thomas de Grivel c1658758 2024-01-03T11:06:46 wip data and struct
Thomas de Grivel e301f8f9 2023-12-21T02:50:45 wip asan
Thomas de Grivel 387ec06e 2023-12-14T18:50:55 sources.mk
Thomas de Grivel 44f16529 2023-12-14T01:13:47 wip struct
Thomas de Grivel 89b8b8c1 2023-12-13T23:56:40 win32
Thomas de Grivel aefd4bc1 2023-12-12T01:12:15 without bzero
Thomas de Grivel 7cc90a5b 2023-12-11T20:43:06 fix assert.h
Thomas de Grivel 1b03fd70 2023-12-11T19:54:18 assert.h err.h
Thomas de Grivel 94283eb1 2023-11-30T19:19:57 wip tests
Thomas de Grivel ca3f13a5 2023-11-30T13:07:39 refactor buf_init
Thomas de Grivel f24158c7 2023-11-26T16:03:18 wip toasters
Thomas de Grivel 83600d6b 2023-11-26T15:17:58 fix tests
Thomas de Grivel 7f38dc6c 2023-11-26T02:48:50 wip toasters
Thomas de Grivel 3dc695d1 2023-11-25T22:55:26 wip
Thomas de Grivel bd27c8d9 2023-11-22T16:42:30 wip win64
Thomas de Grivel af1a66a4 2023-11-21T13:16:09 wip win32
Thomas de Grivel b5741532 2023-11-20T11:48:29 wip asan
Thomas de Grivel a78a6f18 2023-11-19T20:44:37 compare_map
Thomas de Grivel cf10b673 2023-11-19T15:21:58 map: pattern matching
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 749ec084 2023-11-15T11:18:02 wip tests
Thomas de Grivel 95e34ec3 2023-11-15T10:53:30 configure
Thomas de Grivel 6ee6b874 2023-11-15T00:54:03 configure and tests
Thomas de Grivel b285c1cc 2023-11-14T22:39:42 cairo quartz build
Thomas de Grivel d23ae43c 2023-11-14T09:27:23 use printf
Thomas de Grivel 0b4170ce 2023-11-13T16:35:44 map tests
Thomas de Grivel f7bc8cd7 2023-11-10T19:48:18 wip floats, use printf for ic3_test
Thomas de Grivel fdcca9c3 2023-11-10T09:11:37 asan
Thomas de Grivel a530db5a 2023-11-09T21:26:09 list change from paren () to brackets []
Thomas de Grivel d99bb5d5 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel f82c7a12 2023-11-05T09:34:33 ic3_test
Thomas de Grivel 216bb251 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel bd5c44ad 2023-11-03T14:27:52 () -> (void)
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 808ff11d 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