Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| 6220313d | 2023-10-22 17:45:50 | clean release ic3 test directory | ||
| 737cfed8 | 2023-10-22 17:33:53 | win64 release v0.1.7 | ||
| 490c03a4 | 2023-10-22 17:17:56 | make facts id u64 | ||
| 9c82647d | 2023-10-22 17:00:05 | fix c3s | ||
| 60b72876 | 2023-10-21 17:05:14 | update zip archive for win64 | ||
| dae81898 | 2023-10-21 17:04:16 | bump revision | ||
| f59f6782 | 2023-10-21 17:02:16 | fix build on OpenBSD | ||
| b9432aa4 | 2023-10-21 16:44:26 | win64 | ||
| 396ebad7 | 2023-10-21 15:21:20 | win64 | ||
| b3f974bc | 2023-10-21 15:45:26 | fix build on win64 | ||
| 10b672c8 | 2023-10-21 15:02:36 | fix asan | ||
| 9809bcf9 | 2023-10-21 14:57:54 | fixed operators | ||
| 15c75c1e | 2023-10-21 14:00:36 | wip operators | ||
| 71dcf362 | 2023-10-21 02:17:19 | wip operators | ||
| c66291a2 | 2023-10-21 01:27:09 | wip operators | ||
| 40d82979 | 2023-10-21 01:25:11 | wip operators | ||
| 9837c5b4 | 2023-10-20 23:03:40 | wip operator, segv | ||
| 78aced3b | 2023-10-20 12:38:38 | wip various bugfixes | ||
| a58f582a | 2023-10-20 11:26:10 | sym_to_tag_type | ||
| 526fb0d6 | 2023-10-19 14:00:14 | fix env_operator_call_ident | ||
| e375fa40 | 2023-10-19 13:43:10 | wip segv | ||
| ba400836 | 2023-10-19 13:04:03 | wip operators | ||
| 2612bc88 | 2023-10-18 23:26:18 | warn less | ||
| 5cea38f9 | 2023-10-18 23:19:01 | warn | ||
| fe10fe41 | 2023-10-18 23:03:59 | undefined | ||
| f5a0ab76 | 2023-10-18 22:20:39 | wip asan | ||
| 23a08232 | 2023-10-18 22:12:07 | make test_ic3_asan | ||
| 7a7ff084 | 2023-10-18 22:00:25 | wip operators | ||
| 92a190e5 | 2023-10-18 21:59:26 | wip operators | ||
| 8dc9639f | 2023-10-18 21:50:23 | wip operators | ||
| ba40cf4e | 2023-10-18 14:27:26 | wip operators | ||
| 69257a83 | 2023-10-18 13:15:51 | wip operators | ||
| 7daa7707 | 2023-10-18 12:20:55 | tag_bor | ||
| a8ddb105 | 2023-10-18 12:14:56 | tag_band | ||
| a2bd4841 | 2023-10-17 23:04:29 | wip cfn | ||
| 79623b5d | 2023-10-16 03:57:43 | lib | ||
| 9faa0c30 | 2023-10-16 00:12:08 | -no-undefined in LDFLAGS, breaks debug build of libtommath components | ||
| 7c81ed77 | 2023-10-15 19:23:09 | licence/license | ||
| ed3dd7c0 | 2023-10-15 18:39:11 | readme | ||
| ad7a6fb5 | 2023-10-15 18:38:12 | readme | ||
| ba93ea06 | 2023-10-15 13:04:12 | win64 | ||
| 9a7a5fe3 | 2023-10-01 19:50:23 | fixed (List) arrays | ||
| c21e333e | 2023-10-01 19:44:40 | fixed (List) arrays | ||
| a91b1b18 | 2023-10-01 19:09:16 | wip (List) arrays | ||
| ffe5fbfc | 2023-10-01 18:47:14 | refactor list_copy | ||
| af40ba86 | 2023-10-01 18:14:02 | wip (List) arrays | ||
| 0a721724 | 2023-09-29 18:10:23 | readme: adding or removing files | ||
| 940cb85b | 2023-09-28 12:25:06 | readme | ||
| 2a5b51a2 | 2023-09-27 11:58:13 | bump revision | ||
| 7a4b03e6 | 2023-09-26 09:21:25 | fix integer, asan | ||
| 478c1e78 | 2023-09-26 09:18:18 | fix integers | ||
| bac0648a | 2023-09-25 21:37:06 | integer arrays | ||
| 7dcb1543 | 2023-09-25 17:03:51 | wip array clean | ||
| 6eae16af | 2023-09-25 16:13:06 | fix use after free | ||
| 453f5581 | 2023-09-24 11:57:36 | wip integer arrays | ||
| 4bec6e51 | 2023-09-23 09:03:03 | wip integer arrays | ||
| 946ab9ce | 2023-09-23 08:57:52 | ws | ||
| b8940452 | 2023-09-23 08:56:41 | mp_init_copy | ||
| 7271f0fc | 2023-09-23 08:44:38 | wip integer arrays | ||
| ca42988d | 2023-09-22 21:03:12 | wip integer arrays | ||
| 4abf52d5 | 2023-09-22 17:35:28 | (U*) and (S*) arrays | ||
| 0bf362fc | 2023-09-22 16:22:08 | u* arrays | ||
| cb9617a5 | 2023-09-22 15:51:24 | wip cast | ||
| 67d3a9cc | 2023-09-21 14:12:48 | README | ||
| f798b955 | 2023-09-20 20:26:47 | bump revision | ||
| f3b48190 | 2023-09-20 20:22:26 | README | ||
| b25494f1 | 2023-09-20 15:09:54 | fix arrays | ||
| b9f9b82d | 2023-09-20 00:21:12 | fix tests | ||
| 62cd9d32 | 2023-09-20 00:18:45 | wip asan | ||
| 81c664c8 | 2023-09-20 00:15:43 | wip asan | ||
| d941e9e4 | 2023-09-20 00:11:40 | wip asan | ||
| 48449333 | 2023-09-19 22:55:33 | add array tests | ||
| 949ba09c | 2023-09-19 22:49:24 | wip asan | ||
| 2e4212de | 2023-09-19 22:47:15 | wip asan | ||
| 5a044439 | 2023-09-19 22:42:39 | wip asan | ||
| c827d68b | 2023-09-19 22:36:16 | fix u8.facts | ||
| 281ed229 | 2023-09-19 22:05:26 | wip arrays | ||
| c38901cf | 2023-09-19 19:31:16 | wip arrays asan, update_sources | ||
| a5fc0674 | 2023-09-19 18:49:51 | wip arrays asan | ||
| 8fb4acdb | 2023-09-19 18:23:18 | wip arrays asan | ||
| 10ea3f2e | 2023-09-19 17:25:53 | wip arrays asan | ||
| dcfaefec | 2023-09-19 17:15:38 | fix array tests | ||
| e077b7bf | 2023-09-19 17:15:38 | fix array tests | ||
| 590721cf | 2023-09-19 17:11:24 | tmp.data | ||
| 2c1ce7f2 | 2023-09-19 15:23:28 | wip arrays | ||
| 27dc573f | 2023-09-18 15:10:02 | cast | ||
| 55d890fe | 2023-09-17 15:29:29 | add examples | ||
| 9523ec9d | 2023-09-11 11:36:58 | buf_inspect_call_brackets | ||
| 67a638f7 | 2023-09-10 20:08:20 | fix tests | ||
| b7513c9e | 2023-09-10 19:47:16 | fix env_eval_equal_tag and ident_get | ||
| f131055e | 2023-09-10 14:18:55 | fix env_eval_equal_tag | ||
| 09d658e5 | 2023-09-08 09:52:33 | fix array tests | ||
| b5ad083c | 2023-09-07 12:22:55 | reload facts if file changed | ||
| 26a03f17 | 2023-09-07 12:13:27 | wip segv = | ||
| 3440371d | 2023-09-07 11:29:18 | wip ic3 | ||
| 32021d1f | 2023-09-07 11:27:48 | wip ic3 | ||
| 56a6b43c | 2023-09-07 11:18:25 | wip asan | ||
| d2292241 | 2023-09-07 11:17:56 | wip asan | ||
| 2f16b6c6 | 2023-09-07 11:15:03 | wip asan | ||
| 3835b2b8 | 2023-09-07 11:09:16 | wip asan |