Log

Author Commit Date CI Message
Thomas de Grivel de7e6b4f 2023-11-10T10:04:40 describe lists
Thomas de Grivel f8c1c3e9 2023-11-10T09:54:20 () -> []
Thomas de Grivel 0e55c798 2023-11-09T21:28:06 readme
Thomas de Grivel b6f02530 2023-11-09T21:26:09 list change from paren () to brackets []
Thomas de Grivel 01c6640a 2023-11-10T09:11:37 asan
Thomas de Grivel f13ce210 2023-11-08T14:06:54 Clean up release
Thomas de Grivel af0f59dd 2023-11-08T13:31:28 Release 0.1.8
Thomas de Grivel aa9d1e65 2023-11-08T13:27:51 c3-0.1.8.win64
Thomas de Grivel d947ac0e 2023-11-03T15:52:50 fix build on MacOS X
Thomas de Grivel f6a73036 2023-11-03T14:27:52 () -> (void)
Thomas de Grivel 3ab4194e 2023-11-08T11:20:15 add missing file
Thomas de Grivel aa9082b9 2023-11-03T14:18:44 wip macosx
Thomas de Grivel cea9e0f0 2023-11-03T14:11:18 #undef true false
Thomas de Grivel 94f96508 2023-11-08T11:09:05 README, wip release 0.1.8
Thomas de Grivel 02f03748 2023-11-03T14:10:03 #undef bool
Thomas de Grivel fe2f5fc7 2023-11-03T14:05:54 fix build
Thomas de Grivel 5f4933bd 2023-11-07T15:50:31 wip asan
Thomas de Grivel f9058d29 2023-11-07T13:19:36 wip asan
Thomas de Grivel 817493c6 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel a7f7fd10 2023-11-05T09:34:33 ic3_test
Thomas de Grivel b2b63372 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel 24f9a42f 2023-10-26T11:48:16 wip license
Thomas de Grivel 29024978 2023-10-26T11:44:30 license
Thomas de Grivel 4534c0ce 2023-10-26T10:27:32 wip ptr
Thomas de Grivel e8d288cf 2023-10-24T12:43:52 update README.md and bump revision
Thomas de Grivel 07669d8a 2023-11-03T13:59:57 fix build on mac os
Thomas de Grivel 69ef815a 2023-10-30T11:13:40 more tests
Thomas de Grivel a55117c4 2023-10-28T12:40:43 fixed tag_mod
Thomas de Grivel d76c54db 2023-10-27T23:54:45 wip test_ic3 integer_mod
Thomas de Grivel 70abf3fe 2023-10-27T23:13:07 wip tag_mod
Thomas de Grivel dffd7fcf 2023-10-27T20:47:31 wip test_ic3 bor
Thomas de Grivel d2ebb8e4 2023-10-27T15:06:12 wip arrays
Thomas de Grivel be7f7d25 2023-10-27T14:56:11 wip cast
Thomas de Grivel 7d7ba1a2 2023-10-26T18:29:06 wip cast
Thomas de Grivel e264c6a3 2023-10-26T11:55:37 license
Thomas de Grivel f570c9aa 2023-10-24T00:44:17 release c3-0.1.7
Thomas de Grivel 735e820c 2023-10-23T22:26:26 configure: silence include errors
Thomas de Grivel e5e919c4 2023-10-23T22:04:39 chmod
Thomas de Grivel d0a6764b 2023-10-23T18:11:32 release 0.1.7.win64
Thomas de Grivel de35e61a 2023-10-23T16:33:26 crop image
Thomas de Grivel 91a6872b 2023-10-23T16:31:01 c3 img
Thomas de Grivel ec4601e3 2023-10-23T15:20:21 C3 drawing by Iris Noiré
Thomas de Grivel 4639d19e 2023-10-23T15:18:31 replace system("cp ...") with file_copy
Thomas de Grivel e7ee1ec6 2023-10-22T21:52:46 init facts->next_id
Thomas de Grivel 6220313d 2023-10-22T17:45:50 clean release ic3 test directory
Thomas de Grivel 737cfed8 2023-10-22T17:33:53 win64 release v0.1.7
Thomas de Grivel 490c03a4 2023-10-22T17:17:56 make facts id u64
Thomas de Grivel 9c82647d 2023-10-22T17:00:05 fix c3s
Thomas de Grivel 60b72876 2023-10-21T17:05:14 update zip archive for win64
Thomas de Grivel dae81898 2023-10-21T17:04:16 bump revision
Thomas de Grivel f59f6782 2023-10-21T17:02:16 fix build on OpenBSD
Thomas de Grivel b9432aa4 2023-10-21T16:44:26 win64
Thomas de Grivel 396ebad7 2023-10-21T15:21:20 win64
Thomas de Grivel b3f974bc 2023-10-21T15:45:26 fix build on win64
Thomas de Grivel 10b672c8 2023-10-21T15:02:36 fix asan
Thomas de Grivel 9809bcf9 2023-10-21T14:57:54 fixed operators
Thomas de Grivel 15c75c1e 2023-10-21T14:00:36 wip operators
Thomas de Grivel 71dcf362 2023-10-21T02:17:19 wip operators
Thomas de Grivel c66291a2 2023-10-21T01:27:09 wip operators
Thomas de Grivel 40d82979 2023-10-21T01:25:11 wip operators
Thomas de Grivel 9837c5b4 2023-10-20T23:03:40 wip operator, segv
Thomas de Grivel 78aced3b 2023-10-20T12:38:38 wip various bugfixes
Thomas de Grivel a58f582a 2023-10-20T11:26:10 sym_to_tag_type
Thomas de Grivel 526fb0d6 2023-10-19T14:00:14 fix env_operator_call_ident
Thomas de Grivel e375fa40 2023-10-19T13:43:10 wip segv
Thomas de Grivel ba400836 2023-10-19T13:04:03 wip operators
Thomas de Grivel 2612bc88 2023-10-18T23:26:18 warn less
Thomas de Grivel 5cea38f9 2023-10-18T23:19:01 warn
Thomas de Grivel fe10fe41 2023-10-18T23:03:59 undefined
Thomas de Grivel f5a0ab76 2023-10-18T22:20:39 wip asan
Thomas de Grivel 23a08232 2023-10-18T22:12:07 make test_ic3_asan
Thomas de Grivel 7a7ff084 2023-10-18T22:00:25 wip operators
Thomas de Grivel 92a190e5 2023-10-18T21:59:26 wip operators
Thomas de Grivel 8dc9639f 2023-10-18T21:50:23 wip operators
Thomas de Grivel ba40cf4e 2023-10-18T14:27:26 wip operators
Thomas de Grivel 69257a83 2023-10-18T13:15:51 wip operators
Thomas de Grivel 7daa7707 2023-10-18T12:20:55 tag_bor
Thomas de Grivel a8ddb105 2023-10-18T12:14:56 tag_band
Thomas de Grivel a2bd4841 2023-10-17T23:04:29 wip cfn
Thomas de Grivel 79623b5d 2023-10-16T03:57:43 lib
Thomas de Grivel 9faa0c30 2023-10-16T00:12:08 -no-undefined in LDFLAGS, breaks debug build of libtommath components
Thomas de Grivel 7c81ed77 2023-10-15T19:23:09 licence/license
Thomas de Grivel ed3dd7c0 2023-10-15T18:39:11 readme
Thomas de Grivel ad7a6fb5 2023-10-15T18:38:12 readme
Thomas de Grivel ba93ea06 2023-10-15T13:04:12 win64
Thomas de Grivel 9a7a5fe3 2023-10-01T19:50:23 fixed (List) arrays
Thomas de Grivel c21e333e 2023-10-01T19:44:40 fixed (List) arrays
Thomas de Grivel a91b1b18 2023-10-01T19:09:16 wip (List) arrays
Thomas de Grivel ffe5fbfc 2023-10-01T18:47:14 refactor list_copy
Thomas de Grivel af40ba86 2023-10-01T18:14:02 wip (List) arrays
Thomas de Grivel 0a721724 2023-09-29T18:10:23 readme: adding or removing files
Thomas de Grivel 940cb85b 2023-09-28T12:25:06 readme
Thomas de Grivel 2a5b51a2 2023-09-27T11:58:13 bump revision
Thomas de Grivel 7a4b03e6 2023-09-26T09:21:25 fix integer, asan
Thomas de Grivel 478c1e78 2023-09-26T09:18:18 fix integers
Thomas de Grivel bac0648a 2023-09-25T21:37:06 integer arrays
Thomas de Grivel 7dcb1543 2023-09-25T17:03:51 wip array clean
Thomas de Grivel 6eae16af 2023-09-25T16:13:06 fix use after free
Thomas de Grivel 453f5581 2023-09-24T11:57:36 wip integer arrays
Thomas de Grivel 4bec6e51 2023-09-23T09:03:03 wip integer arrays