test


Log

Author Commit Date CI Message
Thomas de Grivel 513ad7c3 2024-04-29T22:57:41 wip def
Thomas de Grivel d3d90b72 2024-04-24T13:13:57 new tests for def
Thomas de Grivel 63cc8d91 2024-04-23T20:30:06 wip defmodule
Thomas de Grivel 820c00e8 2024-04-22T23:45:36 wip defmodule
Thomas de Grivel b78c9184 2024-04-13T10:07:36 defmodule + def + fn + call
Thomas de Grivel ce124481 2024-04-11T09:14:53 wip defmodule: add tests
Thomas de Grivel fd3b6ed3 2024-04-10T15:20:17 wip defoperator + var_init_cast
Thomas de Grivel 2136d633 2024-04-04T19:48:43 wip defoperator (struct)
Thomas de Grivel e5395291 2024-04-04T17:02:59 new syntax for defoperator
Thomas de Grivel 1e03bfe8 2024-04-02T11:30:34 defoperator tests
Thomas de Grivel 81f1589f 2024-04-02T10:35:25 wip defoperator
Thomas de Grivel dc238ef6 2024-03-30T06:27:46 add tests for defmodule
Thomas de Grivel fd65c24d 2024-03-29T20:41:39 defmodule + def
Thomas de Grivel 0f432935 2024-03-28T06:55:35 wip defmodule
Thomas de Grivel 55c3625a 2024-03-27T21:10:37 wip defmodule
Thomas de Grivel b1428938 2024-03-24T17:57:47 wip config.subr clean build prog
Thomas de Grivel ad6ed9cd 2024-03-23T14:49:15 better definition for double_tuple
Thomas de Grivel 1c4811bd 2024-03-23T05:35:45 fix def
Thomas de Grivel dbdf6fcf 2024-03-22T19:07:49 add tests for def
Thomas de Grivel 57004d43 2024-03-18T08:46:51 fix tests
Baptiste 72410d87 2024-03-07T18:13:50 more tests
Thomas de Grivel e641886d 2024-03-07T16:57:34 test complex mul
Thomas de Grivel 173cc771 2024-03-07T16:43:31 ratio_test
Thomas de Grivel f37da10b 2024-03-07T16:19:51 update sources
Baptiste c228f46d 2024-03-07T13:38:49 ways to test the ratios with and without ic3
Thomas de Grivel d0225331 2024-03-05T20:34:52 test complex +i
Thomas de Grivel e26302ae 2024-03-05T13:25:29 complex
Thomas de Grivel 5842dc1e 2024-03-04T20:47:29 rename operators
Thomas de Grivel fcdc9b5c 2024-03-04T20:10:01 call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
Thomas de Grivel f0401f0c 2024-03-04T14:19:12 license
Thomas de Grivel 15a4ac4c 2024-03-01T15:34:18 remove <err.h>, file_open
Thomas de Grivel bfdcb5ef 2024-02-28T16:26:14 ratio_neg
Thomas de Grivel fa5168d4 2024-02-28T16:09:55 ic3 test ratio
Thomas de Grivel 257255b6 2024-02-21T21:21:23 ruby-style if
Thomas de Grivel 89290555 2024-02-20T22:35:00 if then else
Thomas de Grivel 3d464e7c 2024-02-18T21:00:36 fix unquote
Thomas de Grivel a667bc34 2024-02-18T13:34:40 wip unquote
Thomas de Grivel a00c6380 2024-02-17T10:32:31 test macros
Thomas de Grivel a906ccc7 2024-02-16T11:48:30 wip macros
Thomas de Grivel edac15b8 2024-02-14T14:58:22 pin operator
Thomas de Grivel a15d9159 2024-02-12T19:45:10 fix buf_parse
Thomas de Grivel eb5c1ecc 2024-02-11T13:52:16 test ic3 block
Thomas de Grivel f1a68719 2024-02-10T09:42:17 test ic3 block
Thomas de Grivel 10a8b6fd 2024-02-09T20:29:24 wip block
Thomas de Grivel 7902eee2 2024-02-02T20:10:29 quote unquote
Thomas de Grivel 282059bb 2024-01-29T18:17:51 c11 -> use system libffi
Thomas de Grivel bc2be368 2024-01-29T17:38:22 str eval
Thomas de Grivel ebd2d0a0 2024-01-24T21:39:28 wip
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