Log

Author Commit Date CI Message
Thomas de Grivel 2c1ce7f2 2023-09-19T15:23:28 wip arrays
Thomas de Grivel 27dc573f 2023-09-18T15:10:02 cast
Thomas de Grivel 55d890fe 2023-09-17T15:29:29 add examples
Thomas de Grivel 9523ec9d 2023-09-11T11:36:58 buf_inspect_call_brackets
Thomas de Grivel 67a638f7 2023-09-10T20:08:20 fix tests
Thomas de Grivel b7513c9e 2023-09-10T19:47:16 fix env_eval_equal_tag and ident_get
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 b5ad083c 2023-09-07T12:22:55 reload facts if file changed
Thomas de Grivel 26a03f17 2023-09-07T12:13:27 wip segv =
Thomas de Grivel 3440371d 2023-09-07T11:29:18 wip ic3
Thomas de Grivel 32021d1f 2023-09-07T11:27:48 wip ic3
Thomas de Grivel 56a6b43c 2023-09-07T11:18:25 wip asan
Thomas de Grivel d2292241 2023-09-07T11:17:56 wip asan
Thomas de Grivel 2f16b6c6 2023-09-07T11:15:03 wip asan
Thomas de Grivel 3835b2b8 2023-09-07T11:09:16 wip asan
Thomas de Grivel f4402422 2023-09-07T11:04:26 wip segv
Thomas de Grivel 72882177 2023-09-07T10:51:28 wip segv
Thomas de Grivel 1728b0c4 2023-09-06T14:38:09 wip replace
Thomas de Grivel 059e7659 2023-09-06T12:16:22 module_load records load time
Thomas de Grivel 4344f1fe 2023-09-05T17:29:09 List.reverse
Thomas de Grivel 83a9986c 2023-09-05T15:22:30 asan
Thomas de Grivel d8737fd4 2023-09-05T15:16:41 tests ok
Thomas de Grivel 5282e1c1 2023-09-04T17:16:02 wip
Thomas de Grivel 505fbb73 2023-09-03T21:52:55 eval is evil
Thomas de Grivel 6221f4b7 2023-08-29T18:59:24 tests ok
Thomas de Grivel 56fef92e 2023-08-29T15:21:38 wip
Thomas de Grivel 1294078b 2023-08-29T14:59:04 configure
Thomas de Grivel 37ebe824 2023-08-29T14:21:55 wip call refactor
Thomas de Grivel 7863cafb 2023-08-28T10:16:27 asan
Thomas de Grivel 36c4b27f 2023-08-28T10:00:28 asan
Thomas de Grivel b10a8a41 2023-08-27T19:13:02 asan
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 d94d59d5 2023-08-26T11:47:53 mention libffi
Thomas de Grivel bd40ce2b 2023-08-26T11:29:43 mention libtommath and linenoise
Thomas de Grivel 2c9b8f4d 2023-08-26T11:20:20 TODO
Thomas de Grivel b56f4f32 2023-08-26T11:14:09 TODO
Thomas de Grivel 61c7783c 2023-08-26T11:12:49 TODO
Thomas de Grivel 21804e85 2023-08-26T11:06:49 usage
Thomas de Grivel 5758ea80 2023-08-24T11:02:11 asan
Thomas de Grivel 9e7043b3 2023-08-21T23:53:58 coverage
Thomas de Grivel 675ef284 2023-08-21T20:07:53 array_tests
Thomas de Grivel 542acbc3 2023-08-21T18:13:29 remove unused code
Thomas de Grivel d2370c72 2023-08-21T12:41:30 make test_gcovr
Thomas de Grivel af1fe022 2023-08-21T12:01:00 revert
Thomas de Grivel dc4837db 2023-08-21T11:59:26 make test_gcovr
Thomas de Grivel 37b09c72 2023-08-21T11:35:20 wip cov
Thomas de Grivel 27b5b4d9 2023-08-21T11:00:54 wip gcovr
Thomas de Grivel e9cff855 2023-08-20T20:35:09 add tests for integer
Thomas de Grivel f4eb2873 2023-08-20T17:36:36 bump version
Thomas de Grivel 3327ba4d 2023-08-20T14:35:55 install libffi
Thomas de Grivel 33a9663b 2023-08-20T14:07:12 configure
Thomas de Grivel 2df43ba1 2023-08-20T13:39:18 minor tweaks
Thomas de Grivel 69f7efaf 2023-08-20T13:38:37 fix -ldl
Thomas de Grivel 642486eb 2023-08-20T11:43:13 rpath
Thomas de Grivel 2841aa2b 2023-08-19T16:03:06 pthread
Thomas de Grivel 3eb89f87 2023-08-19T15:51:11 fix debian
Thomas de Grivel 1a7dd7dc 2023-08-19T15:46:37 try to fix asan build
Thomas de Grivel 516ad3aa 2023-08-19T15:46:32 try to fix asan build
Thomas de Grivel 96e7adea 2023-08-19T15:44:23 try to fix asan build
Thomas de Grivel 2ab2ccf0 2023-08-19T15:42:14 try to fix asan build
Thomas de Grivel 8e4835b3 2023-08-19T15:05:05 libffi
Thomas de Grivel 76f21fcf 2023-08-19T14:51:02 wip asan
Thomas de Grivel 08b32c0f 2023-08-19T14:14:00 wip asan
Thomas de Grivel 27efb69d 2023-08-19T13:43:07 make tests pass
Thomas de Grivel b487a5c7 2023-08-19T13:07:17 wip
Thomas de Grivel 378fd0ff 2023-08-19T11:48:49 overflow conditions
Thomas de Grivel 9ca05267 2023-08-18T10:26:52 libffi.a
Thomas de Grivel 085a911f 2023-08-17T19:20:38 configure
Thomas de Grivel 33beece8 2023-08-16T19:46:56 e_bool -> bool
Thomas de Grivel 842e80e8 2023-08-16T19:25:15 compare_bool
Thomas de Grivel af1fc12e 2023-08-16T18:30:26 update libffi
Thomas de Grivel 6f6b9a33 2023-08-16T18:28:48 update
Thomas de Grivel ec1e152a 2023-08-15T13:57:56 sparc64
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 c8ea1f33 2023-08-12T17:18:54 comments
Thomas de Grivel a08e8736 2023-08-12T17:16:33 comments
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 13eedf68 2023-08-12T14:57:09 bump revision
Thomas de Grivel 5519c91e 2023-08-12T14:35:26 fix configure
Thomas de Grivel c0a83f32 2023-08-12T14:04:12 fix ci test_asan
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 5b5b3c9a 2023-08-11T09:53:01 ic3> f = fn (x) { x + 1 }
Thomas de Grivel 01ee6b0e 2023-08-11T09:23:25 clean
Thomas de Grivel 305b8642 2023-08-11T09:17:45 fix call
Thomas de Grivel a1045c35 2023-08-10T16:25:26 wip call
Thomas de Grivel 6e139912 2023-08-10T15:47:19 wip env_resolve_call
Thomas de Grivel b0a3d7e6 2023-08-10T15:43:35 wip env_resolve_call
Thomas de Grivel 16693d89 2023-08-10T08:34:12 remove tag_new_copy
Thomas de Grivel eca23198 2023-08-09T19:23:41 put s_tag in s_binding
Thomas de Grivel 72e97a94 2023-08-09T16:32:52 test equal (=)
Thomas de Grivel 143b13f1 2023-08-09T16:08:17 test_asan
Thomas de Grivel 1f9f33e8 2023-08-09T15:51:52 test
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 2f6b5529 2023-08-08T18:39:39 make test with asan