ic3


Log

Author Commit Date CI Message
Thomas de Grivel 9ca05267 2023-08-18T10:26:52 libffi.a
Thomas de Grivel 085a911f 2023-08-17T19:20:38 configure
Thomas de Grivel c9293f9c 2023-08-06T20:39:42 compile with own libffi
Thomas de Grivel 5da26941 2023-07-25T23:08:48 remove whitespace from ic3
Thomas de Grivel cb8341e1 2023-07-22T19:41:51 include ffi.h
Thomas de Grivel c87b47e5 2023-06-16T17:38:09 work in progress: buf_parse
Thomas de Grivel 1baea400 2023-06-16T13:46:25 refactor
Thomas de Grivel 4d267e43 2023-06-09T11:08:13 buf_parse_test_su.h
Thomas de Grivel 3d8d7728 2023-03-23T17:19:58 licence
Thomas de Grivel d3a48f2b 2023-03-17T10:10:37 use system libffi
Thomas de Grivel 93a4e88d 2023-03-16T15:09:32 wip cfn
Thomas de Grivel f45f5d2b 2023-03-15T21:22:46 shared libs
Thomas de Grivel 5f18860d 2023-03-15T20:53:44 wip shared libraries
Thomas de Grivel cb1f06ee 2023-03-15T16:44:10 wip cfn SEGV
Thomas de Grivel 4000bed3 2023-03-15T16:02:13 -ldl
Thomas de Grivel 813cff92 2023-02-04T16:17:27 link statically to libtommath
Thomas de Grivel e55a429c 2023-02-04T14:00:20 fix build dependencies
Thomas de Grivel 962e719f 2023-02-04T04:05:28 linkage
Thomas de Grivel 62b5c03f 2023-01-31T13:11:19 c3_init(s_env *env)
Thomas de Grivel 01b92a68 2023-01-30T17:13:03 shutdown -> clean
Thomas de Grivel 054f542a 2023-01-30T10:38:08 wip remove alloca
Thomas de Grivel 9c35dcaf 2023-01-26T10:24:53 config_lib libmd
Thomas de Grivel fadc8073 2023-01-25T10:24:29 copyright
Thomas de Grivel 91139e89 2023-01-24T10:27:29 install in ${prefix}
Thomas de Grivel c707fff2 2023-01-22T11:01:16 make install
Thomas de Grivel 310f3906 2023-01-21T08:41:40 rename files
Thomas de Grivel 54fdfc96 2023-01-20T19:58:39 rename files
Thomas de Grivel a93bdb8a 2023-01-10T23:16:45 make install
Thomas de Grivel 27db4062 2022-12-31T01:43:49 tests ok
Thomas de Grivel bdf1cf77 2022-12-25T20:02:12 fix configure
Thomas de Grivel 43e0c022 2022-12-25T19:05:30 update_sources
Thomas de Grivel 327cec65 2022-12-25T07:15:41 update_sources
Thomas de Grivel 2afd8555 2022-12-25T06:19:54 fix i386
Thomas de Grivel ba58df36 2022-12-18T22:27:49 wip error
Thomas de Grivel fdfea29f 2022-12-08T15:38:04 fix compilation on Linux
Thomas de Grivel e9fca4ac 2022-12-08T14:47:21 libbsd-overlay
Thomas de Grivel 32d7c77a 2022-12-08T05:20:31 configure
Thomas de Grivel 922894e2 2022-12-08T03:01:27 fix compilation
Thomas de Grivel afa4413a 2022-12-07T18:48:02 readline -> linenoise
Thomas de Grivel f990b98e 2022-12-06T13:37:43 licence
Thomas de Grivel de9a6ab2 2022-11-25T21:57:50 wip eval
Thomas de Grivel 37df2c8e 2022-11-10T21:37:45 make gdb_test
Thomas de Grivel 557fa30f 2022-11-07T18:05:55 list_copy
Thomas de Grivel 865d1524 2022-10-31T00:50:45 c3-lang