|
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
|
|
|
2f6b5529
|
2023-08-08T18:39:39
|
|
make test with asan
|
|
|
8dc31fff
|
2023-08-08T16:14:08
|
|
ws
|
|
|
6ae5a7b4
|
2023-08-08T14:40:49
|
|
ws
|
|
|
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
|
|
|
4fbe1f09
|
2023-08-05T17:44:44
|
|
try to support Debian
|
|
|
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
|
|
|
cbb106a5
|
2023-08-05T12:06:04
|
|
update_sources
|
|
|
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
|
|
|
c5e61a1f
|
2023-08-04T20:00:03
|
|
libffi
|
|
|
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
|
|
|
9ba0c071
|
2023-08-04T13:56:54
|
|
libffi
|
|
|
1e4a920c
|
2023-08-04T11:33:26
|
|
configure libffi
|
|
|
ca3f4a2d
|
2023-08-04T10:52:09
|
|
buf_inspect
|
|
|
367753f4
|
2023-08-03T14:00:38
|
|
import libffi
|
|
|
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
|
|
|
5b98826a
|
2023-07-31T22:02:53
|
|
test
|
|
|
066f3327
|
2023-07-31T16:11:28
|
|
buf_inspect_su_base
|
|
|
d4f112dc
|
2023-07-30T21:49:52
|
|
printf -> fprintf(stderr,
|
|
|
04ffff01
|
2023-07-30T20:36:33
|
|
fix display of libc3_test
|
|
|
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
|
|
|
18e8c357
|
2023-07-26T12:54:04
|
|
test boolean comparison operators
|
|
|
a6778fb3
|
2023-07-25T23:37:33
|
|
fix buf_inspect_fn
|
|
|
5da26941
|
2023-07-25T23:08:48
|
|
remove whitespace from ic3
|
|
|
0c3101e8
|
2023-07-25T22:59:08
|
|
unary operator ! not
|
|
|
6b3ae8a2
|
2023-07-25T22:51:38
|
|
fix tests
|
|
|
7f6443d3
|
2023-07-25T22:13:58
|
|
wip
|
|
|
1eef142a
|
2023-07-24T19:10:41
|
|
donations
|
|
|
06a1f43d
|
2023-07-24T15:58:28
|
|
bump revision
|
|
|
64fd9c64
|
2023-07-24T15:56:46
|
|
v0.1.0
|
|
|
cdb5ea79
|
2023-07-24T15:49:59
|
|
fix tag.h
|
|
|
54db24ee
|
2023-07-24T15:35:39
|
|
c3 v0.1.0
|
|
|
5e1cba37
|
2023-07-24T15:23:45
|
|
c3.facts
|
|
|
97dc1ffa
|
2023-07-24T13:16:26
|
|
plug memleak
|
|
|
78b2bf68
|
2023-07-24T13:13:12
|
|
plug memleak
|
|
|
291b02e6
|
2023-07-24T13:05:07
|
|
buf_parse_character
|
|
|
35c652a6
|
2023-07-23T19:44:38
|
|
wip buf_inspect_array
|
|
|
707e125e
|
2023-07-23T17:47:03
|
|
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
|
|
|
b38bf0fb
|
2023-07-15T16:50:15
|
|
README.md
|
|
|
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
|