{"push_id":2794428228,"size":17,"distinct_size":16,"ref":"refs/heads/codegen2","head":"cde5403fdf3aa6706cd2a674ffd147ff5970c62a","before":"ee12667c26a7f33d4bef4a60e0c3f50182b36b96","commits":[{"sha":"f71487d23da04cbc8601373a3dce8a0731cf8f22","author":{"name":"dwightguth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"Code to generate terms from substitutions (#12)\n\n* add hashing and equality on sorts\r\n\r\n* helper functions on symbols\r\n\r\n* additional accessors\r\n\r\n* add markSymbols method to create map of all symbols used in axioms\r\n\r\n* use hash map to store attributes\r\n\r\n* add accessor\r\n\r\n* add helper functions on axioms\r\n\r\n* add helper functions on definition\r\n\r\n* fix scanner for string literals\r\n\r\n* remove header.ll as separate file\r\n\r\n* add codegen library\r\n\r\n* add test_rhs tool\r\n\r\n* add functional test for code generation\r\n\r\n* add isConcrete method to KOREObjectSort\r\n\r\n* add operator!= method\r\n\r\n* use enums and string constants instead of string comparison and string literals\r\n\r\n* add comments to fields\r\n\r\n* use ++i instead of i++\r\n\r\n* use map instead of unordered_map for markSymbols so that header bytes are predictable\r\n\r\n* add more comments\r\n\r\n* use set lookup for isBuiltin function\r\n\r\n* set low order bit on 0-arity symbols\r\n\r\n* update test output\r\n\r\n* update comments\r\n\r\n* update comment on sort\r\n\r\n* fix instantiateSymbol\r\n\r\n* fix undefined behavior in getBlockHeader\r\n\r\n* fix substitution in instantiateSymbol\r\n\r\n* fix tag issue\r\n\r\n* fix hashing\r\n\r\n* Add unit test for substitute\r\n\r\n* add test for instantiateSymbol\r\n\r\n* add using for unordered_map type\r\n\r\n* add comment to KOREDefinition\r\n\r\n* move substitution","distinct":false,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/f71487d23da04cbc8601373a3dce8a0731cf8f22"},{"sha":"3840cf307c7fd3cb35c6d25c5aedaec7613f3269","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"fix getSortCategory","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/3840cf307c7fd3cb35c6d25c5aedaec7613f3269"},{"sha":"abf732c0f1e220960d72962b4e04e8c6fcc234c2","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"remove unneeded const qualifier","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/abf732c0f1e220960d72962b4e04e8c6fcc234c2"},{"sha":"e1ee8213f42fb732e36b79b5b2a4ee9018a3f7b1","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"compute length of blocks better","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/e1ee8213f42fb732e36b79b5b2a4ee9018a3f7b1"},{"sha":"d148a2223901206ec3aa8f68bd452f9e2c52e9c2","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"add markVariables method","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/d148a2223901206ec3aa8f68bd452f9e2c52e9c2"},{"sha":"60e3e43214c9051b795baaa1bd24c0088a1a310a","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"add some more accessors","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/60e3e43214c9051b795baaa1bd24c0088a1a310a"},{"sha":"20762e053648712aaeaa255bb1014332cdfdf4a5","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"refactor use of llvm api","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/20762e053648712aaeaa255bb1014332cdfdf4a5"},{"sha":"6e2f1200a61d6c9cc16ba28d32c2f38032c82798","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"improve termType","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/6e2f1200a61d6c9cc16ba28d32c2f38032c82798"},{"sha":"6c28ff4b3978bc2c29277f2909bee420bd6bc3ea","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"fix getRightHandSide for axioms in prelude","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/6c28ff4b3978bc2c29277f2909bee420bd6bc3ea"},{"sha":"a9e66886d91a360d19b61d4e83069f6aa3c002eb","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"fix bug in scanner involving meta string literals","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/a9e66886d91a360d19b61d4e83069f6aa3c002eb"},{"sha":"c466a59b063649998d359373dcb849a20a28d429","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"refactor creation of terms into a class atd move function creation code into library","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/c466a59b063649998d359373dcb849a20a28d429"},{"sha":"e155cb0ed795ea427f6208ac9428d95ef20360a1","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"add missing cases for hooks, functions, tokens","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/e155cb0ed795ea427f6208ac9428d95ef20360a1"},{"sha":"de68ca1cb7028dafcec0c2c839a56936b90d7f16","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"changes to test.ll (small, for camparison)","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/de68ca1cb7028dafcec0c2c839a56936b90d7f16"},{"sha":"309e89c0bd48c26854bfb182d8ff9d12ec5a6bd5","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"update test.kore and imp.kore","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/309e89c0bd48c26854bfb182d8ff9d12ec5a6bd5"},{"sha":"b93c2ebc6deef6e2b97f513857b6e95014ca3efc","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"modify test_rhs to print all axioms","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/b93c2ebc6deef6e2b97f513857b6e95014ca3efc"},{"sha":"dca00056b7f296c1134421f6367476b77c94ce5b","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"full rule rhs for test and imp (except inj)","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/dca00056b7f296c1134421f6367476b77c94ce5b"},{"sha":"cde5403fdf3aa6706cd2a674ffd147ff5970c62a","author":{"name":"Dwight Guth","email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com"},"message":"add imp to ci tests","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-backend/commits/cde5403fdf3aa6706cd2a674ffd147ff5970c62a"}]}
{"actor":{"display_login":"dwightguth"}}