test


Log

Author Commit Date CI Message
Thomas de Grivel 1ae6ad0e 2024-07-15T19:59:52 rename c3 to kc3, fix update_source, configure, build
Thomas de Grivel ce9dde32 2024-07-08T12:53:11 test/ic3/access fix test (typo)
Thomas de Grivel 715ba991 2024-07-08T12:44:21 test/ic3/access fix test
Thomas de Grivel def9a1d2 2024-07-14T14:50:40 fix struct_access
Thomas de Grivel 7f453dbd 2024-07-07T22:57:42 access: buf_parse, buf_inspect, more tests
Thomas de Grivel 8386c204 2024-07-14T23:22:09 wip let
Thomas de Grivel c9c5bf5a 2024-07-13T16:25:56 test access in string
Thomas de Grivel 9738844f 2024-07-07T20:29:13 test/ic3/access (ko)
Thomas de Grivel afe830b5 2024-06-30T00:40:39 fix test/ic3/gl because gl_object_clean is not part of libc3
Thomas de Grivel 5760a397 2024-07-04T19:18:34 update_sources (config.h)
Thomas de Grivel da83a895 2024-06-28T12:17:54 configure: add CFLAGS for i386 FPU excess precision
Thomas de Grivel 21d315b1 2024-06-27T09:36:34 add tests for GL
Thomas de Grivel 739fb56f 2024-06-26T21:45:58 fix gcov build
Thomas de Grivel 0a2d47e2 2024-06-25T14:03:24 fix test/ic3/defoperator.out.expected
Thomas de Grivel 5abf82ab 2024-06-25T12:22:11 fix defstruct with var
Thomas de Grivel a376eb62 2024-06-25T09:58:53 module_load(module, facts) -> env_module_load(env, module)
Thomas de Grivel 1346168e 2024-05-21T21:05:32 libc3_test ok, wip ic3_test
Thomas de Grivel 0cbdc44d 2024-05-21T05:45:55 wip error handling
Thomas de Grivel 4342defd 2024-04-22T23:45:36 wip defmodule
Thomas de Grivel e3af212b 2024-04-13T10:07:36 defmodule + def + fn + call
Thomas de Grivel db33f90c 2024-04-11T09:14:53 wip defmodule: add tests
Thomas de Grivel 3b48fce4 2024-04-10T15:20:17 wip defoperator + var_init_cast
Thomas de Grivel d8e2c25e 2024-04-04T19:48:43 wip defoperator (struct)
Thomas de Grivel 79145ea6 2024-04-04T17:02:59 new syntax for defoperator
Thomas de Grivel 2a2a7cb5 2024-04-02T11:30:34 defoperator tests
Thomas de Grivel 7dd49b66 2024-04-02T10:35:25 wip defoperator
Thomas de Grivel 1f71e2bf 2024-03-30T06:27:46 add tests for defmodule
Thomas de Grivel 9d080f56 2024-03-29T20:41:39 defmodule + def
Thomas de Grivel dc371756 2024-03-28T06:55:35 wip defmodule
Thomas de Grivel 10969336 2024-03-27T21:10:37 wip defmodule
Thomas de Grivel 6d801ead 2024-04-29T22:57:41 wip def
Thomas de Grivel 8f7b872a 2024-04-24T13:13:57 new tests for def
Thomas de Grivel eba0bafc 2024-04-23T20:30:06 wip defmodule
Thomas de Grivel 7aa669ff 2024-03-24T17:57:47 wip config.subr clean build prog
Thomas de Grivel 8a44ec9d 2024-03-23T14:49:15 better definition for double_tuple
Thomas de Grivel 3b8369a1 2024-03-23T05:35:45 fix def
Thomas de Grivel c5072aee 2024-03-22T19:07:49 add tests for def
Thomas de Grivel 14d8a65a 2024-03-18T08:46:51 fix tests
Baptiste 4b17a5f5 2024-03-07T18:13:50 more tests
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
Thomas de Grivel 327407ea 2024-03-01T15:34:18 remove <err.h>, file_open
Thomas de Grivel 49c9071c 2024-03-05T20:34:52 test complex +i
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 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 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 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 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 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 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 585030fc 2023-11-15T00:54:03 configure and 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 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 b594a789 2023-11-14T22:39:42 cairo quartz build