test/ic3


Log

Author Commit Date CI Message
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 0cbdc44d 2024-05-21T05:45:55 wip error handling
Thomas de Grivel 21d315b1 2024-06-27T09:36:34 add tests for GL
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 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 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 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
Baptiste 5d266f52 2024-03-07T13:38:49 ways to test the ratios with and without ic3
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 6fc80e8b 2024-03-04T20:10:01 call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
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 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 f0cee1e5 2024-01-29T17:38:22 str eval
Thomas de Grivel 6a680c95 2024-01-22T22:04:38 fix arrays
Thomas de Grivel 581fbfc4 2024-01-05T18:12:59 struct
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 df9634eb 2023-12-14T01:13:47 wip struct
Thomas de Grivel ddcdedba 2023-12-11T19:54:18 assert.h err.h
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 e18e012b 2023-11-13T16:35:44 map tests
Thomas de Grivel 17c95f81 2023-11-17T12:30:52 wip map
Thomas de Grivel b6f02530 2023-11-09T21:26:09 list change from paren () to brackets []
Thomas de Grivel aa9082b9 2023-11-03T14:18:44 wip macosx
Thomas de Grivel 817493c6 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel b2b63372 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel 4534c0ce 2023-10-26T10:27:32 wip ptr
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 9809bcf9 2023-10-21T14:57:54 fixed operators
Thomas de Grivel 71dcf362 2023-10-21T02:17:19 wip operators
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 b9f9b82d 2023-09-20T00:21:12 fix tests
Thomas de Grivel 48449333 2023-09-19T22:55:33 add 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 d8737fd4 2023-09-05T15:16:41 tests ok
Thomas de Grivel 505fbb73 2023-09-03T21:52:55 eval is evil
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 e9cff855 2023-08-20T20:35:09 add tests for integer
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 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
Thomas de Grivel f37dc90f 2023-08-08T21:17:20 wip test/ic3/integer