Log

Author Commit Date CI Message
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
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