Log

Author Commit Date CI Message
Thomas de Grivel fdcca9c3 2023-11-10T09:11:37 asan
Thomas de Grivel 05d710a5 2023-11-09T21:28:06 readme
Thomas de Grivel a530db5a 2023-11-09T21:26:09 list change from paren () to brackets []
Thomas de Grivel 6cfa42b3 2023-11-08T14:08:02 release
Thomas de Grivel 71b8301b 2023-11-08T14:06:54 Clean up release
Thomas de Grivel e6004fb1 2023-11-08T13:31:28 Release 0.1.8
Thomas de Grivel 6c4eb186 2023-11-08T13:27:51 c3-0.1.8.win64
Thomas de Grivel f7abde8b 2023-11-08T11:20:15 add missing file
Thomas de Grivel f66f91b5 2023-11-08T11:09:05 README, wip release 0.1.8
Thomas de Grivel d47500d9 2023-11-07T15:50:31 wip asan
Thomas de Grivel 53cca593 2023-11-07T13:19:36 wip asan
Thomas de Grivel d99bb5d5 2023-11-07T12:26:11 fix integer tests
Thomas de Grivel f82c7a12 2023-11-05T09:34:33 ic3_test
Thomas de Grivel 216bb251 2023-11-03T16:31:26 show supported systems in README.md, fix tests
Thomas de Grivel 83dd9e44 2023-11-03T15:52:50 fix build on MacOS X
Thomas de Grivel bd5c44ad 2023-11-03T14:27:52 () -> (void)
Thomas de Grivel fab80e98 2023-11-03T14:18:44 wip macosx
Thomas de Grivel 84b35c62 2023-11-03T14:11:18 #undef true false
Thomas de Grivel fdbe0152 2023-11-03T14:10:03 #undef bool
Thomas de Grivel c0a53801 2023-11-03T14:05:54 fix build
Thomas de Grivel dac0d8aa 2023-11-03T13:59:57 fix build on mac os
Thomas de Grivel 0ce93878 2023-10-30T11:13:40 more tests
Thomas de Grivel 503c47d0 2023-10-28T12:40:43 fixed tag_mod
Thomas de Grivel a4176bf9 2023-10-27T23:54:45 wip test_ic3 integer_mod
Thomas de Grivel e729829a 2023-10-27T23:13:07 wip tag_mod
Thomas de Grivel f69486fd 2023-10-27T20:47:31 wip test_ic3 bor
Thomas de Grivel 354ec35b 2023-10-27T15:06:12 wip arrays
Thomas de Grivel 245f5011 2023-10-27T14:56:11 wip cast
Thomas de Grivel 54afae1f 2023-10-26T18:29:06 wip cast
Thomas de Grivel 2723b961 2023-10-26T11:55:37 license
Thomas de Grivel fa74a4c2 2023-10-26T11:48:16 wip license
Thomas de Grivel 8efa6658 2023-10-26T11:44:30 license
Thomas de Grivel e601bf6a 2023-10-26T10:27:32 wip ptr
Thomas de Grivel bd3dcd16 2023-10-24T12:43:52 update README.md and bump revision
Thomas de Grivel 7c6121d3 2023-10-24T00:44:17 release c3-0.1.7
Thomas de Grivel 681135f3 2023-10-23T22:26:26 configure: silence include errors
Thomas de Grivel 808ff11d 2023-10-23T22:04:39 chmod
Thomas de Grivel cac8c009 2023-10-23T18:11:32 release 0.1.7.win64
Thomas de Grivel 5fa714c9 2023-10-23T16:33:26 crop image
Thomas de Grivel 621b5fb4 2023-10-23T16:31:01 c3 img
Thomas de Grivel 0980b47f 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
Thomas de Grivel 946ab9ce 2023-09-23T08:57:52 ws