test/ic3


Log

Author Commit Date CI Message
Thomas de Grivel 44f16529 2023-12-14T01:13:47 wip struct
Thomas de Grivel 1b03fd70 2023-12-11T19:54:18 assert.h err.h
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 0b4170ce 2023-11-13T16:35:44 map tests
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 216bb251 2023-11-03T16:31:26 show supported systems in README.md, fix tests
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 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
Thomas de Grivel d09cbd80 2023-08-07T15:52:18 add more tests for integer
Thomas de Grivel f533a6ed 2023-08-04T19:08:27 integer
Thomas de Grivel 50ea6fde 2023-08-04T15:18:05 wip
Thomas de Grivel fb98c7c3 2023-07-29T21:52:00 wip
Thomas de Grivel 4e71dadc 2023-07-27T15:25:59 ! ! true
Thomas de Grivel 18e8c357 2023-07-26T12:54:04 test boolean comparison operators
Thomas de Grivel a6778fb3 2023-07-25T23:37:33 fix buf_inspect_fn
Thomas de Grivel 5da26941 2023-07-25T23:08:48 remove whitespace from ic3
Thomas de Grivel 0c3101e8 2023-07-25T22:59:08 unary operator ! not
Thomas de Grivel 7f6443d3 2023-07-25T22:13:58 wip
Thomas de Grivel 291b02e6 2023-07-24T13:05:07 buf_parse_character
Thomas de Grivel 35c652a6 2023-07-23T19:44:38 wip buf_inspect_array
Thomas de Grivel e972b8f8 2023-07-16T15:15:44 wip
Thomas de Grivel 7336628f 2023-07-14T11:24:20 wip
Thomas de Grivel e0b7486f 2023-07-10T10:24:33 wip
Thomas de Grivel a1c55808 2023-04-07T17:49:02 wip array
Thomas de Grivel 5c473695 2023-04-02T07:23:45 wip array
Thomas de Grivel 6dc15b73 2023-03-17T19:03:29 test/ic3/op
Thomas de Grivel 7eabb9c2 2023-03-15T21:35:32 cfn
Thomas de Grivel d5ac2337 2023-03-14T08:44:05 buf_parse_call_op
Thomas de Grivel b6c22745 2023-03-14T08:13:59 wip double free
Thomas de Grivel 4cc834e5 2023-03-13T19:22:40 buf_parse_call_op
Thomas de Grivel 7ede0732 2023-03-12T09:31:47 tests
Thomas de Grivel 7d90603a 2023-03-07T15:25:22 fix tests
Thomas de Grivel 6926d695 2023-03-03T16:47:47 wip
Thomas de Grivel 0ea9939d 2023-02-12T18:45:57 wip
Thomas de Grivel bc256e04 2023-02-11T12:54:42 test/ic3/call.in
Thomas de Grivel eb306d97 2023-02-11T09:35:05 wip
Thomas de Grivel 29586007 2023-02-11T01:03:55 fn
Thomas de Grivel 493d1f2b 2023-02-10T17:53:26 wip fn
Thomas de Grivel e7f8646f 2023-02-10T10:28:47 fn wip
Thomas de Grivel 79b54579 2023-02-02T17:31:53 wip
Thomas de Grivel 32d7a754 2023-01-28T19:09:12 tests
Thomas de Grivel 9cecb3cd 2023-01-28T18:27:58 test add
Thomas de Grivel 8bd828d3 2023-01-22T19:13:06 tuple test
Thomas de Grivel 27db4062 2022-12-31T01:43:49 tests ok
Thomas de Grivel 3c3beb53 2022-12-18T21:17:49 wip error
Thomas de Grivel 865d1524 2022-10-31T00:50:45 c3-lang