{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":719929031,"defaultBranch":"main","name":"yices2-built-with-wasi-sdk","ownerLogin":"sporniket","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-17T07:51:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5870528?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709281225.0","currentOid":""},"activityList":{"items":[{"before":"717aad5796ece2b54852fd857a6cc7e54638b35b","after":"fffe2ae95ed4aa5a6725f8966ddc466a900e7cba","ref":"refs/heads/main","pushedAt":"2024-03-07T22:20:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Update yices2 sources","shortMessageHtmlLink":"Update yices2 sources"}},{"before":"0faa6ed12aba4d6b9485eaf8a0f1ab670f2076dc","after":"717aad5796ece2b54852fd857a6cc7e54638b35b","ref":"refs/heads/main","pushedAt":"2024-03-07T22:14:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #22 : Put proper copyright and licence notices","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #22.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2174208032\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/22\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/22/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/22\">#22</a> : Put proper copyright and licence notices"}},{"before":"da71bb70138d50d3ce5013c1251169d2044902d6","after":"0faa6ed12aba4d6b9485eaf8a0f1ab670f2076dc","ref":"refs/heads/main","pushedAt":"2024-03-07T22:07:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #21 : Put at the top of the script all the version numbers declaration, to make maintainance easier, on the premise that most of the time, only changing the version number will be required","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #21.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2174207897\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/21\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/21/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/21\">#21</a> : Put at the top of the script all the version numbers d…"}},{"before":"4067529c868497f1c9e70733953c7da8eb80c227","after":"da71bb70138d50d3ce5013c1251169d2044902d6","ref":"refs/heads/main","pushedAt":"2024-03-07T21:54:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #20 : Reorder the generation and invocation of the makefiles and includes, to gather all the part of the same step (e.g. gmp, yices2), sorted by order of dependencies and complexity","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #20.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2174207725\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/20\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/20/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/20\">#20</a> : Reorder the generation and invocation of the makefiles…"}},{"before":"ba8f83e0993c5d564c528da0a339a12ea4f85358","after":"4067529c868497f1c9e70733953c7da8eb80c227","ref":"refs/heads/main","pushedAt":"2024-03-07T15:54:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #16 : [build] Use a generated makefile to build Yices2","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #16.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2160879900\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/16\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/16/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/16\">#16</a> : [build] Use a generated makefile to build Yices2"}},{"before":"3a1556b4aad57649f23d0d08f6f00b196f0e9ce3","after":"4067529c868497f1c9e70733953c7da8eb80c227","ref":"refs/heads/16-build-yices-with-makefile","pushedAt":"2024-03-07T15:53:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #16 : [build] Use a generated makefile to build Yices2","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #16.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2160879900\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/16\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/16/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/16\">#16</a> : [build] Use a generated makefile to build Yices2"}},{"before":"7abb6faa6642ec63f6cb499e3a2744f22123d2b9","after":"ba8f83e0993c5d564c528da0a339a12ea4f85358","ref":"refs/heads/main","pushedAt":"2024-03-07T15:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Fixes #18 : [build][bug] Transmit environment variables to make to build GMP with correct tools, flags","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #18.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2173494461\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/18\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/18/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/18\">#18</a> : [build][bug] Transmit environment variables to make to bu…"}},{"before":"4bb3e6b0eb3168fe3141bfaf8640c6b7a7c12778","after":"3a1556b4aad57649f23d0d08f6f00b196f0e9ce3","ref":"refs/heads/16-build-yices-with-makefile","pushedAt":"2024-03-01T20:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"wip -- advance a little, but GMP has no __gmpz_cmp ?","shortMessageHtmlLink":"wip -- advance a little, but GMP has no __gmpz_cmp ?"}},{"before":"e86669720688fcf5ff97d9d25d3ec1a0ae1a0da6","after":"4bb3e6b0eb3168fe3141bfaf8640c6b7a7c12778","ref":"refs/heads/16-build-yices-with-makefile","pushedAt":"2024-03-01T08:35:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"wip -- better, but cannot find libgmb.a, look at system dir instead of dirs specified with -L","shortMessageHtmlLink":"wip -- better, but cannot find libgmb.a, look at system dir instead o…"}},{"before":"3a13a1346b4f309dc7f36fe142964b951a698663","after":"e86669720688fcf5ff97d9d25d3ec1a0ae1a0da6","ref":"refs/heads/16-build-yices-with-makefile","pushedAt":"2024-03-01T08:21:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"wip -- found bug of spilled env variables, and how to fix it","shortMessageHtmlLink":"wip -- found bug of spilled env variables, and how to fix it"}},{"before":"6bfa9dc159a3c118ba4dba7c7d01919b09fa437f","after":"7abb6faa6642ec63f6cb499e3a2744f22123d2b9","ref":"refs/heads/main","pushedAt":"2024-03-01T08:20:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #17 : [build] make the generated makefiles work without environment variables","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #17.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2162849047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/17\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/17/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/17\">#17</a> : [build] make the generated makefiles work without envi…"}},{"before":null,"after":"7abb6faa6642ec63f6cb499e3a2744f22123d2b9","ref":"refs/heads/17-makefile-should-work-without-variables-before","pushedAt":"2024-03-01T08:20:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #17 : [build] make the generated makefiles work without environment variables","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #17.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2162849047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/17\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/17/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/17\">#17</a> : [build] make the generated makefiles work without envi…"}},{"before":null,"after":"3a13a1346b4f309dc7f36fe142964b951a698663","ref":"refs/heads/16-build-yices-with-makefile","pushedAt":"2024-03-01T06:33:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"wip -- CPPFLAGS is still empty","shortMessageHtmlLink":"wip -- CPPFLAGS is still empty"}},{"before":"95d599248cbea75b33d78242017d29f06aeb8f80","after":"6bfa9dc159a3c118ba4dba7c7d01919b09fa437f","ref":"refs/heads/main","pushedAt":"2024-02-29T08:42:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #15 : [build] Use a generated makefile to build GMP","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #15.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2114389853\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/15\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/15/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/15\">#15</a> : [build] Use a generated makefile to build GMP"}},{"before":"d390d707ee21afc616e90fcf02a19a52d1b47b01","after":"6bfa9dc159a3c118ba4dba7c7d01919b09fa437f","ref":"refs/heads/15-build-gmp-with-makefile","pushedAt":"2024-02-29T08:42:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #15 : [build] Use a generated makefile to build GMP","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #15.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2114389853\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/15\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/15/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/15\">#15</a> : [build] Use a generated makefile to build GMP"}},{"before":null,"after":"d390d707ee21afc616e90fcf02a19a52d1b47b01","ref":"refs/heads/15-build-gmp-with-makefile","pushedAt":"2024-02-29T07:16:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"wip -- try to install doc into system dirs instead of prefix dir","shortMessageHtmlLink":"wip -- try to install doc into system dirs instead of prefix dir"}},{"before":"d609639f08ee527e03e501915086a592dad433dc","after":"95d599248cbea75b33d78242017d29f06aeb8f80","ref":"refs/heads/main","pushedAt":"2024-02-02T08:22:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"finalize WASI part and GETOPT part","shortMessageHtmlLink":"finalize WASI part and GETOPT part"}},{"before":"2dc826b9e28eab04a72982f294a143e39940a21b","after":"d609639f08ee527e03e501915086a592dad433dc","ref":"refs/heads/main","pushedAt":"2024-02-02T06:11:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #14 : [build] build getopt_long.o in a dedicated subfolder","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #14.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2102232267\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/14\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/14/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/14\">#14</a> : [build] build getopt_long.o in a dedicated subfolder"}},{"before":"54af9277c031384b86335e87f055b294867ae867","after":"2dc826b9e28eab04a72982f294a143e39940a21b","ref":"refs/heads/main","pushedAt":"2024-01-26T05:55:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #12 : [build] Create makefile includes to define variables required for the build","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #12.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101619052\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/12\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/12/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/12\">#12</a> : [build] Create makefile includes to define variables r…"}},{"before":"b559be1ec413204d1a116b25718f0d9d4849c3f2","after":"54af9277c031384b86335e87f055b294867ae867","ref":"refs/heads/main","pushedAt":"2024-01-23T05:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #11 : [build] Create makefile includes to define all the required pathes for building","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #11.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2093671539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/11\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/11/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/11\">#11</a> : [build] Create makefile includes to define all the req…"}},{"before":"06fb450e8756d16ac21691df1a3af941f1a2558d","after":"b559be1ec413204d1a116b25718f0d9d4849c3f2","ref":"refs/heads/main","pushedAt":"2024-01-19T06:01:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"success in building the yices static binaries","shortMessageHtmlLink":"success in building the yices static binaries"}},{"before":"7168441e0add3a137e9a36b4b16d3adc1ad11a09","after":"06fb450e8756d16ac21691df1a3af941f1a2558d","ref":"refs/heads/main","pushedAt":"2023-12-22T21:05:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"some progress, fails because 'alarm' not embedded in in wasi-libc","shortMessageHtmlLink":"some progress, fails because 'alarm' not embedded in in wasi-libc"}},{"before":"4bcc430194be2780d72fadfdb5eba66f28bdab91","after":"7168441e0add3a137e9a36b4b16d3adc1ad11a09","ref":"refs/heads/main","pushedAt":"2023-12-22T06:41:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"[yices] Use a forked repository to get read of setjmp/longjmp","shortMessageHtmlLink":"[yices] Use a forked repository to get read of setjmp/longjmp"}},{"before":"90857d21c287bbc898404dbcd9d0538ad9c7bea6","after":"4bcc430194be2780d72fadfdb5eba66f28bdab91","ref":"refs/heads/main","pushedAt":"2023-12-22T06:35:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"[yices2] a clean script to force rebuild","shortMessageHtmlLink":"[yices2] a clean script to force rebuild"}},{"before":"e8748bbbb7a506ca1cd1e3f4193794d1a41cbf7a","after":"90857d21c287bbc898404dbcd9d0538ad9c7bea6","ref":"refs/heads/main","pushedAt":"2023-12-14T10:58:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"revert to WASI release 19","shortMessageHtmlLink":"revert to WASI release 19"}},{"before":"ac18bcabbe6a61aabeb9f2c8f95f4c09cc807171","after":"e8748bbbb7a506ca1cd1e3f4193794d1a41cbf7a","ref":"refs/heads/main","pushedAt":"2023-12-12T21:56:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"try with version 20 of wasi sdk, no luck\n\nMaybe the problem mentionned there : https://github.com/WebAssembly/wasi-libc/issues/432","shortMessageHtmlLink":"try with version 20 of wasi sdk, no luck"}},{"before":"85c59827607bab61cee38371f08e2c0cafdedb2a","after":"ac18bcabbe6a61aabeb9f2c8f95f4c09cc807171","ref":"refs/heads/main","pushedAt":"2023-12-08T08:19:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"make yices.h available, cannot find setjmp.h...","shortMessageHtmlLink":"make yices.h available, cannot find setjmp.h..."}},{"before":"039e3ecee8718798bc5defb69df82407c441d438","after":"85c59827607bab61cee38371f08e2c0cafdedb2a","ref":"refs/heads/main","pushedAt":"2023-11-30T05:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #4 : remove aliasing, does nothing","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #4.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2007519848\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/4\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/4/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/4\">#4</a> : remove aliasing, does nothing"}},{"before":"22e96bb3d5d598ead51802b9529659f4f2c73036","after":"039e3ecee8718798bc5defb69df82407c441d438","ref":"refs/heads/main","pushedAt":"2023-11-30T05:09:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"try to build yices2, make stop when trying to make yices.h","shortMessageHtmlLink":"try to build yices2, make stop when trying to make yices.h"}},{"before":"ed70fe50d63c5c9be331d90048f6c23b9df0cb3d","after":"22e96bb3d5d598ead51802b9529659f4f2c73036","ref":"refs/heads/main","pushedAt":"2023-11-24T06:08:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sporniket","name":"David SPORN","path":"/sporniket","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5870528?s=80&v=4"},"commit":{"message":"Resolves #6 : Do not clean build trees to optimize repeated build invocation","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #6.\">Resolves</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2009121074\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/6\" data-hovercard-type=\"issue\" data-hovercard-url=\"/sporniket/yices2-built-with-wasi-sdk/issues/6/hovercard\" href=\"https://github.com/sporniket/yices2-built-with-wasi-sdk/issues/6\">#6</a> : Do not clean build trees to optimize repeated build inv…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wN1QyMjoyMDo0NC4wMDAwMDBazwAAAAQPllTO","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wN1QyMjoyMDo0NC4wMDAwMDBazwAAAAQPllTO","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yNFQwNjowODoxNS4wMDAwMDBazwAAAAO2nTih"}},"title":"Activity · sporniket/yices2-built-with-wasi-sdk"}