Datasetpublic
wakamex/github

sourceHugging Faceupdated 3y agoView on Hugging Face
0likes2.7kdownloads
NethermindEth_horus-checker.json1 linesDownload Raw Back to root
1[{"node": {"oid": "9f9928babf5a8784592bf585be3ea12dbc14e19c", "messageHeadline": "Don't verify commits anymore", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 10}}, {"node": {"oid": "3f1922b127e9999aa4d0f46b57672da0b296f5cd", "messageHeadline": "Add `README.md` section on details of `CairoSemanticsL`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 83, "deletions": 0}}, {"node": {"oid": "eb2da153327b8c54712ae2acabd279e07bd1de3a", "messageHeadline": "Add `@external` decorator to code-commenting FAQ", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 24, "deletions": 8}}, {"node": {"oid": "9b24b71c84d44e443a2bf348d8a413d0302e7a50", "messageHeadline": "Add FAQ about commenting-out annotations", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 23, "deletions": 0}}, {"node": {"oid": "50aa028ead788bd26686e5ee6b4a3ae9f77ea550", "messageHeadline": "Add some high-level comments in `FunctionAnalysis.hs` and `Global.hs`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 15, "deletions": 2}}, {"node": {"oid": "3397b7c9a93179c2576dc168d4cefdfcf27dac73", "messageHeadline": "Add mathsat installation to Github actions workflow", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 6, "deletions": 1}}, {"node": {"oid": "a4ca6001a1fb1ed4559c9b27f839af149125bef0", "messageHeadline": "Merge pull request #188 from NethermindEth/langfield/module-refactor", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 173, "deletions": 205}}, {"node": {"oid": "6f3622babe67e2480e6cb8c8861a4f610d34bf0f", "messageHeadline": "Make `visit` a top-level function, and refactor module-emitting", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 124, "deletions": 102}}, {"node": {"oid": "0ff7bc10cfd3810f0714a46dff525c83cb376d1f", "messageHeadline": "Eliminate `RichSpec`, `ModuleData` types", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 52, "deletions": 106}}, {"node": {"oid": "7bd20d53b61822350ac7648f879118a8a5407b39", "messageHeadline": "Merge pull request #189 from NethermindEth/langfield/fix-svar-in-post", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 101, "deletions": 15}}, {"node": {"oid": "04cbabfaa1a3291ae57b18da8e88dfade915acfe", "messageHeadline": "Fix improper handling of post with a reference to storage", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 101, "deletions": 15}}, {"node": {"oid": "a9c1934219c6d659473d1212ef56bbd63a1f8d9c", "messageHeadline": "Merge pull request #187 from NethermindEth/langfield/gone-with-the-ch\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 758, "deletions": 271}}, {"node": {"oid": "40f679720f1556b80391d86c7bf4f12b6296dfeb", "messageHeadline": "Reword `optimising` -> `preChecking`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 60, "deletions": 62}}, {"node": {"oid": "072dd7c04296199e0a44431fe6924738af514811", "messageHeadline": "Add docstrings in `CFGBuild*` and `CairoSemantics*`, refactor", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 227, "deletions": 105}}, {"node": {"oid": "4b84785938f64236d3d4f418e000363bceef0d3e", "messageHeadline": "Use execution traces to detect `optimisedF` in mkCallConstraints", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 48, "deletions": 43}}, {"node": {"oid": "f0aadaf4ee35c524aa0b0dddee298ec1ea49c95e", "messageHeadline": "Remove `Checkpoint`, check `@pre`s in separate modules", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 605, "deletions": 243}}, {"node": {"oid": "2965660ece60763a9b9f2466fff3906431857770", "messageHeadline": "Merge pull request #182 from NethermindEth/ElijahVlasov/verified-comm\u2026", "author": {"name": "Ilia Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 10, "deletions": 0}}, {"node": {"oid": "cca609cf1269fa5a1c7b2282d8fee89aa39e4f77", "messageHeadline": "Verified commits check", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 10, "deletions": 0}}, {"node": {"oid": "6ae29befff89d6cecc841e9da5a45e26bccaafdd", "messageHeadline": "Merge pull request #175 from NethermindEth/aemartinez/fix-subgoal-com\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 15, "deletions": 8}}, {"node": {"oid": "09067080f766122fa2b11918d64d0d10815e9472", "messageHeadline": "Fix combination of subgoals", "author": {"name": "Agust\u00edn Martinez Su\u00f1\u00e9", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 15, "deletions": 8}}, {"node": {"oid": "83c2728a7322a50c7acd71a885019628125135cd", "messageHeadline": "Merge pull request #176 from NethermindEth/langfield/change-branch-id\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 19, "deletions": 18}}, {"node": {"oid": "ce5c105d7e386203a312dba07206f9f8ff7a5768", "messageHeadline": "Change branch identifiers from `:::T/F` to `:::1/2`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 19, "deletions": 18}}, {"node": {"oid": "6b75c5ed797e60497f3213d0806b5ee096d2365a", "messageHeadline": "Merge pull request #171 from omahs/patch-1", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "330d03d75e30b11fe73f586f088baa70f69d61d6", "messageHeadline": "Fix: typos", "author": {"name": "omahs", "email": "73983677+omahs@users.noreply.github.com", "user": {"login": "omahs"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "81bf8d86e86de7f06a29dda7a1fc54ffbde7fe50", "messageHeadline": "Merge pull request #162 from NethermindEth/julek/MathSAT_fix", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 358, "deletions": 9}}, {"node": {"oid": "f2374aaa0cfd37e56d03678c281965ddc3c5d37f", "messageHeadline": "removed extra whitespace", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 0, "deletions": 35}}, {"node": {"oid": "9ae1fde9bcba21285abfe3d1a1816b1ba10e94de", "messageHeadline": "removed extra file and fixes to pre of toy amm", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 218}}, {"node": {"oid": "3d2f14cb7bedda0574066ab723295189a3610bc7", "messageHeadline": "Added disjunction to pre of toy amm example as it now works", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "d3881f2dc999797421afb24181c16ae963a8e528", "messageHeadline": "lint fix plus removed toy_amm_split test as MathSAT does not run in CI", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 258}}, {"node": {"oid": "906b94f9b0296928fc8206ec2ae51128b0c9e80f", "messageHeadline": "small lint", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 10, "deletions": 10}}, {"node": {"oid": "e59cac2747dcf1296ca82d2aeb9b353c88bd07d0", "messageHeadline": "Fixed bug that removed MathSAT from solver list globally rather than \u2026", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 317, "deletions": 7}}, {"node": {"oid": "4f4520c268b1a959735b8f38aa54138c8043406a", "messageHeadline": "Add some working `toy_amm.cairo` variants", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 548, "deletions": 0}}, {"node": {"oid": "47aa325aadb72a9003d73a5ee9df895115b5161e", "messageHeadline": "Merge pull request #152 from NethermindEth/langfield/find-contradicti\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 125, "deletions": 53}}, {"node": {"oid": "9acca3d3f21b908e6c03a0bd29c972ccf57cfda0", "messageHeadline": "Add two tests for contradictory premises", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 19, "deletions": 0}}, {"node": {"oid": "b5a873d90ecb7ed1965b195af45780e118475e74", "messageHeadline": "Refactor precondition contradiction detection using `AssertionType`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 56, "deletions": 91}}, {"node": {"oid": "9656a8c464dc4aa3100f34c7f60b0778ac8693f1", "messageHeadline": "Detect contradictions in `@pre`s", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 124, "deletions": 36}}, {"node": {"oid": "ee317a8a54c1f2e2946256fe586b71087ef19767", "messageHeadline": "Merge pull request #155 from NethermindEth/langfield/faq-account-cont\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 6, "deletions": 0}}, {"node": {"oid": "eefbd122b408370c4e0713f874432012d1827688", "messageHeadline": "Add FAQ about account contracts", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 6, "deletions": 0}}, {"node": {"oid": "64e89f40fe93e81e960fdcb17dc18bf8f917344b", "messageHeadline": "Merge pull request #154 from NethermindEth/langfield/invariant-label-\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 3, "deletions": 1}}, {"node": {"oid": "dd5153942788e292c7edc63789f73e8617d0c5de", "messageHeadline": "Add label to `@invariant` example in `README.md`", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 3, "deletions": 1}}, {"node": {"oid": "ca2dcfeaa46b09d14d29bc753c916b11dff78b87", "messageHeadline": "Merge pull request #158 from NethermindEth/aemartinez/readme-update-s\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 18, "deletions": 13}}, {"node": {"oid": "45d2efa7b3287d52ad4fa4e0597ad92cde62df22", "messageHeadline": "Docs: add mention to json specification file where missing.", "author": {"name": "Agust\u00edn Martinez Su\u00f1\u00e9", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 18, "deletions": 13}}, {"node": {"oid": "f4be6cf19adabf98d308f48e33f59b80b376dc3b", "messageHeadline": "Merge pull request #149 from NethermindEth/langfield/remove-mathsat-s\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 2}}, {"node": {"oid": "af895b607545dd9f4e53e225e61d11f97cc88677", "messageHeadline": "Remove `sh scripts/ci/install-mathsat-linux.sh` from Dockerfile", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 2}}, {"node": {"oid": "f9519f395bd2e137927ae005cec90263b9609216", "messageHeadline": "Merge pull request #147 from NethermindEth/langfield/tutorial-fix-out\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 6, "deletions": 3}}, {"node": {"oid": "e139d3dc54eb4b5e6752e5a7f08c1cd6071c32a9", "messageHeadline": "Update `stdout` for tutorial (`[inlined]` marker is gone for `main()`)", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 6, "deletions": 3}}, {"node": {"oid": "03838c8311923638e3baa3c38e0405d1721824b8", "messageHeadline": "Workflow `test` to run on `ubuntu-latest` instead of `...-16-cores`. \u2026", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "520c72af01f0c8a1433f14e37052ff4f87e165bc", "messageHeadline": "Merge pull request #145 from NethermindEth/ferinko/amend_logo", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 1, "deletions": 2}}, {"node": {"oid": "bdef8410c616de31317a9800e90a39bce14d6c91", "messageHeadline": "fix logo", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 1, "deletions": 2}}, {"node": {"oid": "6ca6cc2db0ff7e27e59d45d6ddeb7f490f2e1add", "messageHeadline": "Merge pull request #143 from NethermindEth/ferinko/fix_disclaimer_hea\u2026", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 2, "deletions": 0}}, {"node": {"oid": "040f76db43cbc6d3959e8681297901d6c32b936e", "messageHeadline": "fix heading", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 2, "deletions": 0}}, {"node": {"oid": "21e2dc8fcb6149ebeafad7b017c2936d4e8b7524", "messageHeadline": "Merge pull request #142 from NethermindEth/ferinko/fix_disclaimer", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 12, "deletions": 0}}, {"node": {"oid": "9dab607c295567be3c58bcb573bd7b7945201f9c", "messageHeadline": "fix disclaimer", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 12, "deletions": 0}}, {"node": {"oid": "ec8087c8c361c2e2d5e1d854ccabedcf35e11c6b", "messageHeadline": "Merge pull request #139 from NethermindEth/langfield/mention-bug-repo\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 0}}, {"node": {"oid": "0676d7ce0411d6bd392cc8699f4789324b1f2986", "messageHeadline": "Add bug report mention to section on `@assert` in `README.md`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 0}}, {"node": {"oid": "33412f39c7b6db88fcd2a0d9743f9883b1fe3bbb", "messageHeadline": "Merge pull request #137 from NethermindEth/langfield/readme-typo-fix", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "d0baffb89c86e688136afd4a042347bac7c73a8c", "messageHeadline": "Fix typo `head` -> `ahead` in `README.md`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "09fcb48d6d3ab9ef59d257f9c673ae23433c63bd", "messageHeadline": "Merge pull request #135 from NethermindEth/langfield/fix-treatment-of\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 14, "deletions": 5}}, {"node": {"oid": "6a1cb15e65e603ac44805e4177e28215a36fd452", "messageHeadline": "Expand on `@assert` warning", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 12, "deletions": 3}}, {"node": {"oid": "f0649e99e668dcaf86f23741c858ceb5c8e36d30", "messageHeadline": "Remove use of `@assert` from tutorial, add disclaimer", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 5, "deletions": 5}}, {"node": {"oid": "0da25a7aaad8f5bd9ae52fc46347a3507cb50532", "messageHeadline": "Merge pull request #136 from NethermindEth/langfield/fix-aarch64-stac\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 7, "deletions": 0}}, {"node": {"oid": "1d51a00064aa774ebfa8cf9dce62427e14c3a6be", "messageHeadline": "Add macOS-specific `stack install` command invocation in `README.md`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 7, "deletions": 0}}, {"node": {"oid": "aaa164626df59f9235f22051a9abe09a1767c15e", "messageHeadline": "Merge pull request #134 from NethermindEth/langfield/py39", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 15, "deletions": 15}}, {"node": {"oid": "dc87010814aaf3f426f09e52e1e3156ae73050a8", "messageHeadline": "Fix M1 miniconda link", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "1d76930ddfe1694c19fabe728f19597a42dfafd6", "messageHeadline": "Upgrade from Python 3.7 to Python 3.9", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 14, "deletions": 14}}, {"node": {"oid": "70f0fcf2f98beedbd82017948a0a833ea475692f", "messageHeadline": "Merge pull request #133 from NethermindEth/ElijahVlasov/fetch-last-ve\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 60, "deletions": 18}}, {"node": {"oid": "22f1067bf650d84b5f7a80b5a8b90da5d160c91c", "messageHeadline": "Add retrieving of last version of horus-compile", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 60, "deletions": 18}}, {"node": {"oid": "7b28e1ca12e69d0f72abcd73923efed60934d961", "messageHeadline": "`horus-compile` version bump (0.0.6.10) (#127)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "b8bf5d7582775ed79f7fc31fdf6d5912e1f4ea60", "messageHeadline": "Output a warning message linking to issue tracker (#126)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 10, "deletions": 0}}, {"node": {"oid": "e1786cae197d24b796a5bc38edf0e15ff0c1c850", "messageHeadline": "GHC option`-Wno-prepositive-qualified-module` for `horus-check` (#131)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "1eebe4bd2e27046e796c734c253864cebd61efee", "messageHeadline": "Disable `prepositive-qualified-module` as fatal build error for `horu\u2026", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 2, "deletions": 0}}, {"node": {"oid": "6feddc96d1e42c7f6c2f4495b80831ef2409c329", "messageHeadline": "Merge pull request #128 from NethermindEth/ElijahVlasov/version-checking", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 35, "deletions": 15}}, {"node": {"oid": "64363ba05797d571f9eb6e8e0cf4c09bebd53439", "messageHeadline": "Change version checking procedure", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 35, "deletions": 15}}, {"node": {"oid": "b4d7d8ff64b6cd600e39a79743a9c1951d1423c5", "messageHeadline": "Merge pull request #123 from NethermindEth/ElijahVlasov/separate-cont\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 70, "deletions": 46}}, {"node": {"oid": "0b8fa019ea9051cc0de55b466c04fd3d84d772e5", "messageHeadline": "Separate contract and spec JSON files", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 70, "deletions": 46}}, {"node": {"oid": "c38ac510f2f6ff9a531dfeb769a15dde004472fc", "messageHeadline": "Merge pull request #122 from NethermindEth/ElijahVlasov/version-bump", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 3, "deletions": 3}}, {"node": {"oid": "a4cd75b2b24b51a6fb160ba5adbc65101aa4dc25", "messageHeadline": "Version bump (0.0.6.7)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 3, "deletions": 3}}, {"node": {"oid": "4a28af30b7f8194318dbc7b9633d000870859e0c", "messageHeadline": "Merge pull request #121 from NethermindEth/ElijahVlasov/version-bump", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 3, "deletions": 3}}, {"node": {"oid": "a7b16ba4686805e2e75483df58f490ca6f377b4b", "messageHeadline": "Bump version (0.0.6.6)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 3, "deletions": 3}}, {"node": {"oid": "64133a99789ce4e3f1a4e518139f3e0d0c11b011", "messageHeadline": "Remove test `func_gauss.cairo` (fails without `mathsat`)", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 27}}, {"node": {"oid": "2b4ee988fef11cf0598795175fee00ad8d31d5fd", "messageHeadline": "Remove `mathsat` from solvers used in `bats-template` and `oneoff.sh`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "0c7d822040091c566c55358a6e41cba404a69441", "messageHeadline": "Remove mathsat installations from workflow files", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 2}}, {"node": {"oid": "a149b0af2ea434be06f6e99e58b53d6d4e9c5a96", "messageHeadline": "Add `README.md`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1460, "deletions": 0}}, {"node": {"oid": "45c2110242b44744ab5ecf1313cc763c7a95f7a4", "messageHeadline": "Merge pull request #79 from NethermindEth/langfield/documentation", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 199, "deletions": 13}}, {"node": {"oid": "310ca0db7ea09ed95e7d56d4681f2435a38e7ac4", "messageHeadline": "Updated example for StarkNet", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 4, "deletions": 4}}, {"node": {"oid": "8dba09d15a6204545cacffa01255600e3fe820f7", "messageHeadline": "Support aarch64 in Dockerfile by installing z3 from source (#96)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 47, "deletions": 18}}, {"node": {"oid": "d32c81fbdece3e23769c2dd03726eee816da5b47", "messageHeadline": "Move `horus-compile` installation up in `Dockerfile`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 9, "deletions": 8}}, {"node": {"oid": "db708ba984d00df8b34b7b1dfd31ef540efdbf8c", "messageHeadline": "Remove outdated comments from `Dockerfile`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 5}}, {"node": {"oid": "d49d068bb28ba72a8f63e3f2936a33e2fe6ef6a0", "messageHeadline": "Add scripts to install `cvc5`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 18, "deletions": 2}}, {"node": {"oid": "1cadf4712fadf1673b065a9f553bfaacb4edfb0b", "messageHeadline": "Rewrite docker installation section in `README.md`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 3, "deletions": 2}}, {"node": {"oid": "dd6bb51d372d678d3ef6e750e22419ce9c8eee12", "messageHeadline": "Add `Dockerfile` for quick installation.", "author": {"name": "Agust\u00edn Martinez Su\u00f1\u00e9", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 31, "deletions": 2}}, {"node": {"oid": "8380ca283744051b4029109ffdb61d7a7b5ab2b3", "messageHeadline": "Reword some passages in `README.md` to address comments.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "2ec920a5257490bb3d03b424abf7b09cbe410a63", "messageHeadline": "Add `Internals` section to `README.md`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "9725ab25e44bf72d31a9af0800b8da936eaedd2f", "messageHeadline": "Customize GitHub issue templates", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 24, "deletions": 20}}, {"node": {"oid": "c8746931a2527a7ee9ed5837169c77944321469c", "messageHeadline": "Update issue templates", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 58, "deletions": 0}}, {"node": {"oid": "1419fe5ac11785ad78a74452c923db9f573df871", "messageHeadline": "Add example to program description.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 5, "deletions": 5}}, {"node": {"oid": "06e44183ca7d60f403924ea5ce04d0f7ba64a1fc", "messageHeadline": "Complete subsection of tutorial on running an example Cairo program.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 38, "deletions": 0}}, {"node": {"oid": "1ff4a0a465a2dd665d004d106727f7bc14d4b80f", "messageHeadline": "Rename solver install scripts and add more documentation.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "1b2078d503dd465e729cdf2b2f2e416fd60b6331", "messageHeadline": "Fix brew installation of z3 on `aarch64`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 8, "deletions": 1}}, {"node": {"oid": "5bf80aa946e96ee2064d98847f01a2a5040bf161", "messageHeadline": "Use `brew` to install `z3` instead on macOS.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 5}}, {"node": {"oid": "b52c32e5a03844d277678f54ac7fb6e94fa79208", "messageHeadline": "Remove removal of `libz3-dev` from macos script since it doesn't exist.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 1}}, {"node": {"oid": "5fb37175e8dc3a42d308008a3c2d57077f53d5da", "messageHeadline": "Use `brew` instead of `apt-get` in `install-z3-macos-aarch64.sh`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "c24f46e085c4f3ab8d290d8fff811ad63243d9bb", "messageHeadline": "Add `aarch64` SMT install scripts.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 13, "deletions": 0}}, {"node": {"oid": "ac01847e38d90a0a726ced4b630c4e2150f00bb0", "messageHeadline": "Restructure documentation, add stubs for tutorial, FAQ, etc.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 0, "deletions": 0}}, {"node": {"oid": "86249842c03cd49921f1df125916ff64c3b91d73", "messageHeadline": "Merge pull request #120 from NethermindEth/julek/help-quick-fix", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "2591cefe649f9e846e23d6fde60fc8e29df57f16", "messageHeadline": "Merge branch 'master' into julek/help-quick-fix", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 37, "deletions": 67}}, {"node": {"oid": "06251327db2d2b4adde59212285cea3edc8f17dd", "messageHeadline": "Improvement to wording of help for timeout option", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "4451c55d37058c7cc9cf7ddbee48c2770a353d12", "messageHeadline": "Merge pull request #113 from NethermindEth/ferinko/merging-fail", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 25, "deletions": 6}}, {"node": {"oid": "2f9c2fd3ad2329746e4afdd96ee9fc9a01368e6c", "messageHeadline": "Merge pull request #116 from NethermindEth/ferinko/hotfix_if", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 9, "deletions": 5}}, {"node": {"oid": "58760881871142f6af77db7308bf3da699a27bb3", "messageHeadline": "Implement collapsing of outermost namespaces", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 25, "deletions": 6}}, {"node": {"oid": "ebe9b71429a487b5e40eb09bcea9fc2a049acd30", "messageHeadline": "fix improper handling of if in stack-ful contexts", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 9, "deletions": 5}}, {"node": {"oid": "b3c868d5feb4e1fc3e20354ad2cd28edee9c653c", "messageHeadline": "Merge pull request #115 from NethermindEth/ElijahVlasov/nuke-disasm", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1, "deletions": 52}}, {"node": {"oid": "efa522e6a8ca5efc3cbc7524d858361750b7aabd", "messageHeadline": "Remove horus-disasm", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1, "deletions": 52}}, {"node": {"oid": "8cdf2ffe8aa7aac294d225379163452429360e8a", "messageHeadline": "Merge pull request #114 from NethermindEth/ElijahVlasov/nuke-attributes", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 4}}, {"node": {"oid": "5d9d34612dbc6a51b6861439c39dd06551f8d17a", "messageHeadline": "Remove \"attributes\" since it's not used anyway", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 4}}, {"node": {"oid": "f2581b7109a0f2baf9d0f52f5bb486f7a3d39226", "messageHeadline": "Merge pull request #112 from NethermindEth/ferinko/fix-unprocessed-label", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 5, "deletions": 3}}, {"node": {"oid": "fffaf79fb52419542df98b0b93244a44824629c8", "messageHeadline": "fix unprocessed labels at rets", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 5, "deletions": 3}}, {"node": {"oid": "34e7d032836af51a3bc74036462e28d2af3a86c2", "messageHeadline": "Merge pull request #108 from NethermindEth/langfield/module-name-fix", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 21, "deletions": 8}}, {"node": {"oid": "5396da87b138015dfd180ca5bf3ebafa62519339", "messageHeadline": "Add `:::default` oracle suffixes when we don't collapse results", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 21, "deletions": 8}}, {"node": {"oid": "daf8e4fe64300d5c695581b471328002f5864727", "messageHeadline": "Merge pull request #110 from NethermindEth/aemartinez/sv-error-msg-fix", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "05044bc68b04a1b13ec465ee7cee2133a9266651", "messageHeadline": "Merge pull request #109 from NethermindEth/ferinko/horus_versioning_s\u2026", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 60, "deletions": 13}}, {"node": {"oid": "70cc268ec3a19d0deb97de6a628514dd5dd87ada", "messageHeadline": "Merge pull request #104 from NethermindEth/ElijahVlasov/printing-nuked", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 8, "deletions": 6}}, {"node": {"oid": "f9015c0792074e9ea30fcfd6d8e68794eba7083c", "messageHeadline": "Improve error message when a function uses storage variables and has \u2026", "author": {"name": "Agust\u00edn Martinez Su\u00f1\u00e9", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "63efd2abd02753cc9c28cce8f1b716044c543923", "messageHeadline": "implement version-synchronisation and catch naughty aeson errors", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 60, "deletions": 13}}, {"node": {"oid": "ea91ff56522c6fe910b23f776f972bf3ed4d496e", "messageHeadline": "Merge pull request #107 from NethermindEth/langfield/add-inlined-stat\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 21, "deletions": 23}}, {"node": {"oid": "e10c4039cf9b37d56fb0b9b8fb32d9d601e2fdc4", "messageHeadline": "Move `inlinable` boolean inside `SolvingInfo` sum type", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 21, "deletions": 23}}, {"node": {"oid": "e276c21c34a01afd852d2e7f09058d5ccdc5ab19", "messageHeadline": "Merge pull request #105 from NethermindEth/ElijahVlasov/compiler-vers\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "bef2bca4856792e15bf8c99c4d77f6ba726e01d0", "messageHeadline": "Compiler version bump", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "e9f393c1e08ad5efeea1a06fd7b553f4f5eb0533", "messageHeadline": "Disable model printing", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 8, "deletions": 6}}, {"node": {"oid": "14439ef1ca4f8e78ba4a0bfb34edd33fa1bb9a57", "messageHeadline": "Merge pull request #103 from NethermindEth/ferinko/print_inlined_info\u2026", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 100, "deletions": 60}}, {"node": {"oid": "2ab76a9cd0607a10f638e94594ff4f477616c6ae", "messageHeadline": "implement reporting of inlined functions", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 100, "deletions": 60}}, {"node": {"oid": "2e2c52559a2b3b3457fd857192421fc8350cf044", "messageHeadline": "Merge pull request #89 from NethermindEth/langfield/stdout", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 596, "deletions": 474}}, {"node": {"oid": "95077967c01ffa0bae97da5f5ec13c52f854e779", "messageHeadline": "Rewrite `Unknown` hint", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 5, "deletions": 3}}, {"node": {"oid": "ef04926cdf8a52daa7cf112eceab782b89723003", "messageHeadline": "Remove sorting of results and `Ord` instance for `SolvingInfo`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 30}}, {"node": {"oid": "1677ccfbef9747c4601d1165bff2de4f0bed5691", "messageHeadline": "Don't print separate results for labels in a given function", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 120, "deletions": 40}}, {"node": {"oid": "8b32e9446008f75f3cdc7017e8ec657f56c0656e", "messageHeadline": "Rewrite `nameOfModule` to return separate parts of the name", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 17, "deletions": 19}}, {"node": {"oid": "40f1872e1f55494d9329d2ce25aac04e6324886f", "messageHeadline": "Remove `Verified` `cairo.common.*` and `starknet.common.*`s from output.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 84}}, {"node": {"oid": "25a964e90c402c66d3e9afe065373901870f02a4", "messageHeadline": "Filter `Verified` empty segments and `cairo.lang` functions.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 13, "deletions": 19}}, {"node": {"oid": "8ecd7a746c05a5108d3efc7218506223bc0b4ec1", "messageHeadline": "Use `:::` as function/module delimiter instead of `++`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 14, "deletions": 14}}, {"node": {"oid": "f78a6697b0d89417a474e7d6d471773bbe583f86", "messageHeadline": "Add a hint about interpreting `Unknown` results.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 65, "deletions": 63}}, {"node": {"oid": "bbddbd5b57fb9562125140cfe9ebcf8929c94f6a", "messageHeadline": "Add examples to CLI program description.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 18, "deletions": 9}}, {"node": {"oid": "e006f43db10c99aa1363c5202b0bd1ac11b3cdbf", "messageHeadline": "Add `cvc5` as default solver.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "afbe1bb8cae1b9311eafa63a7221dd7fc95d0146", "messageHeadline": "Change output format: `Unsat` -> `Verified`, `Sat` -> `False`", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 371, "deletions": 220}}, {"node": {"oid": "e718e5c290ff3b1c86547cd4dca86b52c18b2203", "messageHeadline": "Print only a single `Unsat` judgement for all-`Unsat` functions.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 123, "deletions": 126}}, {"node": {"oid": "44547bd6a6357b799d103848484d98975ee26715", "messageHeadline": "Merge pull request #86 from NethermindEth/ElijahVlasov/temporary-fix-\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 29, "deletions": 9}}, {"node": {"oid": "f24d6d1d35df701972dbfa7da4f24456eaaee7e8", "messageHeadline": "Bump `horus-compile` version to `0.0.6.4` in CI workflow", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "c9a659dbae0165fcef203a1d04d748a0f16da81f", "messageHeadline": "Temporary fix of the JSON scheme.", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 27, "deletions": 7}}, {"node": {"oid": "7224f7b1eafec1bb60994c29ab92c5f817df4224", "messageHeadline": "Merge pull request #64 from NethermindEth/ElijahVlasov/logical_variab\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 18, "deletions": 6}}, {"node": {"oid": "a5cab74474a31afb7066e8cf05a988ff6cbfd8ff", "messageHeadline": "Change lists of pairs to maps in `Model` record.", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 9, "deletions": 8}}, {"node": {"oid": "ab412a5ca9ea87dc80c030b98f66893951f7ed9b", "messageHeadline": "Add logical variable printing", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 12, "deletions": 1}}, {"node": {"oid": "fa13bbfe22c96e21996401bd31dd01fdbcfdb1e4", "messageHeadline": "Merge pull request #94 from NethermindEth/langfield/finite-field-prim\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 77, "deletions": 72}}, {"node": {"oid": "43cdb2fd2508ff77a1bae68cc0de748cda4a51e6", "messageHeadline": "Merge pull request #82 from NethermindEth/langfield/logger-dsl", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 140, "deletions": 3}}, {"node": {"oid": "55c7b49f887be6ea28a75943188a4b34b4561bb3", "messageHeadline": "Merge pull request #92 from NethermindEth/langfield/only-fail-on-warn\u2026", "author": {"name": "langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "3930ff6fc86ad5b02251f590df00af4039ac8bf5", "messageHeadline": "Only use `-Werror` when running `stack install` in CI.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "37b8aae10da893106211eb7580d8b3a240001830", "messageHeadline": "Refactor logger `Impl` type from `StateT` to `State`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 38, "deletions": 39}}, {"node": {"oid": "42a934b2edef96bf941f4caac6ac18d50dd9f7cc", "messageHeadline": "Derive `Show` for `Solver` in `Solvers.hs`.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 9, "deletions": 9}}, {"node": {"oid": "40fd5b997f21d57050b0a9e07bfb47a18644c311", "messageHeadline": "Changing the logging interface", "author": {"name": "rodrigogribeiro@gmail.com", "email": "rodrigogribeiro@gmail.com", "user": {"login": "rodrigogribeiro"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "8537aa9b9015c0ae4037521a054333f45c208d26", "messageHeadline": "Logging working for debug info", "author": {"name": "rodrigogribeiro@gmail.com", "email": "rodrigogribeiro@gmail.com", "user": {"login": "rodrigogribeiro"}}, "additions": 42, "deletions": 31}}, {"node": {"oid": "320588783a654d513a3ef4d68fa7a7f4af5a83bc", "messageHeadline": "First version of logging using co-log-core", "author": {"name": "rodrigogribeiro@gmail.com", "email": "rodrigogribeiro@gmail.com", "user": {"login": "rodrigogribeiro"}}, "additions": 129, "deletions": 2}}, {"node": {"oid": "5f8d1ec396378b86a499dd27c66684ac3f27903a", "messageHeadline": "Add support for arbitrary field primes parsed from JSON.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 77, "deletions": 72}}, {"node": {"oid": "d9c45642504d38d4ea214537acfe8d2781b6c0ec", "messageHeadline": "Merge pull request #84 from NethermindEth/ferinko/inlining_svars", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 1897, "deletions": 313}}, {"node": {"oid": "b51949fee0a6418fea0a71595e3b1dd3bc8209a6", "messageHeadline": "implement cleanups and refinements suggested by the review", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 16, "deletions": 18}}, {"node": {"oid": "6012d576eaa5c8862fae186a7334af1868de76dd", "messageHeadline": "Install `cvc5` in CI, use it in tests, run on big machine.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 13, "deletions": 2}}, {"node": {"oid": "6fb9812df30ccd32f44d2c43ae866d54a68075ec", "messageHeadline": "Minor refactor, collapse `ConstraintsState` and `ExecutionState` types.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 117, "deletions": 142}}, {"node": {"oid": "92fe3253cd2881b3abdf7ee307956c470dd714ec", "messageHeadline": "Add manual profiling workflow, use newer bats-core", "author": {"name": "Dom", "email": "dominic@nethermind.io", "user": {"login": "DomHenderson"}}, "additions": 202, "deletions": 1}}, {"node": {"oid": "954f0267b9d7136662db90a3bbfbd14965a91289", "messageHeadline": "replaced safeHead with listToMaybe from Data.Maybe", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 5, "deletions": 10}}, {"node": {"oid": "49dba324547cc7186a0b1b4ea2b65a5094fef155", "messageHeadline": "cleanup, formatting", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 460, "deletions": 423}}, {"node": {"oid": "00aa1d2fcd3f3e0569036df4ea69919dd85f6e3a", "messageHeadline": "refactor tests, bump solving time", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 381, "deletions": 381}}, {"node": {"oid": "2b42e51ff6aacd86a5b74fc987c0281a7e5a2a0a", "messageHeadline": "cleanup after merge and migrate tests", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 446, "deletions": 458}}, {"node": {"oid": "69293a6305ba67840f56ef6414bb95ad793b201a", "messageHeadline": "cleanup after merge", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 26, "deletions": 25}}, {"node": {"oid": "01146edf9f7ca40daff3d071552201d15cc43cd7", "messageHeadline": "Merge remote-tracking branch 'origin/master' into ferinko/inlining_th\u2026", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 631, "deletions": 469}}, {"node": {"oid": "e5cffeab8e8113a36bac4d82c9af063b3d547f04", "messageHeadline": "fix fake unsat", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 20, "deletions": 41}}, {"node": {"oid": "1b4d4048180a0d8f8457f33f3a2822281bc5a6ca", "messageHeadline": "Remove remaining temp files from git history.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 4, "deletions": 294}}, {"node": {"oid": "6f1cc5cbe101c1e7bfa02bd15fcde9de254bf053", "messageHeadline": "Remove many debugging artefacts (mostly `*.smt2` files and test output).", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 248, "deletions": 31407}}, {"node": {"oid": "7a0accad5703912503f4a656bdbfc735ae081aab", "messageHeadline": "Cleanup trace calls, remove commented-out code.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 42, "deletions": 218}}, {"node": {"oid": "d30f5fbf968ec0e8a45394be1df6dbe7731b28b1", "messageHeadline": "fix storage vars -- interactions between inlining and builtins", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 29718, "deletions": 61}}, {"node": {"oid": "ac46d43b55b8de807d5f1dffbfcdc300048c0dad", "messageHeadline": "fix testsuite -- fix AP handling and last AP of module", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 119, "deletions": 33296}}, {"node": {"oid": "3004db6cf403728f55593b118037c5c6811f698a", "messageHeadline": "fix inlining -- preserve rets of inlined functions", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 34701, "deletions": 244}}, {"node": {"oid": "fc5c95df1d355cadc73e4e7110d5db9577e2fb72", "messageHeadline": "successful build after inlining merge", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 1411, "deletions": 390}}, {"node": {"oid": "d2284f133d11a9fe3c880bfae44454eae8a898d2", "messageHeadline": "Merge pull request #65 from NethermindEth/ElijahVlasov/ci-cairo-format", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 21, "deletions": 0}}, {"node": {"oid": "1a361c8807b9eb897b42b7716eef538f93e3311f", "messageHeadline": "Add Cairo formatting to CI", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 21, "deletions": 0}}, {"node": {"oid": "63ea9949253045e7974071cd0a53bf3fb7d633cd", "messageHeadline": "Merge pull request #78 from NethermindEth/ElijahVlasov/0.10.1-bump", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 914, "deletions": 937}}, {"node": {"oid": "0847ac8ac48f5eae2dbff587ebf014d1f6643775", "messageHeadline": "Remove permissive python cache restore key from CI workflow.", "author": {"name": "Malcolm Langfield", "email": "35980963+langfield@users.noreply.github.com", "user": {"login": "langfield"}}, "additions": 15, "deletions": 13}}, {"node": {"oid": "219be4d18a2694037a748339081c3186d97cdf4b", "messageHeadline": "Add `assert_le_felt` to trusted specs", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 13, "deletions": 38}}, {"node": {"oid": "ffe4d4eb9d352ede9919cd5236ca055607723fa7", "messageHeadline": "Bump `horus-compile==0.0.6.2` in CI", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "9930d6d00658689562c0c482549303bd0a695772", "messageHeadline": "Adjust return type processing.", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 2, "deletions": 2}}, {"node": {"oid": "3f5c16a502387a51daf50377fb06f3c16a3784b2", "messageHeadline": "Migrate the tests", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 886, "deletions": 886}}, {"node": {"oid": "b67882cc015dd943cd16642bfce0742d4e4faaf0", "messageHeadline": "Merge pull request #77 from DemerzelSolutions/ElijahVlasov/0.9.1-bump", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 67, "deletions": 23}}, {"node": {"oid": "1398c76c1c5a5682c4bc68cc1844d9481165b23f", "messageHeadline": "Logical operations are `not`, `and`, `or` and `->`", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 9, "deletions": 9}}, {"node": {"oid": "9b87f599edbd541496856384d7cc76b920a62b86", "messageHeadline": "Horus version bump (0.0.6.1)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "6c19798188107687898e3fab6f821eb45703ce80", "messageHeadline": "Bump to 0.9.1 version of the compile", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 57, "deletions": 13}}, {"node": {"oid": "d3ac9b763e0cb7d94f9fc8063237e74d63a53392", "messageHeadline": "Support for three syscall functions (#75)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 130, "deletions": 4}}, {"node": {"oid": "1f980b8eacf12ea4cc5268c19d1a757012c522de", "messageHeadline": "Murcake/storage variables (#69)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 1136, "deletions": 570}}, {"node": {"oid": "96c6b89b83fd59a77d55fb7e10795dce41f4a641", "messageHeadline": "Elijah vlasov/ci fix (#67)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 18, "deletions": 11}}, {"node": {"oid": "5c2485d05ef25341c2363c70403f1272a43ae247", "messageHeadline": "update SMT-solvers and z3 lib", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 11, "deletions": 5}}, {"node": {"oid": "b5b8d31b5b24d8fad8a843bc7827153f7f7ed30f", "messageHeadline": "introduce typed expressions and integrate them into Horus", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1050, "deletions": 586}}, {"node": {"oid": "9562eb95dae34b197ef503f92ac9f3caa4d0197e", "messageHeadline": "remove ScopedTSExpr", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 106, "deletions": 156}}, {"node": {"oid": "8b7ec5fc74fc188aec5e255ae20759424f0a3b75", "messageHeadline": "simplify memory removal as we don't have \u00ablet\u00bbs", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 8, "deletions": 13}}, {"node": {"oid": "07bcbdd5d743de32081bc148050fc2ad2aed921b", "messageHeadline": "Murcake/storage variables (#69)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 1170, "deletions": 722}}, {"node": {"oid": "5f4229a416d38008947a1b5f17a11d1d0530fc99", "messageHeadline": "Elijah vlasov/ci fix (#67)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 18, "deletions": 11}}, {"node": {"oid": "e0f969ce9a10127a4db89b27f52a92a88b0a0a9a", "messageHeadline": "Merge pull request #53 from DemerzelSolutions/murcake/use-expression-\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1152, "deletions": 768}}, {"node": {"oid": "67f091c9afa4ef17de00afcd049f811a3e528e28", "messageHeadline": "fix test name, revert bats", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 3, "deletions": 28}}, {"node": {"oid": "40bcc5a5a064bf6d114dc970015756151953e036", "messageHeadline": "rebase inlining onto lvars", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 148, "deletions": 108}}, {"node": {"oid": "9e18c08b372f04559455e6990d0c5672a633b355", "messageHeadline": "implement Julian's suggestions", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 12, "deletions": 17}}, {"node": {"oid": "797e714c06d292e3265f4bdab9d757d55a68c1a5", "messageHeadline": "add test, refactor calls in builtins", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 39, "deletions": 19}}, {"node": {"oid": "7b69dee15c043e7998e5bd1f3f863f1d1cc4ede0", "messageHeadline": "cleanup comment, fix test formulation", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 8, "deletions": 5}}, {"node": {"oid": "48de6ac97d6116a03eb93fe1143e5764c3c1f063", "messageHeadline": "fix inlined module ends, fix inlined builtins", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 116, "deletions": 41}}, {"node": {"oid": "51a77ee16838df327fd19148b5400b54b520adc6", "messageHeadline": "fix handling of wrappers", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 31, "deletions": 72}}, {"node": {"oid": "bbff2b6bb312b8fec9dc95a0fd3f3af5a031400d", "messageHeadline": "fix tests", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 6, "deletions": 6}}, {"node": {"oid": "e6ba4f7ffd391df49fd3f2e02d603ac2cef50c09", "messageHeadline": "fix inlining of stdFuncs - they are annotated too late, need to catch\u2026", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 3, "deletions": 1}}, {"node": {"oid": "e297b4399fb211a3839841aced35f81d7796215f", "messageHeadline": "post rebase, refine fp, add inline+builtin test", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 102, "deletions": 69}}, {"node": {"oid": "e44356d3086743bb08d4b9d1dd0d36bafc88de47", "messageHeadline": "integrate segment naming for the inliner", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 0, "deletions": 2}}, {"node": {"oid": "75411490159ea5d54557a6ee1c5bbded70ca545b", "messageHeadline": "add tests for oracle", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 100, "deletions": 0}}, {"node": {"oid": "920d992d606281b720d9c91077ea4b0052ec8f5b", "messageHeadline": "refine FP access", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 10, "deletions": 22}}, {"node": {"oid": "0591f1cab63a43f9ec901c190c29f8c551a0dce3", "messageHeadline": "add inlinability analysis, add inlining", "author": {"name": "Frantisek Silvasi", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 926, "deletions": 191}}, {"node": {"oid": "f76fe6ad4c9b059117a783efab37c9e5dbd545c5", "messageHeadline": "update SMT-solvers and z3 lib", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 11, "deletions": 5}}, {"node": {"oid": "89c7896e5450b29e8dedf8ae8cb401543e211eb8", "messageHeadline": "introduce typed expressions and integrate them into Horus", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1098, "deletions": 663}}, {"node": {"oid": "a625ca64922e67c8bf51128b99a3319c62844b21", "messageHeadline": "remove ScopedTSExpr", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 126, "deletions": 180}}, {"node": {"oid": "3722d8388e1cc3af4f8894c63be0f783475ef38b", "messageHeadline": "simplify memory removal as we don't have \u00ablet\u00bbs", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 13, "deletions": 16}}, {"node": {"oid": "95b1fed67711461b1165d7c3d2a999e90e10040e", "messageHeadline": "Optional output of smt queries (#63)", "author": {"name": "Agustin", "email": "4691852+aemartinez@users.noreply.github.com", "user": {"login": "aemartinez"}}, "additions": 87, "deletions": 15}}, {"node": {"oid": "68b943cac2e6c1def9a474d5f63ec21baa40fcb7", "messageHeadline": "Merge pull request #27 from DemerzelSolutions/julek/logical-variables", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 602, "deletions": 139}}, {"node": {"oid": "79bc1aef236ecb38d2817a16da32b4c0a0a2c5b6", "messageHeadline": "Logical variables implementation.", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 602, "deletions": 139}}, {"node": {"oid": "7bd6f58deda9d5a60deeae66c984d247d788dc0a", "messageHeadline": "Merge pull request #61 from DemerzelSolutions/murcake/remove-forgotte\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 0, "deletions": 516}}, {"node": {"oid": "6f599de2cc1ceb8aaa0fe81bec055e66f0857779", "messageHeadline": "remove abandoned python-based test-suite", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 0, "deletions": 516}}, {"node": {"oid": "a9359537898c632d27ed08f9e540cc56952ce1f7", "messageHeadline": "Merge pull request #62 from DemerzelSolutions/murcake/multisolvers", "author": {"name": "Julian Sutherland", "email": "julian.sutherland10@imperial.ac.uk", "user": {"login": "Julek"}}, "additions": 67, "deletions": 29}}, {"node": {"oid": "fba9c1042f7bd3e8253624a554ab23745e4be022", "messageHeadline": "support using multiple solvers for the same problem", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 67, "deletions": 29}}, {"node": {"oid": "cd8fdb92f3fa77f8546acd5778e4b3a62fd77cfc", "messageHeadline": "Merge pull request #59 from DemerzelSolutions/murcake/fix-unannotated\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 109, "deletions": 27}}, {"node": {"oid": "59bc55e1e01d5b936743ff9da114a526ddbda6bc", "messageHeadline": "fix: segments from unannotated loops were omitted", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 50, "deletions": 18}}, {"node": {"oid": "b1b18b5d60f2b2c9b72ae8faf222d251c09fc278", "messageHeadline": "turn modularization into a DSL", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 70, "deletions": 20}}, {"node": {"oid": "a78e2cdbbc87740dd6d680265b21b0c501fa39a2", "messageHeadline": "Merge pull request #47 from DemerzelSolutions/murcake/validate-builti\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 79, "deletions": 1}}, {"node": {"oid": "81cc2834771b95ebcc14a4c5e66fe2886648860d", "messageHeadline": "verify validity of builtin pointers, without imposing their conditions", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 79, "deletions": 1}}, {"node": {"oid": "4110d6389d0789f0637183b069d05122898c58db", "messageHeadline": "Merge pull request #54 from DemerzelSolutions/ElijahVlasov/z3-refacto\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 18, "deletions": 19}}, {"node": {"oid": "0ef365c9ede81a21688176b9fde5ed6931321d01", "messageHeadline": "Refactoring using `maybeToError`", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 18, "deletions": 19}}, {"node": {"oid": "cdad8fe13bafd45c85d2705c9ce0b9e7b9a7c0ee", "messageHeadline": "Merge pull request #39 from DemerzelSolutions/murcake/builtins-scaffo\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 906, "deletions": 242}}, {"node": {"oid": "d9284fff9afecd93b85640ab0d84e99809018f6c", "messageHeadline": "implement scaffolding for builtins, and the range-check builtin", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 773, "deletions": 143}}, {"node": {"oid": "df0e4adf093cee6e115cd14ae79a57135541aebb", "messageHeadline": "congregate all info extractable from a contract in a single record", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 161, "deletions": 127}}, {"node": {"oid": "8d96eda8f898e0db42e8fb17358cc4befe8924f7", "messageHeadline": "Merge pull request #30 from DemerzelSolutions/ferinko/segnames", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 163, "deletions": 14}}, {"node": {"oid": "4e023e0bf73946835f60d978f544c2bae4057872", "messageHeadline": "add segment naming", "author": {"name": "Ferinko", "email": "silvasi.frantisek@gmail.com", "user": {"login": "Ferinko"}}, "additions": 163, "deletions": 14}}, {"node": {"oid": "2ec906c588e0ec8d2d4e08c3157bfcc0cae39fef", "messageHeadline": "Merge pull request #49 from DemerzelSolutions/ElijahVlasov/preprocess\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 255, "deletions": 136}}, {"node": {"oid": "88c79600fccf4d988522f83ee92bf8358777ab68", "messageHeadline": "Added a DSL for z3 preprocessing stage", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 251, "deletions": 132}}, {"node": {"oid": "44ff4a2d996413a93bb336c098f40affb779e2f4", "messageHeadline": "Updated `haskell-z3` dependency", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 4, "deletions": 4}}, {"node": {"oid": "0113739bf3f49b3b877d5f37407a179a34592374", "messageHeadline": "Merge pull request #43 from DemerzelSolutions/murcake/optional-model-\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 115, "deletions": 115}}, {"node": {"oid": "c37e5daae16e4d6920691d61442540fca4c16741", "messageHeadline": "disable model generation when not requested", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 115, "deletions": 115}}, {"node": {"oid": "0224c8ba854194692a54afbe49be8c52c0bf82ce", "messageHeadline": "Merge pull request #45 from DemerzelSolutions/murcake/fix-timeout", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 10, "deletions": 5}}, {"node": {"oid": "a00b3fe15dc07697a708de0f077b963c1d3856ce", "messageHeadline": "use a version of SimpleSMT with fixed exception handling", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 10, "deletions": 5}}, {"node": {"oid": "ff2f0d9ef4308259cd1023b165ae6d7d2efab302", "messageHeadline": "Merge pull request #41 from DemerzelSolutions/murcake/small-fixes", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 193, "deletions": 235}}, {"node": {"oid": "e28bbd1d7f431bbbac22312db7c72b05ab92dcde", "messageHeadline": "Merge pull request #40 from DemerzelSolutions/ElijahVlasov/horus-comp\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 51, "deletions": 51}}, {"node": {"oid": "3a1383a58667f93bb06e3e61254bd578157d9dc3", "messageHeadline": "disable hlint's \u00abAvoid lambda\u00bb", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 7, "deletions": 2}}, {"node": {"oid": "6cfef278b5227d061a5d205574ed9fb0df75021d", "messageHeadline": "fix: even if the ap increment is unknown, the new ap group is greater", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 9, "deletions": 6}}, {"node": {"oid": "94eb5d295f3267979867fe966d1ac9f54e66c39b", "messageHeadline": "de-GADTify IdentifierDefinition", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 102, "deletions": 142}}, {"node": {"oid": "59709bfba8bd7d4fb57473020992560dcf627927", "messageHeadline": "use prepositive qualified imports", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 39, "deletions": 39}}, {"node": {"oid": "ef658f9a1fd6289cfb7d302b6cf002a31e927c1c", "messageHeadline": "only remove memory when asserting a statement", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 36, "deletions": 33}}, {"node": {"oid": "9690e50cf98a5d7b907e0f229fe736ba24b7e21e", "messageHeadline": "simplify memory removal, since now we don't have \"let\"s", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 4, "deletions": 15}}, {"node": {"oid": "9b53247156b95ff29660f0ea7477e67105f39d85", "messageHeadline": "remove hints info \u2014 we don't use it and their JSON decoding is wrong", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 0, "deletions": 2}}, {"node": {"oid": "e8bd89cb2849db0b2676646a53cfb10ae575cc77", "messageHeadline": "Bump to horus-compile==0.0.3", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 51, "deletions": 51}}, {"node": {"oid": "61778eea1e292a213bd3a376e4009c1988bbfb3a", "messageHeadline": "Merge pull request #38 from DemerzelSolutions/ElijahVlasov/cli_improv\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 44, "deletions": 12}}, {"node": {"oid": "3909e94515ac2569e91d2d48677113c13515049c", "messageHeadline": "Added handling of Unknown results", "author": {"name": "Ilia Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 9, "deletions": 3}}, {"node": {"oid": "2cebfd88912199a5f188dc2ea29fbc964f83624d", "messageHeadline": "Added timeout option.", "author": {"name": "Ilia Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 37, "deletions": 11}}, {"node": {"oid": "85e6d85ae98e4caff8e0f4d70747a182b7295da1", "messageHeadline": "Merge pull request #26 from DemerzelSolutions/murcake/builtin-specs", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 130, "deletions": 20}}, {"node": {"oid": "6a22b496a4f010126d27110b5f32dbd37630b088", "messageHeadline": "add support for \u00abbuiltin-checks\u00bb", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 122, "deletions": 11}}, {"node": {"oid": "20cfc288fc600450ca977ceac6b2ca01ca035ef3", "messageHeadline": "set fp and pc in memory for function calls", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 8, "deletions": 9}}, {"node": {"oid": "0933ab46fa2ee81f0d0dac30e6031c5b5788fefa", "messageHeadline": "Merge pull request #37 from DemerzelSolutions/murcake/check-callee-pr\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 86, "deletions": 26}}, {"node": {"oid": "e5cfec17a0f043eb5b133e1352b1382833614c6d", "messageHeadline": "check that pre-conditions of functions are satisfied", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 69, "deletions": 15}}, {"node": {"oid": "3d6450853e092ac0feab50039a93d1f9d4f354a5", "messageHeadline": "fix: ap update is generally non-determinate for function calls", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 17, "deletions": 11}}, {"node": {"oid": "5ca92c0c83fa9380522f76c89f379cdf886a6396", "messageHeadline": "Merge pull request #36 from DemerzelSolutions/murcake/smt-solver-RAII", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 6}}, {"node": {"oid": "ecd6f124cbf28a80a2db46f339cd48d8297be405", "messageHeadline": "apply RAII to SMT solver process creation", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 6}}, {"node": {"oid": "222b654efafb679977019e41cd942ef48c67e1b9", "messageHeadline": "Merge pull request #35 from DemerzelSolutions/ElijahVlasov/z3_depende\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 9, "deletions": 10}}, {"node": {"oid": "c9aad853b55673abfc9e3822d9c7eb8dc9d76c40", "messageHeadline": "Merge pull request #25 from DemerzelSolutions/murcake/use-ap-tracking\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 141, "deletions": 135}}, {"node": {"oid": "a112d7c740637feb933fc1d7630f93f9b9b84611", "messageHeadline": "use ApTracking data from the compiler, instead of manual updating", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 140, "deletions": 134}}, {"node": {"oid": "cd96c962294bb35c2c180232cdc1734337863705", "messageHeadline": "fix: horus-disasm was sometimes missing a space after jmp rel", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "d64ac63bc96db5016352091a805b2a944d843db1", "messageHeadline": "Updated haskell-z3 dependency.", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 9, "deletions": 10}}, {"node": {"oid": "c9cc3bc80ff8f5391bcf3a0cd1f52d157ad0fc4d", "messageHeadline": "Merge pull request #34 from DemerzelSolutions/murcake/delete-sat-mode\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1, "deletions": 77}}, {"node": {"oid": "6c78bf04fca1886451e2da50121d254eb5de3e85", "messageHeadline": "remove SAT models from golden tests", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 77}}, {"node": {"oid": "3bddef24afa7a42c7a1dca6c2126705ee0bcd105", "messageHeadline": "Merge pull request #33 from DemerzelSolutions/ElijahVlasov/cli", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 134, "deletions": 35}}, {"node": {"oid": "9c061ff8aa737e653ad09cab75db4a494e043e24", "messageHeadline": "Refactoring of produceSMT2Models", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 7, "deletions": 7}}, {"node": {"oid": "7f94b0fd31af9ddb806231bb2d2061ae35f8f9fb", "messageHeadline": "Integrated arg parsing via optparse-applicative.", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 134, "deletions": 35}}, {"node": {"oid": "5d27e3a70b1ae4344d28f361b8626f357dd68b66", "messageHeadline": "Merge pull request #15 from DemerzelSolutions/ElijahVlasov/output_par\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 477, "deletions": 379}}, {"node": {"oid": "f220a5a52c4da6b7e48f7c95253dbb56f0abb08b", "messageHeadline": "Added z3 installation to CI", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 6, "deletions": 1}}, {"node": {"oid": "4f20aa7817b2d948ae6fbf47eeb0ab044622a5ad", "messageHeadline": "Parsing the response of a solver.", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 471, "deletions": 378}}, {"node": {"oid": "f46f3418d9656e1eb91e3be0c5744524348690e8", "messageHeadline": "Merge pull request #32 from DemerzelSolutions/murcake/do-not-discard-\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 12}}, {"node": {"oid": "3db5904f87e9ae027258a2a8fd616edb91907bda", "messageHeadline": "fix: no longer discard loop segments", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 12}}, {"node": {"oid": "6a742fa3dce07e9ea85ebb5a54c253ad462b5a74", "messageHeadline": "Merge pull request #20 from DemerzelSolutions/murcake/simp-exprs", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 93, "deletions": 46}}, {"node": {"oid": "865e9307743629597052b566e1cfb52cce3380ea", "messageHeadline": "reduce the number of mem vars by recycling vars with the same address", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 26, "deletions": 22}}, {"node": {"oid": "e600ae6f1b5fa6bc9063b1df41141c8644279842", "messageHeadline": "inline let-bindings when parsing SMT expression from JSON", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 26, "deletions": 2}}, {"node": {"oid": "83efc8c1442e7083a2aa32d3b33c69ba7e7616f9", "messageHeadline": "remove redundant modulo", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "43243fdb7a812c47729d685e432f6583db3adac6", "messageHeadline": "perform simplification in logical functions from typed-simplesmt", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 40, "deletions": 21}}, {"node": {"oid": "fddd20e86e6724ab8df5e3a07c7627569bd9cb7f", "messageHeadline": "Merge pull request #24 from DemerzelSolutions/ElijahVlasov/raw_smt", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 10, "deletions": 3}}, {"node": {"oid": "b37a428d5474ef680f582502f339599f6808ef23", "messageHeadline": "Added support for `@smt` annotation.", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 10, "deletions": 3}}, {"node": {"oid": "4f30d02d88610851b48006391adad8d198f9e415", "messageHeadline": "Merge pull request #29 from DemerzelSolutions/murcake/fix-labeling", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 35, "deletions": 11}}, {"node": {"oid": "ca1bddd92d4fccbbe75bcf13bee18bd7000ba7a3", "messageHeadline": "fix: labeling now includes all jump destinations", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 35, "deletions": 11}}, {"node": {"oid": "1d1d86c48bf1a90c0201a90e110afbcf2b2d36e4", "messageHeadline": "Merge pull request #23 from DemerzelSolutions/murcake/cairo-compile\u21920\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 8}}, {"node": {"oid": "d2edbc9350c6d7a939f849fb65e252d63986840b", "messageHeadline": "adapt horus-check to use horus-compile==0.0.2", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 8}}, {"node": {"oid": "6edcc70109c5b8ec0c6f67eac2c965aee4c76c93", "messageHeadline": "Merge pull request #18 from DemerzelSolutions/murcake/use-ap-tracking\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 191, "deletions": 73}}, {"node": {"oid": "192040cdf133f7a581af55e7c15d2b36abe11c92", "messageHeadline": "use ap tracking to use info about ap advancements on calls", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 139, "deletions": 10}}, {"node": {"oid": "625da9081af9602663204d160cea10b5555be286", "messageHeadline": "Merge pull request #17 from DemerzelSolutions/murcake/support-high-le\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 163, "deletions": 73}}, {"node": {"oid": "4ad68340b50e8a238b38c299665132d4b94f4961", "messageHeadline": "replace ints with labels", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 52, "deletions": 63}}, {"node": {"oid": "a542120dec80d5adfdbe1075fd4ab1b7655936df", "messageHeadline": "support high-level ifs <-> don't break segments on (forward) jumps", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 163, "deletions": 73}}, {"node": {"oid": "76fba7ed25d4d0b18be5489d676d14e34cc853ec", "messageHeadline": "Merge pull request #16 from DemerzelSolutions/murcake/add-assemblifier", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 119, "deletions": 23}}, {"node": {"oid": "798465287d5fb3b35ba23345ac787fd698e7c33c", "messageHeadline": "move `toSigned` to the util module and rename to `toSignedFelt`", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 8, "deletions": 7}}, {"node": {"oid": "41117164a485ef5fa5a0c8cedc72e14d30932a6a", "messageHeadline": "add a disasm utility from bytecode to readable low-level cairo", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 113, "deletions": 18}}, {"node": {"oid": "c248fdec9355f8742821648c393178ae075b3544", "messageHeadline": "Merge pull request #22 from DemerzelSolutions/murcake/fix-cache-keys", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 10, "deletions": 9}}, {"node": {"oid": "2da83deaecd7abe2d4032f66f9ca5df424b20ffd", "messageHeadline": "fix: caches didn't update at all because of constant keys", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 10, "deletions": 9}}, {"node": {"oid": "56c35b98dc19fe4ec145442e03db341e7f000482", "messageHeadline": "Merge pull request #14 from DemerzelSolutions/murcake/adapt-cli-for-t\u2026", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 1346, "deletions": 99}}, {"node": {"oid": "df6d53b3e65bacd0e65636b6f55f5bfa73c354ad", "messageHeadline": "add testing", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1204, "deletions": 3}}, {"node": {"oid": "467824bc04ac3e807ea717de7c9392d4b9d27dbd", "messageHeadline": "add CLI options, to make horus-check suitable for testing", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 142, "deletions": 96}}, {"node": {"oid": "6eaee4d253421d1e89485da1da630b35f3cb8d17", "messageHeadline": "Merge pull request #13 from DemerzelSolutions/murcake/merge-progress", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 595, "deletions": 279}}, {"node": {"oid": "b33b6f690621925ba8c80df611c4062af65f9366", "messageHeadline": "merge all current progress to print SMT2 models of compiled Cairo", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 577, "deletions": 274}}, {"node": {"oid": "3242c90eb3e0abf8121a407c0624756e53bda048", "messageHeadline": "stop failing on references in the compiled json", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 4, "deletions": 1}}, {"node": {"oid": "24fafd18d0bd60c870f6fb290dceb9661e609c2c", "messageHeadline": "add proper fixities and priorities to the typed-simplesmt operators", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 7, "deletions": 0}}, {"node": {"oid": "a5d1d2a66258ada0aa3dcb00de40126625b2838a", "messageHeadline": "fix: precedence related mistake", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "6b37885aaab8e55eb9fbbb4985c87861ab78d0a6", "messageHeadline": "fix how jnz condition is inferred \u2014 add dstOffset, not op0Offset", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 1}}, {"node": {"oid": "0f1cd01dce3e2ec56fe9f2c1666a641f2c79b5b2", "messageHeadline": "parallelize building", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 5, "deletions": 2}}, {"node": {"oid": "55d830b6ca73d4afa841438b02a4248eb6840c9a", "messageHeadline": "Merge pull request #19 from DemerzelSolutions/murcake/hlint-in-ci", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 16, "deletions": 6}}, {"node": {"oid": "1f7e7c7485def259afc26939c15876e49271e9bf", "messageHeadline": "add HLint to CI", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 16, "deletions": 6}}, {"node": {"oid": "dfa8e489b3fff4a5d570daff1b3a15a75439a3e6", "messageHeadline": "Merge pull request #9 from NethermindEth/murcake/modularization", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 82, "deletions": 8}}, {"node": {"oid": "873eba54c31f13800f2ae2ec957861ac17fd568e", "messageHeadline": "add creation of modules from the CFG", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 82, "deletions": 8}}, {"node": {"oid": "bff1d08e3017bbdb8cfc7ffdcee0bd1d608f9439", "messageHeadline": "Merge pull request #12 from NethermindEth/ElijahVlasov/linting", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 5, "deletions": 13}}, {"node": {"oid": "60c60a3ce41e2fb07e11dfff2eede748077c454e", "messageHeadline": "fixed linting", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 5, "deletions": 13}}, {"node": {"oid": "75148d429a6980b75b8972945d7b32042e3499d2", "messageHeadline": "Merge pull request #8 from NethermindEth/ElijahVlasov/bytecode_constr\u2026", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 240, "deletions": 6}}, {"node": {"oid": "849ec42d063d99b5663ad7e2c55edaa4c0f6263b", "messageHeadline": "refactoring and minor fixes", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 146, "deletions": 150}}, {"node": {"oid": "b9bc95ab3583b7d48f5c49115ac644952387b338", "messageHeadline": "Added precondition and postcondition", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 66, "deletions": 15}}, {"node": {"oid": "7e5331ff2f761e1daf27b6637f499a570115fb93", "messageHeadline": "Added initial assumptions to the smt query", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 3, "deletions": 0}}, {"node": {"oid": "b7bebfb99d36489cf1eb2452d3abf24b9c06ee73", "messageHeadline": "Added correctness of memory vars conditions", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 19, "deletions": 9}}, {"node": {"oid": "3ad31503fbf266b29e95fb0fe4258338e69e9509", "messageHeadline": "Added semantics generation for a whole program", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 56, "deletions": 18}}, {"node": {"oid": "251a423405090f714b44d7b21101a773f644b8cf", "messageHeadline": "added instruction semantics", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 138, "deletions": 2}}, {"node": {"oid": "e0c28d6a22b9c418ad83ab2d922f44f511f24821", "messageHeadline": "Merge pull request #7 from NethermindEth/murcake/CFG", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 556, "deletions": 128}}, {"node": {"oid": "ca433a081e224693c3aae95125ea3ce9fbfb51fa", "messageHeadline": "use a slightly saner and more diff-friendly format of lists in Cabal", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 47, "deletions": 43}}, {"node": {"oid": "e777c88f27aa393bb7129e84c319badee95230f8", "messageHeadline": "implement ControlFlowGraph building", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 531, "deletions": 107}}, {"node": {"oid": "f98828f1c2136363b1f5b6721a8f8e87fb6f1c58", "messageHeadline": "Merge pull request #6 from NethermindEth/murcake/extend-typed", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 62, "deletions": 2}}, {"node": {"oid": "0b1524cd4e50fdb6bf7645486ede8e70eec21a1e", "messageHeadline": "add SMT-variables for cairo registers and the memory function", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 18, "deletions": 1}}, {"node": {"oid": "3e0d2ec530f22fe9863c764b70ea498b3681b254", "messageHeadline": "add typed constants and functions to SimpleSMT.Typed", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 44, "deletions": 1}}, {"node": {"oid": "c0e42cbbb5cf544dd57ab9aca8e1b7ec66456bdf", "messageHeadline": "Added parsing of starkware_types (#3)", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 254, "deletions": 0}}, {"node": {"oid": "0db753422b26585c7014499ec9ebf264bb7a5ab0", "messageHeadline": "Merge pull request #5 from NethermindEth/murcake/tsexp-lib-scaffolding", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 58, "deletions": 45}}, {"node": {"oid": "9bb32d24614cf3ce7fd98a49ece3434267cc57e2", "messageHeadline": "remove stylish-haskell as fourmolu is enough", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 1, "deletions": 43}}, {"node": {"oid": "aadf390bb84ff32b3ade20d8fc061bd0d90fb5eb", "messageHeadline": "add typed simple-smt scaffolding", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 57, "deletions": 2}}, {"node": {"oid": "5c36b6a0527e58e525c9a765ec3f2705a72054a9", "messageHeadline": "Merge pull request #4 from NethermindEth/murcake/linting-in-CI", "author": {"name": "Artem Yurchenko", "email": "44875844+murcake@users.noreply.github.com", "user": {"login": "temyurchenko"}}, "additions": 96, "deletions": 25}}, {"node": {"oid": "db7de82000e6fd9a6ac88f5ef5083be7b4ad93a1", "messageHeadline": "add compilation warnings", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 31, "deletions": 24}}, {"node": {"oid": "5d26b6cb6de4f89d41d5868d9307e4a8a3d40e6b", "messageHeadline": "add linting to CI", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 65, "deletions": 1}}, {"node": {"oid": "c2ead5dca9739a3fdb9dc5f399df9d23514a8cdf", "messageHeadline": "Merge pull request #1 from NethermindEth/murcake/parse-json", "author": {"name": "ElijahVlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 384, "deletions": 203}}, {"node": {"oid": "a4cf785a9c7d4fbf08176bb6f144d38478d5f2a9", "messageHeadline": "parse JSON produced by the horus plugin", "author": {"name": "Artem Yurchenko", "email": "artemyurchenko@zoho.com", "user": {"login": "temyurchenko"}}, "additions": 384, "deletions": 203}}, {"node": {"oid": "9fb47824e98308a05dc1c319b71d9885979c0c04", "messageHeadline": "first commit", "author": {"name": "Ilya Vlasov", "email": "elijah.vlasov@gmail.com", "user": {"login": "ElijahVlasov"}}, "additions": 1374, "deletions": 0}}]