|
37b09c72
|
2023-08-21T11:35:20
|
|
wip cov
|
|
|
27b5b4d9
|
2023-08-21T11:00:54
|
|
wip gcovr
|
|
|
69f7efaf
|
2023-08-20T13:38:37
|
|
fix -ldl
|
|
|
642486eb
|
2023-08-20T11:43:13
|
|
rpath
|
|
|
1a7dd7dc
|
2023-08-19T15:46:37
|
|
try to fix asan build
|
|
|
8e4835b3
|
2023-08-19T15:05:05
|
|
libffi
|
|
|
76f21fcf
|
2023-08-19T14:51:02
|
|
wip asan
|
|
|
08b32c0f
|
2023-08-19T14:14:00
|
|
wip asan
|
|
|
27efb69d
|
2023-08-19T13:43:07
|
|
make tests pass
|
|
|
b487a5c7
|
2023-08-19T13:07:17
|
|
wip
|
|
|
378fd0ff
|
2023-08-19T11:48:49
|
|
overflow conditions
|
|
|
085a911f
|
2023-08-17T19:20:38
|
|
configure
|
|
|
33beece8
|
2023-08-16T19:46:56
|
|
e_bool -> bool
|
|
|
842e80e8
|
2023-08-16T19:25:15
|
|
compare_bool
|
|
|
f76b09b7
|
2023-08-15T11:14:15
|
|
tag_add
|
|
|
d96ba0ce
|
2023-08-15T10:03:30
|
|
wip tag_add
|
|
|
c8ea1f33
|
2023-08-12T17:18:54
|
|
comments
|
|
|
a08e8736
|
2023-08-12T17:16:33
|
|
comments
|
|
|
19f2ece7
|
2023-08-12T16:52:22
|
|
remove ; in functions
|
|
|
83a58383
|
2023-08-12T10:06:30
|
|
fix tag_mul
|
|
|
29a543e0
|
2023-08-12T09:08:08
|
|
fix call
|
|
|
5b5b3c9a
|
2023-08-11T09:53:01
|
|
ic3> f = fn (x) { x + 1 }
|
|
|
01ee6b0e
|
2023-08-11T09:23:25
|
|
clean
|
|
|
305b8642
|
2023-08-11T09:17:45
|
|
fix call
|
|
|
a1045c35
|
2023-08-10T16:25:26
|
|
wip call
|
|
|
6e139912
|
2023-08-10T15:47:19
|
|
wip env_resolve_call
|
|
|
b0a3d7e6
|
2023-08-10T15:43:35
|
|
wip env_resolve_call
|
|
|
16693d89
|
2023-08-10T08:34:12
|
|
remove tag_new_copy
|
|
|
eca23198
|
2023-08-09T19:23:41
|
|
put s_tag in s_binding
|
|
|
72e97a94
|
2023-08-09T16:32:52
|
|
test equal (=)
|
|
|
143b13f1
|
2023-08-09T16:08:17
|
|
test_asan
|
|
|
1f9f33e8
|
2023-08-09T15:51:52
|
|
test
|
|
|
6ad7803d
|
2023-08-09T08:41:50
|
|
wip tag operations
|
|
|
f37dc90f
|
2023-08-08T21:17:20
|
|
wip test/ic3/integer
|
|
|
39d65584
|
2023-08-08T14:21:00
|
|
special operators
|
|
|
d7d9100c
|
2023-08-08T13:28:15
|
|
fix call
|
|
|
8021d329
|
2023-08-07T23:05:31
|
|
wip
|
|
|
d09cbd80
|
2023-08-07T15:52:18
|
|
add more tests for integer
|
|
|
c9293f9c
|
2023-08-06T20:39:42
|
|
compile with own libffi
|
|
|
b4945245
|
2023-08-05T19:09:57
|
|
libffi
|
|
|
a2b72ed3
|
2023-08-05T18:21:24
|
|
libffi
|
|
|
8b8b93c4
|
2023-08-05T13:49:58
|
|
bn_mp_set_ul
|
|
|
b2a434c0
|
2023-08-05T13:48:29
|
|
buf_inspect_call_op_size
|
|
|
161619b7
|
2023-08-05T13:28:45
|
|
buf_inspect_call_op_size stub
|
|
|
dbf295a5
|
2023-08-05T12:39:07
|
|
buf_inspect_call_paren
|
|
|
ea0bd41e
|
2023-08-05T11:53:28
|
|
bn_mp_get_double
|
|
|
38f13e45
|
2023-08-05T11:44:57
|
|
bn_mp_set_l
|
|
|
c3f2cc07
|
2023-08-05T11:34:42
|
|
bn_mp_set_double
|
|
|
f533a6ed
|
2023-08-04T19:08:27
|
|
integer
|
|
|
98139579
|
2023-08-04T18:22:02
|
|
tag_add
|
|
|
c2d42995
|
2023-08-04T17:47:26
|
|
tag_add
|
|
|
50ea6fde
|
2023-08-04T15:18:05
|
|
wip
|
|
|
ca3f4a2d
|
2023-08-04T10:52:09
|
|
buf_inspect
|
|
|
cb4384f0
|
2023-08-02T16:30:00
|
|
fix tag_paren
|
|
|
a96242d4
|
2023-08-02T12:55:29
|
|
fix buf_inspect_call
|
|
|
11a2afc5
|
2023-08-02T12:23:31
|
|
wip tests
|
|
|
e948a592
|
2023-08-01T17:56:42
|
|
wip ic3
|
|
|
066f3327
|
2023-07-31T16:11:28
|
|
buf_inspect_su_base
|
|
|
fb98c7c3
|
2023-07-29T21:52:00
|
|
wip
|
|
|
1d42364d
|
2023-07-29T16:48:37
|
|
ic3
|
|
|
532a5367
|
2023-07-29T15:24:59
|
|
ic3
|
|
|
b86478b0
|
2023-07-29T14:19:36
|
|
wip buf_parse_call_op
|
|
|
7628245e
|
2023-07-28T19:48:59
|
|
wip ic3
|
|
|
4e71dadc
|
2023-07-27T15:25:59
|
|
! ! true
|
|
|
a6778fb3
|
2023-07-25T23:37:33
|
|
fix buf_inspect_fn
|
|
|
0c3101e8
|
2023-07-25T22:59:08
|
|
unary operator ! not
|
|
|
6b3ae8a2
|
2023-07-25T22:51:38
|
|
fix tests
|
|
|
7f6443d3
|
2023-07-25T22:13:58
|
|
wip
|
|
|
cdb5ea79
|
2023-07-24T15:49:59
|
|
fix tag.h
|
|
|
97dc1ffa
|
2023-07-24T13:16:26
|
|
plug memleak
|
|
|
78b2bf68
|
2023-07-24T13:13:12
|
|
plug memleak
|
|
|
35c652a6
|
2023-07-23T19:44:38
|
|
wip buf_inspect_array
|
|
|
eaa31173
|
2023-07-23T17:12:30
|
|
wip
|
|
|
51576612
|
2023-07-22T20:50:38
|
|
remove hashes
|
|
|
cb8341e1
|
2023-07-22T19:41:51
|
|
include ffi.h
|
|
|
b85650c1
|
2023-07-22T19:25:01
|
|
buf_inspect_u_base.c.in
|
|
|
43170d76
|
2023-07-22T19:10:22
|
|
make tests pass after refactor
|
|
|
483b29ac
|
2023-07-22T18:37:35
|
|
refactor pp macros into sed
|
|
|
2647de6b
|
2023-07-19T14:22:35
|
|
buf_parse_array, buf_inspect_array
|
|
|
e972b8f8
|
2023-07-16T15:15:44
|
|
wip
|
|
|
8a7f1b7b
|
2023-07-16T11:31:06
|
|
remove printf
|
|
|
e87a531a
|
2023-07-16T11:30:30
|
|
facts
|
|
|
95b5b3fd
|
2023-07-16T11:15:10
|
|
buf_parse_array_data
|
|
|
ad4acf55
|
2023-07-16T11:12:23
|
|
buf_parse_array_data
|
|
|
52e3a067
|
2023-07-16T11:04:12
|
|
wip buf_parse_array_data
|
|
|
7cb514f4
|
2023-07-16T10:22:59
|
|
facts
|
|
|
cb7e7f82
|
2023-07-16T10:07:17
|
|
pthread ?
|
|
|
03e51dab
|
2023-07-16T10:06:00
|
|
pthread ?
|
|
|
8e174cf2
|
2023-07-15T22:38:53
|
|
pthread
|
|
|
e85c7482
|
2023-07-15T16:55:36
|
|
buf_parse_array
|
|
|
b48bfb7e
|
2023-07-15T16:51:09
|
|
wip buf_parse_array_data
|
|
|
cc0fdc63
|
2023-07-15T15:08:07
|
|
fix buffer overflow
|
|
|
7848511e
|
2023-07-15T14:41:30
|
|
wip buf_parse_array
|
|
|
792bcf57
|
2023-07-15T09:41:57
|
|
wip buf_parse_array
|
|
|
21afeb40
|
2023-07-14T11:25:41
|
|
array litteral with {}
|
|
|
7336628f
|
2023-07-14T11:24:20
|
|
wip
|
|
|
d421dc3c
|
2023-07-12T14:32:34
|
|
wip
|
|
|
a7a5015a
|
2023-07-11T09:01:58
|
|
wip facts rwlock
|
|
|
59eefae1
|
2023-07-10T17:46:21
|
|
wip facts
|
|
|
cc0ab1e1
|
2023-07-10T15:54:52
|
|
wip
|