ic3


Log

Author Commit Date CI Message
Thomas de Grivel da83a895 2024-06-28T12:17:54 configure: add CFLAGS for i386 FPU excess precision
Thomas de Grivel 7a41875d 2024-06-16T10:31:25 fix operators and cfn in .facts files and module loading
Thomas de Grivel 41789c71 2024-06-15T13:38:56 move defstruct functionality from .facts files to .c3 files
Thomas de Grivel f12b773f 2024-06-27T09:37:44 .ic3_history
Thomas de Grivel 739fb56f 2024-06-26T21:45:58 fix gcov build
Thomas de Grivel b9e790f8 2024-06-28T11:36:59 fix two segv in StructType (clean + must_clean)
Thomas de Grivel 5abf82ab 2024-06-25T12:22:11 fix defstruct with var
Thomas de Grivel 74b11e8b 2024-03-25T10:22:25 configure: shorter build messages, build log in .build/log
Thomas de Grivel 917553a0 2024-05-06T00:16:30 wip cow
Thomas de Grivel 4e8d5e18 2024-04-23T13:27:02 debug hash
Thomas de Grivel db33f90c 2024-04-11T09:14:53 wip defmodule: add tests
Thomas de Grivel 188f8039 2024-04-10T17:39:49 def x = %C3.Operator{}
Thomas de Grivel 3b48fce4 2024-04-10T15:20:17 wip defoperator + var_init_cast
Thomas de Grivel d2d855d8 2024-04-08T20:26:52 List.last
Thomas de Grivel c11ccf0f 2024-04-08T15:57:56 fix pattern matching of calls
Thomas de Grivel d8e2c25e 2024-04-04T19:48:43 wip defoperator (struct)
Thomas de Grivel 397bbe0f 2024-04-04T17:02:17 add type to *_init_cast
Thomas de Grivel 7dd49b66 2024-04-02T10:35:25 wip defoperator
Thomas de Grivel 87c46d4d 2024-04-02T10:17:38 wip defoperator
Thomas de Grivel 9d080f56 2024-03-29T20:41:39 defmodule + def
Thomas de Grivel 368b1c54 2024-03-29T19:24:57 wip defmodule + def
Thomas de Grivel c0cf3eff 2024-03-29T18:23:05 wip defmodule + def
Thomas de Grivel 027210f5 2024-03-29T11:45:04 wip config.subr and defmodule + def
Thomas de Grivel 0131304b 2024-03-28T09:07:09 wip defmodule
Thomas de Grivel dc371756 2024-03-28T06:55:35 wip defmodule
Thomas de Grivel 10969336 2024-03-27T21:10:37 wip defmodule
Thomas de Grivel 28ddb117 2024-03-22T16:32:23 wip def
Thomas de Grivel a39e403f 2024-03-11T16:41:49 win32
Thomas de Grivel ed7ab11c 2024-03-07T07:59:47 wip complex
Thomas de Grivel 7f2f72e4 2024-03-04T14:19:12 license
Thomas de Grivel e2ea623f 2024-02-21T21:21:23 ruby-style if
Thomas de Grivel 19ce64ae 2024-02-16T14:30:02 fix macro
Thomas de Grivel 94329ef3 2024-02-14T14:58:22 pin operator
Thomas de Grivel c0df7fe6 2024-02-04T23:06:14 %GL.Sphere{}
Thomas de Grivel 29db77e4 2024-02-04T22:07:24 wip struct
Thomas de Grivel 1d333c52 2024-02-02T17:37:48 fix array quote/unquote
Thomas de Grivel 77062d22 2024-02-02T11:09:17 quote unquote
Thomas de Grivel 8b68a241 2024-01-29T18:17:51 c11 -> use system libffi
Thomas de Grivel f0cee1e5 2024-01-29T17:38:22 str eval
Thomas de Grivel 0a5d9500 2024-01-27T12:37:57 wip str_eval
Thomas de Grivel 20122483 2024-01-25T11:05:16 ptr ptr_free
Thomas de Grivel 0c1e2386 2024-01-24T21:39:28 wip
Thomas de Grivel e8360897 2024-01-10T12:20:21 s8 -> char
Thomas de Grivel fee1cdd8 2024-01-05T14:47:14 wip struct_type
Thomas de Grivel 4fdc57d3 2024-01-03T11:06:46 wip data and struct
Thomas de Grivel dc8a8bb7 2023-12-21T03:27:57 fix tests
Thomas de Grivel 259da85c 2023-12-18T08:20:55 wip test_asan
Thomas de Grivel c8c26052 2023-12-18T07:08:56 wip tests
Thomas de Grivel a5aa00a4 2023-12-15T05:30:38 wip env_eval_struct
Thomas de Grivel a1fca524 2023-12-15T04:32:53 struct: buf_parse, buf_inspect
Thomas de Grivel 6dbd90bb 2023-12-15T02:06:36 fix ic3
Thomas de Grivel fddc7d94 2023-12-14T18:50:55 sources.mk
Thomas de Grivel b700d912 2023-12-14T03:27:02 wip ptr_free
Thomas de Grivel ddcdedba 2023-12-11T19:54:18 assert.h err.h
Thomas de Grivel 5ebd9385 2023-12-13T21:53:07 ic3 with wineditline
Thomas de Grivel 6e7a2ed4 2023-11-30T13:07:39 refactor buf_init
Thomas de Grivel 35d87434 2023-11-26T15:17:58 fix tests
Thomas de Grivel 6578e67b 2023-11-25T22:55:26 wip
Thomas de Grivel f49a2c33 2023-11-22T17:52:49 configure
Thomas de Grivel 37e3b29d 2023-11-22T16:42:30 wip win64
Thomas de Grivel 92b17b5b 2023-11-21T13:16:09 wip win32
Thomas de Grivel ec70bc2f 2023-11-15T10:53:30 configure
Thomas de Grivel b594a789 2023-11-14T22:39:42 cairo quartz build
Thomas de Grivel 9c82647d 2023-10-22T17:00:05 fix c3s
Thomas de Grivel fe10fe41 2023-10-18T23:03:59 undefined
Thomas de Grivel 8dc9639f 2023-10-18T21:50:23 wip operators
Thomas de Grivel 9faa0c30 2023-10-16T00:12:08 -no-undefined in LDFLAGS, breaks debug build of libtommath components
Thomas de Grivel 26a03f17 2023-09-07T12:13:27 wip segv =
Thomas de Grivel 32021d1f 2023-09-07T11:27:48 wip ic3
Thomas de Grivel 56fef92e 2023-08-29T15:21:38 wip
Thomas de Grivel 37ebe824 2023-08-29T14:21:55 wip call refactor
Thomas de Grivel 37b09c72 2023-08-21T11:35:20 wip cov
Thomas de Grivel 27b5b4d9 2023-08-21T11:00:54 wip gcovr
Thomas de Grivel 69f7efaf 2023-08-20T13:38:37 fix -ldl
Thomas de Grivel 3eb89f87 2023-08-19T15:51:11 fix debian
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