libc3


Log

Author Commit Date CI Message
Thomas de Grivel b25494f1 2023-09-20T15:09:54 fix arrays
Thomas de Grivel 62cd9d32 2023-09-20T00:18:45 wip asan
Thomas de Grivel 81c664c8 2023-09-20T00:15:43 wip asan
Thomas de Grivel d941e9e4 2023-09-20T00:11:40 wip asan
Thomas de Grivel 949ba09c 2023-09-19T22:49:24 wip asan
Thomas de Grivel 2e4212de 2023-09-19T22:47:15 wip asan
Thomas de Grivel 5a044439 2023-09-19T22:42:39 wip asan
Thomas de Grivel c827d68b 2023-09-19T22:36:16 fix u8.facts
Thomas de Grivel 281ed229 2023-09-19T22:05:26 wip arrays
Thomas de Grivel c38901cf 2023-09-19T19:31:16 wip arrays asan, update_sources
Thomas de Grivel a5fc0674 2023-09-19T18:49:51 wip arrays asan
Thomas de Grivel 8fb4acdb 2023-09-19T18:23:18 wip arrays asan
Thomas de Grivel 10ea3f2e 2023-09-19T17:25:53 wip arrays asan
Thomas de Grivel 590721cf 2023-09-19T17:11:24 tmp.data
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 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 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 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 9e7043b3 2023-08-21T23:53:58 coverage
Thomas de Grivel 542acbc3 2023-08-21T18:13:29 remove unused code
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 69f7efaf 2023-08-20T13:38:37 fix -ldl
Thomas de Grivel 642486eb 2023-08-20T11:43:13 rpath
Thomas de Grivel 1a7dd7dc 2023-08-19T15:46:37 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 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 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 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 39d65584 2023-08-08T14:21:00 special operators
Thomas de Grivel d7d9100c 2023-08-08T13:28:15 fix call
Thomas de Grivel 8021d329 2023-08-07T23:05:31 wip
Thomas de Grivel d09cbd80 2023-08-07T15:52:18 add more tests for integer
Thomas de Grivel c9293f9c 2023-08-06T20:39:42 compile with own libffi
Thomas de Grivel b4945245 2023-08-05T19:09:57 libffi
Thomas de Grivel a2b72ed3 2023-08-05T18:21:24 libffi
Thomas de Grivel 8b8b93c4 2023-08-05T13:49:58 bn_mp_set_ul
Thomas de Grivel b2a434c0 2023-08-05T13:48:29 buf_inspect_call_op_size
Thomas de Grivel 161619b7 2023-08-05T13:28:45 buf_inspect_call_op_size stub
Thomas de Grivel dbf295a5 2023-08-05T12:39:07 buf_inspect_call_paren
Thomas de Grivel ea0bd41e 2023-08-05T11:53:28 bn_mp_get_double
Thomas de Grivel 38f13e45 2023-08-05T11:44:57 bn_mp_set_l
Thomas de Grivel c3f2cc07 2023-08-05T11:34:42 bn_mp_set_double
Thomas de Grivel f533a6ed 2023-08-04T19:08:27 integer
Thomas de Grivel 98139579 2023-08-04T18:22:02 tag_add
Thomas de Grivel c2d42995 2023-08-04T17:47:26 tag_add
Thomas de Grivel 50ea6fde 2023-08-04T15:18:05 wip
Thomas de Grivel ca3f4a2d 2023-08-04T10:52:09 buf_inspect