test


Log

Author Commit Date CI Message
Thomas de Grivel ae261507 2024-03-07T16:57:34 test complex mul
Thomas de Grivel 28f667db 2024-03-07T16:43:31 ratio_test
Thomas de Grivel e190e6a8 2024-03-07T16:19:51 update sources
Baptiste 5d266f52 2024-03-07T13:38:49 ways to test the ratios with and without ic3
Baptiste 4b17a5f5 2024-03-07T18:13:50 more tests
Thomas de Grivel 49c9071c 2024-03-05T20:34:52 test complex +i
Thomas de Grivel 327407ea 2024-03-01T15:34:18 remove <err.h>, file_open
Thomas de Grivel b66b74da 2024-03-05T13:25:29 complex
Thomas de Grivel 9e5a5688 2024-03-04T20:47:29 rename operators
Thomas de Grivel 6fc80e8b 2024-03-04T20:10:01 call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
Thomas de Grivel 7f2f72e4 2024-03-04T14:19:12 license
Thomas de Grivel 3a4ae5af 2024-02-20T22:35:00 if then else
Thomas de Grivel fd1b09c2 2024-02-18T21:00:36 fix unquote
Thomas de Grivel 097391e6 2024-02-18T13:34:40 wip unquote
Thomas de Grivel 672c6055 2024-02-17T10:32:31 test macros
Thomas de Grivel d9932537 2024-02-16T11:48:30 wip macros
Thomas de Grivel 50fd4285 2024-02-28T16:26:14 ratio_neg
Thomas de Grivel 795a2cd7 2024-02-28T16:09:55 ic3 test ratio
Thomas de Grivel e2ea623f 2024-02-21T21:21:23 ruby-style if
Thomas de Grivel 94329ef3 2024-02-14T14:58:22 pin operator
Thomas de Grivel b7c69b9f 2024-02-12T19:45:10 fix buf_parse
Thomas de Grivel 4a838bf1 2024-02-11T13:52:16 test ic3 block
Thomas de Grivel b2c15d58 2024-02-10T09:42:17 test ic3 block
Thomas de Grivel 5928f6c4 2024-02-09T20:29:24 wip block
Thomas de Grivel b998bad3 2024-02-02T20:10:29 quote unquote
Thomas de Grivel 8b68a241 2024-01-29T18:17:51 c11 -> use system libffi
Thomas de Grivel f0cee1e5 2024-01-29T17:38:22 str eval
Thomas de Grivel 0c1e2386 2024-01-24T21:39:28 wip
Thomas de Grivel 6a680c95 2024-01-22T22:04:38 fix arrays
Thomas de Grivel cc225506 2024-01-22T20:43:40 sym_array_type
Thomas de Grivel 581fbfc4 2024-01-05T18:12:59 struct
Thomas de Grivel 05cf8d3d 2024-01-05T09:56:44 buf_inspect_f32 buf_inspect_f64
Thomas de Grivel 5754b004 2024-01-04T16:53:18 wip buf_inspect_f32
Thomas de Grivel ea1fdf97 2024-01-04T15:42:50 wip buf_inspect_f32
Thomas de Grivel 35513811 2024-01-04T12:48:23 wip buf_inspect_f32 buf_inspect_f64
Thomas de Grivel 4fdc57d3 2024-01-03T11:06:46 wip data and struct
Thomas de Grivel 3b677e28 2024-01-13T12:38:54 tag_sym_1 -> tag_sym
Thomas de Grivel e8360897 2024-01-10T12:20:21 s8 -> char
Thomas de Grivel c237b4ce 2023-12-21T02:50:45 wip asan
Thomas de Grivel fddc7d94 2023-12-14T18:50:55 sources.mk
Thomas de Grivel df9634eb 2023-12-14T01:13:47 wip struct
Thomas de Grivel d72caebf 2023-12-13T23:56:40 win32
Thomas de Grivel aea391d4 2023-12-12T01:12:15 without bzero
Thomas de Grivel 681fed09 2023-12-11T20:43:06 fix assert.h
Thomas de Grivel ddcdedba 2023-12-11T19:54:18 assert.h err.h
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 d2587241 2023-11-19T15:21:58 map: pattern matching
Thomas de Grivel d1c45502 2023-11-19T14:07:20 fix map
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 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