|
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
|
|
|
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
|
|
|
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
|
|
|
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 []
|
|
|
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
|
|
|
817493c6
|
2023-11-07T12:26:11
|
|
fix integer tests
|
|
|
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
|
|
|
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
|