Log

Author Commit Date CI Message
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
Thomas de Grivel 8dc31fff 2023-08-08T16:14:08 ws
Thomas de Grivel 6ae5a7b4 2023-08-08T14:40:49 ws
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 4fbe1f09 2023-08-05T17:44:44 try to support Debian
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 cbb106a5 2023-08-05T12:06:04 update_sources
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 c5e61a1f 2023-08-04T20:00:03 libffi
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 9ba0c071 2023-08-04T13:56:54 libffi
Thomas de Grivel 1e4a920c 2023-08-04T11:33:26 configure libffi
Thomas de Grivel ca3f4a2d 2023-08-04T10:52:09 buf_inspect
Thomas de Grivel 367753f4 2023-08-03T14:00:38 import libffi
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 5b98826a 2023-07-31T22:02:53 test
Thomas de Grivel 066f3327 2023-07-31T16:11:28 buf_inspect_su_base
Thomas de Grivel d4f112dc 2023-07-30T21:49:52 printf -> fprintf(stderr,
Thomas de Grivel 04ffff01 2023-07-30T20:36:33 fix display of libc3_test
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 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 6b3ae8a2 2023-07-25T22:51:38 fix tests
Thomas de Grivel 7f6443d3 2023-07-25T22:13:58 wip
Thomas de Grivel 1eef142a 2023-07-24T19:10:41 donations
Thomas de Grivel 06a1f43d 2023-07-24T15:58:28 bump revision
Thomas de Grivel 64fd9c64 2023-07-24T15:56:46 v0.1.0
Thomas de Grivel cdb5ea79 2023-07-24T15:49:59 fix tag.h
Thomas de Grivel 54db24ee 2023-07-24T15:35:39 c3 v0.1.0
Thomas de Grivel 5e1cba37 2023-07-24T15:23:45 c3.facts
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 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 707e125e 2023-07-23T17:47:03 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 b38bf0fb 2023-07-15T16:50:15 README.md
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 {}