|
16e8da84
|
2023-11-11T16:46:00
|
|
wip cairo xcb
|
|
|
2a12f506
|
2023-11-10T11:05:03
|
|
C3.type
|
|
|
6bd430d3
|
2023-11-10T19:48:18
|
|
wip floats, use printf for ic3_test
|
|
|
b6f02530
|
2023-11-09T21:26:09
|
|
list change from paren () to brackets []
|
|
|
5f4933bd
|
2023-11-07T15:50:31
|
|
wip asan
|
|
|
f9058d29
|
2023-11-07T13:19:36
|
|
wip asan
|
|
|
d947ac0e
|
2023-11-03T15:52:50
|
|
fix build on MacOS X
|
|
|
aa9082b9
|
2023-11-03T14:18:44
|
|
wip macosx
|
|
|
cea9e0f0
|
2023-11-03T14:11:18
|
|
#undef true false
|
|
|
02f03748
|
2023-11-03T14:10:03
|
|
#undef bool
|
|
|
fe2f5fc7
|
2023-11-03T14:05:54
|
|
fix build
|
|
|
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
|
|
|
d2ebb8e4
|
2023-10-27T15:06:12
|
|
wip arrays
|
|
|
be7f7d25
|
2023-10-27T14:56:11
|
|
wip cast
|
|
|
7d7ba1a2
|
2023-10-26T18:29:06
|
|
wip cast
|
|
|
e264c6a3
|
2023-10-26T11:55:37
|
|
license
|
|
|
24f9a42f
|
2023-10-26T11:48:16
|
|
wip license
|
|
|
29024978
|
2023-10-26T11:44:30
|
|
license
|
|
|
4534c0ce
|
2023-10-26T10:27:32
|
|
wip ptr
|
|
|
07669d8a
|
2023-11-03T13:59:57
|
|
fix build on mac os
|
|
|
69ef815a
|
2023-10-30T11:13:40
|
|
more tests
|
|
|
a55117c4
|
2023-10-28T12:40:43
|
|
fixed tag_mod
|
|
|
4639d19e
|
2023-10-23T15:18:31
|
|
replace system("cp ...") with file_copy
|
|
|
e7ee1ec6
|
2023-10-22T21:52:46
|
|
init facts->next_id
|
|
|
490c03a4
|
2023-10-22T17:17:56
|
|
make facts id u64
|
|
|
f59f6782
|
2023-10-21T17:02:16
|
|
fix build on OpenBSD
|
|
|
396ebad7
|
2023-10-21T15:21:20
|
|
win64
|
|
|
9809bcf9
|
2023-10-21T14:57:54
|
|
fixed operators
|
|
|
15c75c1e
|
2023-10-21T14:00:36
|
|
wip operators
|
|
|
71dcf362
|
2023-10-21T02:17:19
|
|
wip operators
|
|
|
c66291a2
|
2023-10-21T01:27:09
|
|
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
|
|
|
a58f582a
|
2023-10-20T11:26:10
|
|
sym_to_tag_type
|
|
|
526fb0d6
|
2023-10-19T14:00:14
|
|
fix env_operator_call_ident
|
|
|
e375fa40
|
2023-10-19T13:43:10
|
|
wip segv
|
|
|
ba400836
|
2023-10-19T13:04:03
|
|
wip operators
|
|
|
2612bc88
|
2023-10-18T23:26:18
|
|
warn less
|
|
|
5cea38f9
|
2023-10-18T23:19:01
|
|
warn
|
|
|
fe10fe41
|
2023-10-18T23:03:59
|
|
undefined
|
|
|
f5a0ab76
|
2023-10-18T22:20:39
|
|
wip asan
|
|
|
7a7ff084
|
2023-10-18T22:00:25
|
|
wip operators
|
|
|
92a190e5
|
2023-10-18T21:59:26
|
|
wip operators
|
|
|
8dc9639f
|
2023-10-18T21:50:23
|
|
wip operators
|
|
|
ba40cf4e
|
2023-10-18T14:27:26
|
|
wip operators
|
|
|
69257a83
|
2023-10-18T13:15:51
|
|
wip operators
|
|
|
7daa7707
|
2023-10-18T12:20:55
|
|
tag_bor
|
|
|
a8ddb105
|
2023-10-18T12:14:56
|
|
tag_band
|
|
|
a2bd4841
|
2023-10-17T23:04:29
|
|
wip cfn
|
|
|
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
|
|
|
a91b1b18
|
2023-10-01T19:09:16
|
|
wip (List) arrays
|
|
|
ffe5fbfc
|
2023-10-01T18:47:14
|
|
refactor list_copy
|
|
|
af40ba86
|
2023-10-01T18:14:02
|
|
wip (List) arrays
|
|
|
7a4b03e6
|
2023-09-26T09:21:25
|
|
fix integer, asan
|
|
|
478c1e78
|
2023-09-26T09:18:18
|
|
fix integers
|
|
|
bac0648a
|
2023-09-25T21:37:06
|
|
integer arrays
|
|
|
7dcb1543
|
2023-09-25T17:03:51
|
|
wip array clean
|
|
|
6eae16af
|
2023-09-25T16:13:06
|
|
fix use after free
|
|
|
453f5581
|
2023-09-24T11:57:36
|
|
wip integer arrays
|
|
|
4bec6e51
|
2023-09-23T09:03:03
|
|
wip integer arrays
|
|
|
946ab9ce
|
2023-09-23T08:57:52
|
|
ws
|
|
|
b8940452
|
2023-09-23T08:56:41
|
|
mp_init_copy
|
|
|
7271f0fc
|
2023-09-23T08:44:38
|
|
wip integer arrays
|
|
|
ca42988d
|
2023-09-22T21:03:12
|
|
wip integer arrays
|
|
|
4abf52d5
|
2023-09-22T17:35:28
|
|
(U*) and (S*) arrays
|
|
|
0bf362fc
|
2023-09-22T16:22:08
|
|
u* arrays
|
|
|
cb9617a5
|
2023-09-22T15:51:24
|
|
wip cast
|
|
|
b25494f1
|
2023-09-20T15:09:54
|
|
fix arrays
|
|
|
62cd9d32
|
2023-09-20T00:18:45
|
|
wip asan
|
|
|
81c664c8
|
2023-09-20T00:15:43
|
|
wip asan
|
|
|
d941e9e4
|
2023-09-20T00:11:40
|
|
wip asan
|
|
|
949ba09c
|
2023-09-19T22:49:24
|
|
wip asan
|
|
|
2e4212de
|
2023-09-19T22:47:15
|
|
wip asan
|
|
|
5a044439
|
2023-09-19T22:42:39
|
|
wip asan
|
|
|
c827d68b
|
2023-09-19T22:36:16
|
|
fix u8.facts
|
|
|
281ed229
|
2023-09-19T22:05:26
|
|
wip arrays
|
|
|
c38901cf
|
2023-09-19T19:31:16
|
|
wip arrays asan, update_sources
|
|
|
a5fc0674
|
2023-09-19T18:49:51
|
|
wip arrays asan
|
|
|
8fb4acdb
|
2023-09-19T18:23:18
|
|
wip arrays asan
|
|
|
10ea3f2e
|
2023-09-19T17:25:53
|
|
wip arrays asan
|
|
|
590721cf
|
2023-09-19T17:11:24
|
|
tmp.data
|
|
|
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
|
|
|
67a638f7
|
2023-09-10T20:08:20
|
|
fix tests
|
|
|
b7513c9e
|
2023-09-10T19:47:16
|
|
fix env_eval_equal_tag and ident_get
|
|
|
f131055e
|
2023-09-10T14:18:55
|
|
fix env_eval_equal_tag
|
|
|
26a03f17
|
2023-09-07T12:13:27
|
|
wip segv =
|
|
|
3440371d
|
2023-09-07T11:29:18
|
|
wip ic3
|
|
|
32021d1f
|
2023-09-07T11:27:48
|
|
wip ic3
|
|
|
56a6b43c
|
2023-09-07T11:18:25
|
|
wip asan
|
|
|
d2292241
|
2023-09-07T11:17:56
|
|
wip asan
|
|
|
2f16b6c6
|
2023-09-07T11:15:03
|
|
wip asan
|
|
|
3835b2b8
|
2023-09-07T11:09:16
|
|
wip asan
|
|
|
f4402422
|
2023-09-07T11:04:26
|
|
wip segv
|