libc3


Log

Author Commit Date CI Message
Thomas de Grivel 5760a397 2024-07-04T19:18:34 update_sources (config.h)
Thomas de Grivel fac930c6 2024-07-04T11:08:10 fix env_eval_struct
Thomas de Grivel a1f9b25e 2024-07-03T19:59:42 remove unused code
Thomas de Grivel f4aefa88 2024-07-03T19:59:08 fix data_compare for structs
Thomas de Grivel 161285f9 2024-07-03T19:58:19 move var declaration to top
Thomas de Grivel 0c264e5d 2024-07-04T14:22:44 fix return bug in env_def operator fix def clean
Thomas de Grivel 03dcaf3d 2024-07-03T07:47:33 fix multiple memory leaks
Thomas de Grivel 93ee110d 2024-07-04T10:06:27 fix memory leak in data_init_copy struct
Thomas de Grivel aa020eba 2024-07-02T00:24:30 buf_empty
Thomas de Grivel 01c97f3f 2024-07-04T18:21:34 print update_sources path
Thomas de Grivel 5aa774c5 2024-07-04T14:21:57 env_
Thomas de Grivel 5a54c263 2024-07-04T10:05:58 sort s_struct type
Thomas de Grivel 6789d27e 2024-07-02T00:17:17 buf_read_to_str: error checking
Thomas de Grivel cf06f1d2 2024-07-03T20:14:28 remove struct.free_data
Thomas de Grivel 5ce92a31 2024-07-04T11:08:49 fix tag_to_const_pointer for structs
Thomas de Grivel 81aa9adb 2024-07-03T20:09:41 tag_init: remove struct_init free_data. While there fix spacing issue.
Thomas de Grivel 551e8f69 2024-06-30T00:24:16 work on error handling for structs and struct_type, and fix bug in env_struct_type_exists
Thomas de Grivel da83a895 2024-06-28T12:17:54 configure: add CFLAGS for i386 FPU excess precision
Thomas de Grivel 0a163410 2024-07-03T20:00:39 one instruction per line
Thomas de Grivel d664ed09 2024-06-27T11:55:36 make test_asan: fix two memory leaks in env_call_get and env_module_maybe_reload
Thomas de Grivel d25c1801 2024-05-19T03:38:49 env_struct_type_has_spec
Thomas de Grivel 73e942ab 2024-05-19T03:38:05 facts: error handling
Thomas de Grivel c6dd0c67 2024-06-27T09:49:00 minor fix
Thomas de Grivel 74b7f1e6 2024-05-18T20:48:23 env_defstruct
Thomas de Grivel 7a94e69f 2024-05-18T17:29:38 fix facts_transaction
Thomas de Grivel d576a796 2024-06-27T09:47:56 s_struct and s_struct_type support
Thomas de Grivel 667b9959 2024-05-18T15:13:19 facts_transaction
Thomas de Grivel c1547a1a 2024-06-27T09:46:12 better StructType support
Thomas de Grivel 808b797f 2024-05-17T14:43:07 ic3> cow(1) + cow(1)
Thomas de Grivel 33a84e1b 2024-06-27T09:41:06 buf_inspect_struct: bounds check for data + offset
Thomas de Grivel c2e9f761 2024-05-17T14:21:45 fix cow_init_cast
Thomas de Grivel 739fb56f 2024-06-26T21:45:58 fix gcov build
Thomas de Grivel fc1348c5 2024-06-25T14:15:40 remove unused function env_module_load_defstruct
Thomas de Grivel 5abf82ab 2024-06-25T12:22:11 fix defstruct with var
Thomas de Grivel 38b478bc 2024-06-25T11:56:58 module_has_ident -> env_module_has_ident, module_has_symbol -> env_module_has_symbol
Thomas de Grivel eef9feec 2024-06-25T11:31:10 module_load_time -> env_module_load_time, module_maybe_reload -> env_module_maybe_reload
Thomas de Grivel 14ae324b 2024-06-25T10:38:03 module_ensure_loaded -> env_module_ensure_loaded
Thomas de Grivel 9cfe595b 2024-06-25T10:20:14 ident_get -> env_ident_get, env_tag_ident_is_bound
Thomas de Grivel a376eb62 2024-06-25T09:58:53 module_load(module, facts) -> env_module_load(env, module)
Thomas de Grivel 4d6a58b6 2024-06-25T09:44:03 remove unused function call_op_get
Thomas de Grivel fa56409f 2024-06-25T09:40:15 call_get(call, facts) -> env_call_get(env, call)
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 1fc3c987 2024-06-14T09:41:23 fix compilation on i386
Thomas de Grivel 371ef224 2024-05-26T18:38:50 fix buf_inspect_call_op
Thomas de Grivel 1346168e 2024-05-21T21:05:32 libc3_test ok, wip ic3_test
Thomas de Grivel b9e790f8 2024-06-28T11:36:59 fix two segv in StructType (clean + must_clean)
Thomas de Grivel db5a972c 2024-05-21T19:59:47 fix var_set bug
Thomas de Grivel 9ce41cc8 2024-05-21T19:14:49 wip var_set bug
Thomas de Grivel 586a96a8 2024-06-27T14:56:25 make test_ic3_asan: fix memory leaks in defmodule test
Thomas de Grivel 01f284de 2024-05-21T16:01:39 wip var_set bug
Thomas de Grivel 0cbdc44d 2024-05-21T05:45:55 wip error handling
Thomas de Grivel 933d7056 2024-05-14T20:53:35 license
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 d4915524 2024-04-02T09:38:37 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 5326d4e4 2024-03-29T18:48:54 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 17f78e73 2024-03-27T11:39:14 if then else
Thomas de Grivel ff02a06f 2024-03-26T19:56:35 fixme
Thomas de Grivel 64743de1 2024-03-26T11:00:07 better error message in env
Thomas de Grivel e1ab1d84 2024-03-26T10:36:57 better error message for unbound equal on both sides
Thomas de Grivel 74b11e8b 2024-03-25T10:22:25 configure: shorter build messages, build log in .build/log
Thomas de Grivel 593a1d6b 2024-05-11T20:25:59 wip cow
Thomas de Grivel c82d67ca 2024-05-11T14:59:00 wip cow
Thomas de Grivel d450a1a2 2024-05-10T16:13:37 wip cow
Thomas de Grivel 0a783cb8 2024-05-06T14:03:59 remove env_eval_fn_* code
Thomas de Grivel be7f70ca 2024-05-06T00:27:20 fix buf_parse_var
Thomas de Grivel 917553a0 2024-05-06T00:16:30 wip cow
Thomas de Grivel edac3d9c 2024-05-05T23:33:47 wip cow
Thomas de Grivel 3ce992ab 2024-05-05T22:03:31 wip cow
Thomas de Grivel 7ce388f3 2024-05-02T15:50:17 fix data_init_cast
Thomas de Grivel 7a7e3fc5 2024-04-30T07:35:30 fix def
Thomas de Grivel 6d801ead 2024-04-29T22:57:41 wip def
Thomas de Grivel 8f7b872a 2024-04-24T13:13:57 new tests for def
Thomas de Grivel 1b4258c3 2024-04-23T20:48:50 remove useless check
Thomas de Grivel 2a52c619 2024-04-23T20:44:57 asan: module_path
Thomas de Grivel eba0bafc 2024-04-23T20:30:06 wip defmodule
Thomas de Grivel 4e8d5e18 2024-04-23T13:27:02 debug hash
Thomas de Grivel 4342defd 2024-04-22T23:45:36 wip defmodule
Thomas de Grivel eb4bb492 2024-04-15T16:40:15 wip asan
Thomas de Grivel 533e184c 2024-04-15T13:43:18 tag_init_copy: error handling
Thomas de Grivel 7f9b39e8 2024-04-14T23:12:24 gain 1 line
Thomas de Grivel d43549a9 2024-04-14T12:16:49 env_def: error handling
Thomas de Grivel e3af212b 2024-04-13T10:07:36 defmodule + def + fn + call
Thomas de Grivel 1b266944 2024-04-12T10:58:35 wip env_eval_fn
Thomas de Grivel 2fd931a7 2024-04-11T18:05:44 wip env_eval_fn
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 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 5f259054 2024-03-24T18:32:56 wip asan
Thomas de Grivel f5180094 2024-03-24T18:21:38 fix env_module_is_loading