|
10b672c8
|
2023-10-21T15:02:36
|
|
fix asan
|
|
|
9809bcf9
|
2023-10-21T14:57:54
|
|
fixed operators
|
|
|
71dcf362
|
2023-10-21T02:17:19
|
|
wip operators
|
|
|
40d82979
|
2023-10-21T01:25:11
|
|
wip operators
|
|
|
9837c5b4
|
2023-10-20T23:03:40
|
|
wip operator, segv
|
|
|
78aced3b
|
2023-10-20T12:38:38
|
|
wip various bugfixes
|
|
|
fe10fe41
|
2023-10-18T23:03:59
|
|
undefined
|
|
|
23a08232
|
2023-10-18T22:12:07
|
|
make test_ic3_asan
|
|
|
9faa0c30
|
2023-10-16T00:12:08
|
|
-no-undefined in LDFLAGS, breaks debug build of libtommath components
|
|
|
9a7a5fe3
|
2023-10-01T19:50:23
|
|
fixed (List) arrays
|
|
|
c21e333e
|
2023-10-01T19:44:40
|
|
fixed (List) arrays
|
|
|
af40ba86
|
2023-10-01T18:14:02
|
|
wip (List) arrays
|
|
|
6eae16af
|
2023-09-25T16:13:06
|
|
fix use after free
|
|
|
453f5581
|
2023-09-24T11:57:36
|
|
wip integer arrays
|
|
|
7271f0fc
|
2023-09-23T08:44:38
|
|
wip integer arrays
|
|
|
4abf52d5
|
2023-09-22T17:35:28
|
|
(U*) and (S*) arrays
|
|
|
b25494f1
|
2023-09-20T15:09:54
|
|
fix arrays
|
|
|
b9f9b82d
|
2023-09-20T00:21:12
|
|
fix tests
|
|
|
48449333
|
2023-09-19T22:55:33
|
|
add array tests
|
|
|
dcfaefec
|
2023-09-19T17:15:38
|
|
fix array tests
|
|
|
e077b7bf
|
2023-09-19T17:15:38
|
|
fix array tests
|
|
|
2c1ce7f2
|
2023-09-19T15:23:28
|
|
wip arrays
|
|
|
27dc573f
|
2023-09-18T15:10:02
|
|
cast
|
|
|
9523ec9d
|
2023-09-11T11:36:58
|
|
buf_inspect_call_brackets
|
|
|
f131055e
|
2023-09-10T14:18:55
|
|
fix env_eval_equal_tag
|
|
|
09d658e5
|
2023-09-08T09:52:33
|
|
fix array tests
|
|
|
26a03f17
|
2023-09-07T12:13:27
|
|
wip segv =
|
|
|
059e7659
|
2023-09-06T12:16:22
|
|
module_load records load time
|
|
|
83a9986c
|
2023-09-05T15:22:30
|
|
asan
|
|
|
d8737fd4
|
2023-09-05T15:16:41
|
|
tests ok
|
|
|
5282e1c1
|
2023-09-04T17:16:02
|
|
wip
|
|
|
505fbb73
|
2023-09-03T21:52:55
|
|
eval is evil
|
|
|
6221f4b7
|
2023-08-29T18:59:24
|
|
tests ok
|
|
|
56fef92e
|
2023-08-29T15:21:38
|
|
wip
|
|
|
1294078b
|
2023-08-29T14:59:04
|
|
configure
|
|
|
37ebe824
|
2023-08-29T14:21:55
|
|
wip call refactor
|
|
|
38f69099
|
2023-08-27T18:49:57
|
|
test array
|
|
|
d82ec9d6
|
2023-08-27T12:48:43
|
|
refactor compare
|
|
|
5758ea80
|
2023-08-24T11:02:11
|
|
asan
|
|
|
9e7043b3
|
2023-08-21T23:53:58
|
|
coverage
|
|
|
675ef284
|
2023-08-21T20:07:53
|
|
array_tests
|
|
|
d2370c72
|
2023-08-21T12:41:30
|
|
make test_gcovr
|
|
|
dc4837db
|
2023-08-21T11:59:26
|
|
make test_gcovr
|
|
|
37b09c72
|
2023-08-21T11:35:20
|
|
wip cov
|
|
|
27b5b4d9
|
2023-08-21T11:00:54
|
|
wip gcovr
|
|
|
e9cff855
|
2023-08-20T20:35:09
|
|
add tests for integer
|
|
|
69f7efaf
|
2023-08-20T13:38:37
|
|
fix -ldl
|
|
|
2841aa2b
|
2023-08-19T16:03:06
|
|
pthread
|
|
|
516ad3aa
|
2023-08-19T15:46:32
|
|
try to fix asan build
|
|
|
96e7adea
|
2023-08-19T15:44:23
|
|
try to fix asan build
|
|
|
2ab2ccf0
|
2023-08-19T15:42:14
|
|
try to fix asan build
|
|
|
9ca05267
|
2023-08-18T10:26:52
|
|
libffi.a
|
|
|
085a911f
|
2023-08-17T19:20:38
|
|
configure
|
|
|
6f6b9a33
|
2023-08-16T18:28:48
|
|
update
|
|
|
f76b09b7
|
2023-08-15T11:14:15
|
|
tag_add
|
|
|
d96ba0ce
|
2023-08-15T10:03:30
|
|
wip tag_add
|
|
|
19f2ece7
|
2023-08-12T16:52:22
|
|
remove ; in functions
|
|
|
2bcb9130
|
2023-08-12T16:13:06
|
|
tests
|
|
|
c0a83f32
|
2023-08-12T14:04:12
|
|
fix ci test_asan
|
|
|
83a58383
|
2023-08-12T10:06:30
|
|
fix tag_mul
|
|
|
29a543e0
|
2023-08-12T09:08:08
|
|
fix call
|
|
|
72e97a94
|
2023-08-09T16:32:52
|
|
test equal (=)
|
|
|
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
|
|
|
d09cbd80
|
2023-08-07T15:52:18
|
|
add more tests for integer
|
|
|
c9293f9c
|
2023-08-06T20:39:42
|
|
compile with own libffi
|
|
|
f533a6ed
|
2023-08-04T19:08:27
|
|
integer
|
|
|
50ea6fde
|
2023-08-04T15:18:05
|
|
wip
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
7f6443d3
|
2023-07-25T22:13:58
|
|
wip
|
|
|
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
|
|
|
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
|
|
|
21afeb40
|
2023-07-14T11:25:41
|
|
array litteral with {}
|
|
|
7336628f
|
2023-07-14T11:24:20
|
|
wip
|
|
|
e0b7486f
|
2023-07-10T10:24:33
|
|
wip
|
|
|
1643d7e2
|
2023-06-26T16:34:13
|
|
wip buf_parse_array
|
|
|
f0735236
|
2023-06-16T20:50:52
|
|
wip buf_parse_array
|
|
|
c87b47e5
|
2023-06-16T17:38:09
|
|
work in progress: buf_parse
|
|
|
1baea400
|
2023-06-16T13:46:25
|
|
refactor
|
|
|
ac683604
|
2023-06-13T11:56:05
|
|
add tests for buf_parse_array
|
|
|
9c6987a8
|
2023-06-12T22:18:03
|
|
fix buf_inspect_test
|