{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":256233710,"defaultBranch":"yosys-experimental","name":"abc","ownerLogin":"YosysHQ","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-04-16T14:09:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35169771?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725354938.0","currentOid":""},"activityList":{"items":[{"before":"d1aa15b0c84a8092aaf61e659fdf0dc48d896172","after":"d9b5bf65e87b69e9f3d25d420956deaee83ca174","ref":"refs/heads/imctk-sat-patches","pushedAt":"2024-09-13T11:27:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"glucose2: Don't try to justify toplevel assignments\n\nDoing so isn't necessary and would occasionally result in violated\nassertions within glucose2.","shortMessageHtmlLink":"glucose2: Don't try to justify toplevel assignments"}},{"before":"786a39a294cdd4fa3610bbc1acef7c3f28c3bdd3","after":null,"ref":"refs/heads/povik/aiger-cell-mapping","pushedAt":"2024-08-29T10:41:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"}},{"before":"cb294bbebc107f670c81bbd164e2c71976f7e68d","after":"786a39a294cdd4fa3610bbc1acef7c3f28c3bdd3","ref":"refs/heads/povik/aiger-cell-mapping","pushedAt":"2024-08-28T20:10:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Make casts explicit","shortMessageHtmlLink":"Make casts explicit"}},{"before":null,"after":"cb294bbebc107f670c81bbd164e2c71976f7e68d","ref":"refs/heads/povik/aiger-cell-mapping","pushedAt":"2024-08-28T14:22:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Save cell mapping as new 'M' AIGER extension","shortMessageHtmlLink":"Save cell mapping as new 'M' AIGER extension"}},{"before":"f67f32189d37c3b8c514f9ca75cf3d743f8de1a2","after":"d1aa15b0c84a8092aaf61e659fdf0dc48d896172","ref":"refs/heads/imctk-sat-patches","pushedAt":"2024-08-19T12:16:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"glucose2: Create initial extra jlevel entries\n\nMy understanding is that jlevel needs to have this extra space as there\nis existing code that assumes it is safe to index into it at index\ndecisionLevel()+1.","shortMessageHtmlLink":"glucose2: Create initial extra jlevel entries"}},{"before":null,"after":"f67f32189d37c3b8c514f9ca75cf3d743f8de1a2","ref":"refs/heads/imctk-sat-patches","pushedAt":"2024-08-19T12:14:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jix","name":"Jannis Harder","path":"/jix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/128138?s=80&v=4"},"commit":{"message":"glucose2: Create an initial extra jlevel entry\n\nMy understanding is that jlevel needs to have this extra space as there\nis existing code that assumes it is safe to index into it at index\ndecisionLevel()+1.","shortMessageHtmlLink":"glucose2: Create an initial extra jlevel entry"}},{"before":null,"after":"de8620d777645c7455793acb392707588b236d86","ref":"refs/heads/povik/revert-pdr","pushedAt":"2024-08-12T20:55:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Revert \"pdr -X to write CEXes immediately\"\n\nThis reverts commit e62e8ac52850e1916e8b9a586fbba306179390df.","shortMessageHtmlLink":"Revert \"pdr -X to write CEXes immediately\""}},{"before":"2926f8f8df09164aae3075a39a0ece18aad3fdd4","after":"25e3bb089c5698eacd7606a13a279384315d9105","ref":"refs/heads/codeql","pushedAt":"2024-08-12T09:31:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"CodeQL","shortMessageHtmlLink":"CodeQL"}},{"before":null,"after":"2926f8f8df09164aae3075a39a0ece18aad3fdd4","ref":"refs/heads/codeql","pushedAt":"2024-08-12T09:28:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Add CodeQL","shortMessageHtmlLink":"Add CodeQL"}},{"before":"57f93e66275c026f7dd55b530f9c067c834d250d","after":"2188bc71228b0788569d83ad2b7e7b91ca5dcc09","ref":"refs/heads/yosys-experimental","pushedAt":"2024-08-08T15:31:24.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge branch 'povik/fix-atomic_store-call' into yosys-experimental","shortMessageHtmlLink":"Merge branch 'povik/fix-atomic_store-call' into yosys-experimental"}},{"before":"28d955ca97a1c4be3aed4062aec0241a734fac5d","after":"57f93e66275c026f7dd55b530f9c067c834d250d","ref":"refs/heads/yosys-experimental","pushedAt":"2024-08-08T15:29:27.000Z","pushType":"push","commitsCount":97,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge branch 'povik/fix-transfer-timing' into yosys-experimental","shortMessageHtmlLink":"Merge branch 'povik/fix-transfer-timing' into yosys-experimental"}},{"before":"f0b070ef70c4dab12f2c60d3f4bfbf3ddf7fc2f1","after":"2d267786d779490747f2b548dad4bd0d3416c4a5","ref":"refs/heads/povik/fix-atomic_store-call","pushedAt":"2024-08-07T16:13:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Include `stdbool.h` for portability of atomic calls","shortMessageHtmlLink":"Include <code>stdbool.h</code> for portability of atomic calls"}},{"before":null,"after":"2a8ea11ce0863b8016e15e4889466411f6dcc5ea","ref":"refs/heads/povik/rm-buffering-asserts","pushedAt":"2024-08-07T16:04:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Remove extra asserts in buffering code","shortMessageHtmlLink":"Remove extra asserts in buffering code"}},{"before":null,"after":"f0b070ef70c4dab12f2c60d3f4bfbf3ddf7fc2f1","ref":"refs/heads/povik/fix-atomic_store-call","pushedAt":"2024-08-07T16:00:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Fix types in call to atomic_store_explicit\n\nDeals with the following compilation error:\n\n  src/misc/util/utilPth.c:106:9: error: no matching function for call to 'atomic_store_explicit'\n          atomic_store_explicit(&pThData->fWorking, 0, memory_order_release);\n          ^~~~~~~~~~~~~~~~~~~~~\n  ... /include/c++/v1/atomic:1911:1: note: candidate template ignored: deduced conflicting types for parameter '_Tp' ('bool' vs. 'int')\n  atomic_store_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT\n  ^","shortMessageHtmlLink":"Fix types in call to atomic_store_explicit"}},{"before":null,"after":"afbeccb79ed9b5233adca89faafa5688738e79d0","ref":"refs/heads/povik/fix-transfer-timing","pushedAt":"2024-08-07T15:35:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Handle edge case in Gia_ManTransferTiming","shortMessageHtmlLink":"Handle edge case in Gia_ManTransferTiming"}},{"before":null,"after":"1776063db491b92812f17e7cccf59e0b427f05e0","ref":"refs/heads/bump-240807","pushedAt":"2024-08-07T15:28:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Handle edge case in Gia_ManTransferTiming","shortMessageHtmlLink":"Handle edge case in Gia_ManTransferTiming"}},{"before":null,"after":"5444cf281c0cff7d583444bf0dbdffa36aec1ca9","ref":"refs/heads/povik/yosyshq-commands","pushedAt":"2024-08-07T15:07:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Improved anytime pdr\n\n(cherry picked from commit c832967200f1b5578cf4a057cb9b5b5acf816844)","shortMessageHtmlLink":"Improved anytime pdr"}},{"before":null,"after":"68c99247bd09fce5c7ef25a2d4c769179a090717","ref":"refs/heads/povik/yosyshq-build","pushedAt":"2024-08-07T14:52:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Fix archive reproducibility\n\nThe git archive export-subst option does not have consistent results\nover time, since the abbreviated commit hash can get longer over time.\n\nInstead, let's export the full commit hash.\n\nThis was found in an audit of source archive reproducibility in nixpkgs:\n\n```\n~ » expected=$(nix-store -r /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source)\nactual=$(nix-prefetch-url --print-path --unpack --name source https://github.com/yosyshq/abc/archive/896e5e7dedf9b9b1459fa019f1fa8aa8101fdf43.tar.gz | tail -n1)\nnix-shell -p diffoscope --run \"diffoscope $expected $actual\"\nthis path will be fetched (3.77 MiB download, 34.50 MiB unpacked):\n  /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source\ncopying path '/nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source' from 'https://cache.nixos.org'...\nwarning: you did not specify '--add-root'; the result might be removed by the garbage collector\n--- /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source\n+++ /nix/store/v7ms5ghibzi8pk71nzlhvsbn7a0rdpy7-source\n│   --- /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source/.gitcommit\n├── +++ /nix/store/v7ms5ghibzi8pk71nzlhvsbn7a0rdpy7-source/.gitcommit\n│ @@ -1 +1 @@\n│ -896e5e7de\n│ +896e5e7ded\n│ ├── stat {}\n│ │ @@ -1,7 +1,7 @@\n│ │\n│ │ -  Size: 10        \tBlocks: 1          IO Block: 512    regular file\n│ │ +  Size: 11        \tBlocks: 1          IO Block: 512    regular file\n│ │  Device: 0,24\tAccess: (0444/-r--r--r--)  Uid: (    0/    root)   Gid: (    0/    root)\n│ │\n│ │  Modify: 1970-01-01 00:00:01.000000000 +0000\n```\n\n(cherry picked from commit 04f50406fd93f4193a58083e391b27e195e4bfd5)","shortMessageHtmlLink":"Fix archive reproducibility"}},{"before":null,"after":"bf64a922536d6020f8a521c664826848bb0ecb54","ref":"refs/heads/povik/merge-240807","pushedAt":"2024-08-07T11:00:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into yosys-experimental","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into yosys-experimental"}},{"before":"e6a3dc602cd8face4a449681bb36fa4f375a10ba","after":null,"ref":"refs/heads/povik/fix-simrsb-decl","pushedAt":"2024-08-07T10:59:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"}},{"before":"8dbe91f089247ea05fa4fbd822245ddc327dacb4","after":null,"ref":"refs/heads/pull-upstream-240416","pushedAt":"2024-08-07T10:59:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"}},{"before":"237d81397fcc85dd3894bf1a449d2955cd3df02d","after":"28d955ca97a1c4be3aed4062aec0241a734fac5d","ref":"refs/heads/yosys-experimental","pushedAt":"2024-07-08T17:02:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"widlarizer","name":"Emil J","path":"/widlarizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4919881?s=80&v=4"},"commit":{"message":"Merge pull request #35 from lf-/jade/fix-gitarchive\n\nFix archive reproducibility","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2379061637\" data-permission-text=\"Title is private\" data-url=\"https://github.com/YosysHQ/abc/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/YosysHQ/abc/pull/35/hovercard\" href=\"https://github.com/YosysHQ/abc/pull/35\">#35</a> from lf-/jade/fix-gitarchive"}},{"before":null,"after":"806a996b88f57d7d307d3e3e528513b66d101f8c","ref":"refs/heads/upstream","pushedAt":"2024-06-10T10:48:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Updating the print-out after the bug fix.","shortMessageHtmlLink":"Updating the print-out after the bug fix."}},{"before":"95fd88a5506010a74aaa3c4904e2fd672bf2fa50","after":"d3d5ff48f193c7b55baec91b6ebec9b1b336d878","ref":"refs/heads/emil/stdint","pushedAt":"2024-05-10T19:42:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"widlarizer","name":"Emil J","path":"/widlarizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4919881?s=80&v=4"},"commit":{"message":"CMake: use stdint.h if available","shortMessageHtmlLink":"CMake: use stdint.h if available"}},{"before":null,"after":"95fd88a5506010a74aaa3c4904e2fd672bf2fa50","ref":"refs/heads/emil/stdint","pushedAt":"2024-05-10T19:33:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"widlarizer","name":"Emil J","path":"/widlarizer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4919881?s=80&v=4"},"commit":{"message":"CMake: use stdint.h if available","shortMessageHtmlLink":"CMake: use stdint.h if available"}},{"before":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","after":"237d81397fcc85dd3894bf1a449d2955cd3df02d","ref":"refs/heads/yosys-experimental","pushedAt":"2024-05-08T06:29:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mmicko","name":"Miodrag Milanović","path":"/mmicko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3623496?s=80&v=4"},"commit":{"message":"Modify include guards in cmd.c so that Windows compilers don't compile Unix-only code.","shortMessageHtmlLink":"Modify include guards in cmd.c so that Windows compilers don't compil…"}},{"before":"2c52e3f969827fbba60224b15b4da0f867e62a26","after":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","ref":"refs/heads/yosys-experimental","pushedAt":"2024-04-23T12:21:33.000Z","pushType":"push","commitsCount":173,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"bc456044cd1df119451653475b135d452ee45d82","after":"03da96f12fb4deb153cc0dc73936df346ecd4bcf","ref":"refs/heads/stage","pushedAt":"2024-04-23T11:49:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"b502f0022290e0a52c624d87fcc42b6ba5881720","after":"bc456044cd1df119451653475b135d452ee45d82","ref":"refs/heads/stage","pushedAt":"2024-04-23T09:40:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Patch for lack of `system` on WASM","shortMessageHtmlLink":"Patch for lack of <code>system</code> on WASM"}},{"before":"208b48667fb7352604ec9a1b966472fa29268b67","after":"b502f0022290e0a52c624d87fcc42b6ba5881720","ref":"refs/heads/stage","pushedAt":"2024-04-22T15:41:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"povik","name":"Martin Povišer","path":"/povik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/382160?s=80&v=4"},"commit":{"message":"Fix prototype mismatch for `Gia_ManSimRsb`","shortMessageHtmlLink":"Fix prototype mismatch for <code>Gia_ManSimRsb</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QxMToyNzoxOS4wMDAwMDBazwAAAAS1aBu0","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yMlQxNTo0MToyMC4wMDAwMDBazwAAAAQ3Llnd"}},"title":"Activity · YosysHQ/abc"}