libc3


Log

Author Commit Date CI Message
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
Thomas de Grivel cb4384f0 2023-08-02T16:30:00 fix tag_paren
Thomas de Grivel a96242d4 2023-08-02T12:55:29 fix buf_inspect_call
Thomas de Grivel 11a2afc5 2023-08-02T12:23:31 wip tests
Thomas de Grivel e948a592 2023-08-01T17:56:42 wip ic3
Thomas de Grivel 066f3327 2023-07-31T16:11:28 buf_inspect_su_base
Thomas de Grivel fb98c7c3 2023-07-29T21:52:00 wip
Thomas de Grivel 1d42364d 2023-07-29T16:48:37 ic3
Thomas de Grivel 532a5367 2023-07-29T15:24:59 ic3
Thomas de Grivel b86478b0 2023-07-29T14:19:36 wip buf_parse_call_op
Thomas de Grivel 7628245e 2023-07-28T19:48:59 wip ic3
Thomas de Grivel 4e71dadc 2023-07-27T15:25:59 ! ! true
Thomas de Grivel a6778fb3 2023-07-25T23:37:33 fix buf_inspect_fn
Thomas de Grivel 0c3101e8 2023-07-25T22:59:08 unary operator ! not
Thomas de Grivel 6b3ae8a2 2023-07-25T22:51:38 fix tests
Thomas de Grivel 7f6443d3 2023-07-25T22:13:58 wip
Thomas de Grivel cdb5ea79 2023-07-24T15:49:59 fix tag.h
Thomas de Grivel 97dc1ffa 2023-07-24T13:16:26 plug memleak
Thomas de Grivel 78b2bf68 2023-07-24T13:13:12 plug memleak
Thomas de Grivel 35c652a6 2023-07-23T19:44:38 wip buf_inspect_array
Thomas de Grivel eaa31173 2023-07-23T17:12:30 wip
Thomas de Grivel 51576612 2023-07-22T20:50:38 remove hashes
Thomas de Grivel cb8341e1 2023-07-22T19:41:51 include ffi.h
Thomas de Grivel b85650c1 2023-07-22T19:25:01 buf_inspect_u_base.c.in
Thomas de Grivel 43170d76 2023-07-22T19:10:22 make tests pass after refactor
Thomas de Grivel 483b29ac 2023-07-22T18:37:35 refactor pp macros into sed
Thomas de Grivel 2647de6b 2023-07-19T14:22:35 buf_parse_array, buf_inspect_array
Thomas de Grivel e972b8f8 2023-07-16T15:15:44 wip
Thomas de Grivel 8a7f1b7b 2023-07-16T11:31:06 remove printf
Thomas de Grivel e87a531a 2023-07-16T11:30:30 facts
Thomas de Grivel 95b5b3fd 2023-07-16T11:15:10 buf_parse_array_data
Thomas de Grivel ad4acf55 2023-07-16T11:12:23 buf_parse_array_data
Thomas de Grivel 52e3a067 2023-07-16T11:04:12 wip buf_parse_array_data
Thomas de Grivel 7cb514f4 2023-07-16T10:22:59 facts
Thomas de Grivel cb7e7f82 2023-07-16T10:07:17 pthread ?
Thomas de Grivel 03e51dab 2023-07-16T10:06:00 pthread ?
Thomas de Grivel 8e174cf2 2023-07-15T22:38:53 pthread
Thomas de Grivel e85c7482 2023-07-15T16:55:36 buf_parse_array
Thomas de Grivel b48bfb7e 2023-07-15T16:51:09 wip buf_parse_array_data
Thomas de Grivel cc0fdc63 2023-07-15T15:08:07 fix buffer overflow
Thomas de Grivel 7848511e 2023-07-15T14:41:30 wip buf_parse_array
Thomas de Grivel 792bcf57 2023-07-15T09:41:57 wip buf_parse_array
Thomas de Grivel 21afeb40 2023-07-14T11:25:41 array litteral with {}