{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":105285578,"defaultBranch":"master","name":"TML","ownerLogin":"IDNI","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-09-29T15:05:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32394723?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1685543116.995065","currentOid":""},"activityList":{"items":[{"before":null,"after":"c9335fe226b10e373212a9fb13826b6f9486b5db","ref":"refs/heads/2cnf_extraction","pushedAt":"2023-05-31T14:25:16.995Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LuccaT95","name":null,"path":"/LuccaT95","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57005927?s=80&v=4"},"commit":{"message":"Commented code needed for 2-CNF extraction project.","shortMessageHtmlLink":"Commented code needed for 2-CNF extraction project."}},{"before":"813a51650b729fd6f90263cdede17a4b1a9c95ac","after":"5b3926064ff8506c8820b3f1eaad7a0d92326397","ref":"refs/heads/feature/integratelibs","pushedAt":"2023-05-15T14:39:47.849Z","pushType":"push","commitsCount":164,"pusher":{"login":"tklip","name":"Tomáš Klapka","path":"/tklip","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51791474?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/integratelibs","shortMessageHtmlLink":"Merge branch 'master' into feature/integratelibs"}},{"before":"a901f41c69940d2f1218c1a7b2820072b6efaba1","after":"f7891eebd1c4c0d6801b2f150072186988bbb72e","ref":"refs/heads/master","pushedAt":"2023-04-26T10:49:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fioxingf regression tests path","shortMessageHtmlLink":"fioxingf regression tests path"}},{"before":"6a65ab4fe457d893910ef99b6a67fdf4b388573f","after":"a901f41c69940d2f1218c1a7b2820072b6efaba1","ref":"refs/heads/master","pushedAt":"2023-04-26T10:29:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"adding --output-on-failure to ctest","shortMessageHtmlLink":"adding --output-on-failure to ctest"}},{"before":"3b677d52253c2604fd6283c74765908c2e5bb27a","after":"6a65ab4fe457d893910ef99b6a67fdf4b388573f","ref":"refs/heads/master","pushedAt":"2023-04-26T10:17:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"adding regression tests to ctest","shortMessageHtmlLink":"adding regression tests to ctest"}},{"before":"c07c89c530bc46d4828e709e80302ee94fa10f3a","after":"3b677d52253c2604fd6283c74765908c2e5bb27a","ref":"refs/heads/master","pushedAt":"2023-04-26T10:03:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing yaml indentation","shortMessageHtmlLink":"fixing yaml indentation"}},{"before":"15a2f606f2a3e350c13357fc45780829167cd6a1","after":"c07c89c530bc46d4828e709e80302ee94fa10f3a","ref":"refs/heads/master","pushedAt":"2023-04-26T10:00:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"adding some test to ctest","shortMessageHtmlLink":"adding some test to ctest"}},{"before":"3ec8f22f8e6a21451113b86e1deae3e034f72a63","after":"15a2f606f2a3e350c13357fc45780829167cd6a1","ref":"refs/heads/master","pushedAt":"2023-04-25T12:50:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing remove this using-directive","shortMessageHtmlLink":"fixing remove this using-directive"}},{"before":"5da778724e73b4cc0c2aa9e6aab450dadca781ca","after":"3ec8f22f8e6a21451113b86e1deae3e034f72a63","ref":"refs/heads/master","pushedAt":"2023-04-25T12:44:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing global variables should be const.","shortMessageHtmlLink":"fixing global variables should be const."}},{"before":"84a15015adebb9dbcb394abde674d4a33b161907","after":"5da778724e73b4cc0c2aa9e6aab450dadca781ca","ref":"refs/heads/master","pushedAt":"2023-04-25T11:36:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing remove any side effects from...","shortMessageHtmlLink":"fixing remove any side effects from..."}},{"before":"71c47eb8f03deba704c50b4ad51c3da80e34fe81","after":"84a15015adebb9dbcb394abde674d4a33b161907","ref":"refs/heads/master","pushedAt":"2023-04-25T11:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing replace \"rand\" with facilities in <random>","shortMessageHtmlLink":"fixing replace \"rand\" with facilities in &lt;random&gt;"}},{"before":"21ff80d30aae376b0f6c6cfb74d6b19d201e5dd6","after":"71c47eb8f03deba704c50b4ad51c3da80e34fe81","ref":"refs/heads/master","pushedAt":"2023-04-24T09:54:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing compiler warning","shortMessageHtmlLink":"fixing compiler warning"}},{"before":"2db286b464be0d5acdf330973bea48ae1bbdb938","after":"21ff80d30aae376b0f6c6cfb74d6b19d201e5dd6","ref":"refs/heads/master","pushedAt":"2023-04-22T00:39:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"hardening memory map file permissions","shortMessageHtmlLink":"hardening memory map file permissions"}},{"before":"6ce2d2413c6bd2e4e2a8047446332f88517ffee6","after":"2db286b464be0d5acdf330973bea48ae1bbdb938","ref":"refs/heads/master","pushedAt":"2023-04-22T00:24:40.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"Merge pull request #59 from castrod/master\n\nfixing gcc macos build","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1679240113\" data-permission-text=\"Title is private\" data-url=\"https://github.com/IDNI/TML/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/IDNI/TML/pull/59/hovercard\" href=\"https://github.com/IDNI/TML/pull/59\">#59</a> from castrod/master"}},{"before":"64994a781c0ff6d9b143b2d7c0272de83e23a82b","after":"6ce2d2413c6bd2e4e2a8047446332f88517ffee6","ref":"refs/heads/master","pushedAt":"2023-04-17T12:30:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"removing dead code","shortMessageHtmlLink":"removing dead code"}},{"before":"fb3c0ef57e508ffb441512ee582f38aeb0810c59","after":"64994a781c0ff6d9b143b2d7c0272de83e23a82b","ref":"refs/heads/master","pushedAt":"2023-04-17T11:46:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing use pointeror...to avoid slicing","shortMessageHtmlLink":"fixing use pointeror...to avoid slicing"}},{"before":"409900ff5f4db758bff381ec89190211f9c1fce7","after":"fb3c0ef57e508ffb441512ee582f38aeb0810c59","ref":"refs/heads/master","pushedAt":"2023-04-17T10:41:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing object backing the pointer...","shortMessageHtmlLink":"fixing object backing the pointer..."}},{"before":"83a153fee15ca849986ae3df579bf5d764202f13","after":"409900ff5f4db758bff381ec89190211f9c1fce7","ref":"refs/heads/master","pushedAt":"2023-04-13T10:00:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"removing TML","shortMessageHtmlLink":"removing TML"}},{"before":"80cd69ed11c7a4b22f3516d833bf5b2e769c840d","after":"83a153fee15ca849986ae3df579bf5d764202f13","ref":"refs/heads/master","pushedAt":"2023-04-12T12:59:06.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"removing PROOF","shortMessageHtmlLink":"removing PROOF"}},{"before":"0692baffb5635de97656de41ddac4f025571398e","after":"80cd69ed11c7a4b22f3516d833bf5b2e769c840d","ref":"refs/heads/master","pushedAt":"2023-04-03T11:37:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"changing Z3 loc in all cases","shortMessageHtmlLink":"changing Z3 loc in all cases"}},{"before":"a76aec5332edf38e2030db6af30ded6050885a2b","after":"0692baffb5635de97656de41ddac4f025571398e","ref":"refs/heads/master","pushedAt":"2023-04-03T11:08:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"changing Z3 loc depending in CMAKE_SYSTEM_NAME","shortMessageHtmlLink":"changing Z3 loc depending in CMAKE_SYSTEM_NAME"}},{"before":"1081684bea4a6adab6a4333a31adb8ce1fad7f0c","after":"a76aec5332edf38e2030db6af30ded6050885a2b","ref":"refs/heads/master","pushedAt":"2023-04-03T10:30:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"adding Z3 location when compiling with macos","shortMessageHtmlLink":"adding Z3 location when compiling with macos"}},{"before":"86f068848bb588efb54d616efcd185448795631c","after":"1081684bea4a6adab6a4333a31adb8ce1fad7f0c","ref":"refs/heads/master","pushedAt":"2023-03-31T11:15:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixinf yaml indentation in github pipeline","shortMessageHtmlLink":"fixinf yaml indentation in github pipeline"}},{"before":"e11885ac2265bc047bd28b02ff994154889b319d","after":"86f068848bb588efb54d616efcd185448795631c","ref":"refs/heads/master","pushedAt":"2023-03-31T11:11:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"adding flags for properly locating z3++.h on macOS","shortMessageHtmlLink":"adding flags for properly locating z3++.h on macOS"}},{"before":"1553e3cdeff5ad1f6299b3b7cfde3d80a20a8394","after":"e11885ac2265bc047bd28b02ff994154889b319d","ref":"refs/heads/master","pushedAt":"2023-03-31T10:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing gcc 12.2.0 warnings","shortMessageHtmlLink":"fixing gcc 12.2.0 warnings"}},{"before":"1ed28aa6de6bc1d267b1f576cf85f689732a949c","after":"1553e3cdeff5ad1f6299b3b7cfde3d80a20a8394","ref":"refs/heads/master","pushedAt":"2023-03-29T12:24:48.799Z","pushType":"push","commitsCount":1,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"remocing FOL_V1","shortMessageHtmlLink":"remocing FOL_V1"}},{"before":"e1323a983d709a6e1933e4d39e55958dc0fa2a2f","after":"1ed28aa6de6bc1d267b1f576cf85f689732a949c","ref":"refs/heads/master","pushedAt":"2023-03-29T10:28:53.900Z","pushType":"push","commitsCount":119,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"updating README","shortMessageHtmlLink":"updating README"}},{"before":"f05c0d3610932b9812f1dd68183d8d687191ba1a","after":"1ed28aa6de6bc1d267b1f576cf85f689732a949c","ref":"refs/heads/feature/transform_opt","pushedAt":"2023-03-29T10:19:03.147Z","pushType":"push","commitsCount":2,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"updating README","shortMessageHtmlLink":"updating README"}},{"before":"d69243841539f087aa195ca8b472af1b6a39f473","after":"f05c0d3610932b9812f1dd68183d8d687191ba1a","ref":"refs/heads/feature/transform_opt","pushedAt":"2023-03-24T10:10:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"fixing regression tests","shortMessageHtmlLink":"fixing regression tests"}},{"before":"cce1b861dbc7e726aa3fc8d06d4a218289f8d498","after":"d69243841539f087aa195ca8b472af1b6a39f473","ref":"refs/heads/feature/transform_opt","pushedAt":"2023-03-15T13:01:59.971Z","pushType":"push","commitsCount":2,"pusher":{"login":"castrod","name":"David Castro","path":"/castrod","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5062721?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/transform_opt","shortMessageHtmlLink":"Merge branch 'master' into feature/transform_opt"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADN-faKQA","startCursor":null,"endCursor":null}},"title":"Activity · IDNI/TML"}