|
fddc7d94
|
2023-12-14T18:50:55
|
|
sources.mk
|
|
|
b700d912
|
2023-12-14T03:27:02
|
|
wip ptr_free
|
|
|
ddcdedba
|
2023-12-11T19:54:18
|
|
assert.h err.h
|
|
|
5ebd9385
|
2023-12-13T21:53:07
|
|
ic3 with wineditline
|
|
|
6e7a2ed4
|
2023-11-30T13:07:39
|
|
refactor buf_init
|
|
|
35d87434
|
2023-11-26T15:17:58
|
|
fix tests
|
|
|
6578e67b
|
2023-11-25T22:55:26
|
|
wip
|
|
|
f49a2c33
|
2023-11-22T17:52:49
|
|
configure
|
|
|
37e3b29d
|
2023-11-22T16:42:30
|
|
wip win64
|
|
|
92b17b5b
|
2023-11-21T13:16:09
|
|
wip win32
|
|
|
ec70bc2f
|
2023-11-15T10:53:30
|
|
configure
|
|
|
b594a789
|
2023-11-14T22:39:42
|
|
cairo quartz build
|
|
|
9c82647d
|
2023-10-22T17:00:05
|
|
fix c3s
|
|
|
fe10fe41
|
2023-10-18T23:03:59
|
|
undefined
|
|
|
8dc9639f
|
2023-10-18T21:50:23
|
|
wip operators
|
|
|
9faa0c30
|
2023-10-16T00:12:08
|
|
-no-undefined in LDFLAGS, breaks debug build of libtommath components
|
|
|
26a03f17
|
2023-09-07T12:13:27
|
|
wip segv =
|
|
|
32021d1f
|
2023-09-07T11:27:48
|
|
wip ic3
|
|
|
56fef92e
|
2023-08-29T15:21:38
|
|
wip
|
|
|
37ebe824
|
2023-08-29T14:21:55
|
|
wip call refactor
|
|
|
37b09c72
|
2023-08-21T11:35:20
|
|
wip cov
|
|
|
27b5b4d9
|
2023-08-21T11:00:54
|
|
wip gcovr
|
|
|
69f7efaf
|
2023-08-20T13:38:37
|
|
fix -ldl
|
|
|
3eb89f87
|
2023-08-19T15:51:11
|
|
fix debian
|
|
|
9ca05267
|
2023-08-18T10:26:52
|
|
libffi.a
|
|
|
085a911f
|
2023-08-17T19:20:38
|
|
configure
|
|
|
c9293f9c
|
2023-08-06T20:39:42
|
|
compile with own libffi
|
|
|
5da26941
|
2023-07-25T23:08:48
|
|
remove whitespace from ic3
|
|
|
cb8341e1
|
2023-07-22T19:41:51
|
|
include ffi.h
|
|
|
c87b47e5
|
2023-06-16T17:38:09
|
|
work in progress: buf_parse
|
|
|
1baea400
|
2023-06-16T13:46:25
|
|
refactor
|
|
|
4d267e43
|
2023-06-09T11:08:13
|
|
buf_parse_test_su.h
|
|
|
3d8d7728
|
2023-03-23T17:19:58
|
|
licence
|
|
|
d3a48f2b
|
2023-03-17T10:10:37
|
|
use system libffi
|
|
|
93a4e88d
|
2023-03-16T15:09:32
|
|
wip cfn
|
|
|
f45f5d2b
|
2023-03-15T21:22:46
|
|
shared libs
|
|
|
5f18860d
|
2023-03-15T20:53:44
|
|
wip shared libraries
|
|
|
cb1f06ee
|
2023-03-15T16:44:10
|
|
wip cfn SEGV
|
|
|
4000bed3
|
2023-03-15T16:02:13
|
|
-ldl
|
|
|
813cff92
|
2023-02-04T16:17:27
|
|
link statically to libtommath
|
|
|
e55a429c
|
2023-02-04T14:00:20
|
|
fix build dependencies
|
|
|
962e719f
|
2023-02-04T04:05:28
|
|
linkage
|
|
|
62b5c03f
|
2023-01-31T13:11:19
|
|
c3_init(s_env *env)
|
|
|
01b92a68
|
2023-01-30T17:13:03
|
|
shutdown -> clean
|
|
|
054f542a
|
2023-01-30T10:38:08
|
|
wip remove alloca
|
|
|
9c35dcaf
|
2023-01-26T10:24:53
|
|
config_lib libmd
|
|
|
fadc8073
|
2023-01-25T10:24:29
|
|
copyright
|
|
|
91139e89
|
2023-01-24T10:27:29
|
|
install in ${prefix}
|
|
|
c707fff2
|
2023-01-22T11:01:16
|
|
make install
|
|
|
310f3906
|
2023-01-21T08:41:40
|
|
rename files
|
|
|
54fdfc96
|
2023-01-20T19:58:39
|
|
rename files
|
|
|
a93bdb8a
|
2023-01-10T23:16:45
|
|
make install
|
|
|
27db4062
|
2022-12-31T01:43:49
|
|
tests ok
|
|
|
bdf1cf77
|
2022-12-25T20:02:12
|
|
fix configure
|
|
|
43e0c022
|
2022-12-25T19:05:30
|
|
update_sources
|
|
|
327cec65
|
2022-12-25T07:15:41
|
|
update_sources
|
|
|
2afd8555
|
2022-12-25T06:19:54
|
|
fix i386
|
|
|
ba58df36
|
2022-12-18T22:27:49
|
|
wip error
|
|
|
fdfea29f
|
2022-12-08T15:38:04
|
|
fix compilation on Linux
|
|
|
e9fca4ac
|
2022-12-08T14:47:21
|
|
libbsd-overlay
|
|
|
32d7c77a
|
2022-12-08T05:20:31
|
|
configure
|
|
|
922894e2
|
2022-12-08T03:01:27
|
|
fix compilation
|
|
|
afa4413a
|
2022-12-07T18:48:02
|
|
readline -> linenoise
|
|
|
f990b98e
|
2022-12-06T13:37:43
|
|
licence
|
|
|
de9a6ab2
|
2022-11-25T21:57:50
|
|
wip eval
|
|
|
37df2c8e
|
2022-11-10T21:37:45
|
|
make gdb_test
|
|
|
557fa30f
|
2022-11-07T18:05:55
|
|
list_copy
|
|
|
865d1524
|
2022-10-31T00:50:45
|
|
c3-lang
|