|
14d8a65a
|
2024-03-18T08:46:51
|
|
fix tests
|
|
3b8369a1
|
2024-03-23T05:35:45
|
|
fix def
|
|
8a44ec9d
|
2024-03-23T14:49:15
|
|
better definition for double_tuple
|
|
c5072aee
|
2024-03-22T19:07:49
|
|
add tests for def
|
|
4b17a5f5
|
2024-03-07T18:13:50
|
|
more tests
|
|
ae261507
|
2024-03-07T16:57:34
|
|
test complex mul
|
|
28f667db
|
2024-03-07T16:43:31
|
|
ratio_test
|
|
e190e6a8
|
2024-03-07T16:19:51
|
|
update sources
|
|
5d266f52
|
2024-03-07T13:38:49
|
|
ways to test the ratios with and without ic3
|
|
9e5a5688
|
2024-03-04T20:47:29
|
|
rename operators
|
|
6fc80e8b
|
2024-03-04T20:10:01
|
|
call ratio_simplify in ratio_mul and ratio_div, add test operations on ratios
|
|
7f2f72e4
|
2024-03-04T14:19:12
|
|
license
|
|
327407ea
|
2024-03-01T15:34:18
|
|
remove <err.h>, file_open
|
|
49c9071c
|
2024-03-05T20:34:52
|
|
test complex +i
|
|
b66b74da
|
2024-03-05T13:25:29
|
|
complex
|
|
e2ea623f
|
2024-02-21T21:21:23
|
|
ruby-style if
|
|
3a4ae5af
|
2024-02-20T22:35:00
|
|
if then else
|
|
fd1b09c2
|
2024-02-18T21:00:36
|
|
fix unquote
|
|
097391e6
|
2024-02-18T13:34:40
|
|
wip unquote
|
|
672c6055
|
2024-02-17T10:32:31
|
|
test macros
|
|
d9932537
|
2024-02-16T11:48:30
|
|
wip macros
|
|
50fd4285
|
2024-02-28T16:26:14
|
|
ratio_neg
|
|
795a2cd7
|
2024-02-28T16:09:55
|
|
ic3 test ratio
|
|
94329ef3
|
2024-02-14T14:58:22
|
|
pin operator
|
|
b7c69b9f
|
2024-02-12T19:45:10
|
|
fix buf_parse
|
|
4a838bf1
|
2024-02-11T13:52:16
|
|
test ic3 block
|
|
b2c15d58
|
2024-02-10T09:42:17
|
|
test ic3 block
|
|
5928f6c4
|
2024-02-09T20:29:24
|
|
wip block
|
|
b998bad3
|
2024-02-02T20:10:29
|
|
quote unquote
|
|
8b68a241
|
2024-01-29T18:17:51
|
|
c11 -> use system libffi
|
|
f0cee1e5
|
2024-01-29T17:38:22
|
|
str eval
|
|
0c1e2386
|
2024-01-24T21:39:28
|
|
wip
|
|
6a680c95
|
2024-01-22T22:04:38
|
|
fix arrays
|
|
cc225506
|
2024-01-22T20:43:40
|
|
sym_array_type
|
|
3b677e28
|
2024-01-13T12:38:54
|
|
tag_sym_1 -> tag_sym
|
|
e8360897
|
2024-01-10T12:20:21
|
|
s8 -> char
|
|
581fbfc4
|
2024-01-05T18:12:59
|
|
struct
|
|
05cf8d3d
|
2024-01-05T09:56:44
|
|
buf_inspect_f32 buf_inspect_f64
|
|
5754b004
|
2024-01-04T16:53:18
|
|
wip buf_inspect_f32
|
|
ea1fdf97
|
2024-01-04T15:42:50
|
|
wip buf_inspect_f32
|
|
35513811
|
2024-01-04T12:48:23
|
|
wip buf_inspect_f32 buf_inspect_f64
|
|
4fdc57d3
|
2024-01-03T11:06:46
|
|
wip data and struct
|
|
c237b4ce
|
2023-12-21T02:50:45
|
|
wip asan
|
|
fddc7d94
|
2023-12-14T18:50:55
|
|
sources.mk
|
|
df9634eb
|
2023-12-14T01:13:47
|
|
wip struct
|
|
d72caebf
|
2023-12-13T23:56:40
|
|
win32
|
|
aea391d4
|
2023-12-12T01:12:15
|
|
without bzero
|
|
681fed09
|
2023-12-11T20:43:06
|
|
fix assert.h
|
|
ddcdedba
|
2023-12-11T19:54:18
|
|
assert.h err.h
|
|
f1593987
|
2023-11-30T19:19:57
|
|
wip tests
|
|
6e7a2ed4
|
2023-11-30T13:07:39
|
|
refactor buf_init
|
|
6b9d1659
|
2023-11-26T16:03:18
|
|
wip toasters
|
|
35d87434
|
2023-11-26T15:17:58
|
|
fix tests
|
|
bde0575f
|
2023-11-26T02:48:50
|
|
wip toasters
|
|
6578e67b
|
2023-11-25T22:55:26
|
|
wip
|
|
37e3b29d
|
2023-11-22T16:42:30
|
|
wip win64
|
|
92b17b5b
|
2023-11-21T13:16:09
|
|
wip win32
|
|
5abeef4b
|
2023-11-20T11:48:29
|
|
wip asan
|
|
e45d6e2f
|
2023-11-19T20:44:37
|
|
compare_map
|
|
d2587241
|
2023-11-19T15:21:58
|
|
map: pattern matching
|
|
d1c45502
|
2023-11-19T14:07:20
|
|
fix map
|
|
17c95f81
|
2023-11-17T12:30:52
|
|
wip map
|
|
a17ee5f0
|
2023-11-15T11:18:02
|
|
wip tests
|
|
ec70bc2f
|
2023-11-15T10:53:30
|
|
configure
|
|
585030fc
|
2023-11-15T00:54:03
|
|
configure and tests
|
|
b594a789
|
2023-11-14T22:39:42
|
|
cairo quartz build
|
|
566ccd7e
|
2023-11-14T09:27:23
|
|
use printf
|
|
e18e012b
|
2023-11-13T16:35:44
|
|
map tests
|
|
6bd430d3
|
2023-11-10T19:48:18
|
|
wip floats, use printf for ic3_test
|
|
01c6640a
|
2023-11-10T09:11:37
|
|
asan
|
|
b6f02530
|
2023-11-09T21:26:09
|
|
list change from paren () to brackets []
|
|
817493c6
|
2023-11-07T12:26:11
|
|
fix integer tests
|
|
a7f7fd10
|
2023-11-05T09:34:33
|
|
ic3_test
|
|
b2b63372
|
2023-11-03T16:31:26
|
|
show supported systems in README.md, fix tests
|
|
f6a73036
|
2023-11-03T14:27:52
|
|
() -> (void)
|
|
aa9082b9
|
2023-11-03T14:18:44
|
|
wip macosx
|
|
69ef815a
|
2023-10-30T11:13:40
|
|
more tests
|
|
a55117c4
|
2023-10-28T12:40:43
|
|
fixed tag_mod
|
|
d76c54db
|
2023-10-27T23:54:45
|
|
wip test_ic3 integer_mod
|
|
70abf3fe
|
2023-10-27T23:13:07
|
|
wip tag_mod
|
|
dffd7fcf
|
2023-10-27T20:47:31
|
|
wip test_ic3 bor
|
|
29024978
|
2023-10-26T11:44:30
|
|
license
|
|
4534c0ce
|
2023-10-26T10:27:32
|
|
wip ptr
|
|
e5e919c4
|
2023-10-23T22:04:39
|
|
chmod
|
|
4639d19e
|
2023-10-23T15:18:31
|
|
replace system("cp ...") with file_copy
|
|
f59f6782
|
2023-10-21T17:02:16
|
|
fix build on OpenBSD
|
|
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
|