{"push_id":1818581495,"size":17,"distinct_size":0,"ref":"refs/heads/match","head":"18b43f32c56c3a8f12f1b40bcc5e3367e0d8fb38","before":"1eda9b58ff509d40352abd512f709f5729abee3a","commits":[{"sha":"0e6700e733ed33b84b7ea9e9ca4cd469abdda5d0","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Add `DynBitset` (std::bitset of dynamic size)","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/0e6700e733ed33b84b7ea9e9ca4cd469abdda5d0"},{"sha":"4f216e6e81f30b02f03878e8bf8d8d2ff023fcf3","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Heavily trim subcircMatch for Ullmann\n\nWARNING: Won't compile/do anything cool at this point, and probably in\nthe few next commits.\nTrim a lot of stuff that was related to the previous (broken) algorithm,\nsetting everything ready for Ullmann's algorithm","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/4f216e6e81f30b02f03878e8bf8d8d2ff023fcf3"},{"sha":"d110ed03a515bb94814f62aed23e7d3a3a9b2d81","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"find: reimplement `isActualMatch`","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/d110ed03a515bb94814f62aed23e7d3a3a9b2d81"},{"sha":"1430ba05d36670fb96f1c44287b7f5d51967e94b","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Start implementing Ullmann\n\nEverything is in place, still totally bugged.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/1430ba05d36670fb96f1c44287b7f5d51967e94b"},{"sha":"662c7d6f6f07b45d50a510312d0b88cf72669016","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"WireManager: make `wires()` return only unmerged ones","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/662c7d6f6f07b45d50a510312d0b88cf72669016"},{"sha":"895a9748e830f62d2f35a90cc066d21ba5e89d2a","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"ullmann: few more bugfixes, getting closer\n\nWires are still totally unreasonably matched. Also seems that having the\nsame selection twice (ie. multiple picks per column) doesn't disturb the\nalgorithm too much.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/895a9748e830f62d2f35a90cc066d21ba5e89d2a"},{"sha":"177b3ec5efe787f2bc01913ff196a9154b597299","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Fix same wire being picked more than once","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/177b3ec5efe787f2bc01913ff196a9154b597299"},{"sha":"0c22eb086b13f59a7a6decc05fe28781c6aaf46b","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"DynBitset: fix off-by-one in `singleBit`","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/0c22eb086b13f59a7a6decc05fe28781c6aaf46b"},{"sha":"df7952200ad46292bdf90f454043654492762dda","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"subcircMatch: better debugging code","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/df7952200ad46292bdf90f454043654492762dda"},{"sha":"463202a43cb0457919df1774fe5a0c42dbacf03a","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"subcircMatch: fix backtracking not executed","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/463202a43cb0457919df1774fe5a0c42dbacf03a"},{"sha":"f841c4e87daa5d05aa0a5737107fff6f09bca9c8","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"[WIP] subcircMatch: temp debug","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/f841c4e87daa5d05aa0a5737107fff6f09bca9c8"},{"sha":"6a0f01dfe79145df498864e9b7aea70bef64736d","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Find: fix refine not iterating over whole haystack","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/6a0f01dfe79145df498864e9b7aea70bef64736d"},{"sha":"b4c1a3a48a8a9402f171812f575052aa817c967d","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Find: fix match result IO pins","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/b4c1a3a48a8a9402f171812f575052aa817c967d"},{"sha":"706f80fd8a54876990ba482c97a2c179ecd8fb28","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Find: first fully working example for mux\n\n    ./find.bin circ/processor.circ circ/mux.circ\nactually returns the correct matches for the whole processor \\o/\nAlso has a runtime of about 60ms.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/706f80fd8a54876990ba482c97a2c179ecd8fb28"},{"sha":"0ce7c6f8a0f5265359d7e4a91ab492b99a0add0c","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Revert \"[WIP] subcircMatch: temp debug\"\n\nThis reverts commit f841c4e87daa5d05aa0a5737107fff6f09bca9c8.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/0ce7c6f8a0f5265359d7e4a91ab492b99a0add0c"},{"sha":"78a2daaf4eb5c8daf4ec937c35384e301528c96b","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Find: use alreadyImplied from hierarchical find\n\nIf a match was found down in the hierarchy of some block A, the said\nblock A cannot itself be implied in a match.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/78a2daaf4eb5c8daf4ec937c35384e301528c96b"},{"sha":"18b43f32c56c3a8f12f1b40bcc5e3367e0d8fb38","author":{"name":"Théophile Bastian","email":"1927999686014308dead34c1cfcb9d8bd5271589@tobast.fr"},"message":"Find: correct result with dangling wires\n\nie. wires that are not connected to anything. Also warns about such\nwires in the needle.","distinct":false,"url":"https://api.github.com/repos/tobast/circuit-isomatch/commits/18b43f32c56c3a8f12f1b40bcc5e3367e0d8fb38"}]}
{"actor":{"display_login":"tobast"}}