{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":431250460,"defaultBranch":"main","name":"lean-smt","ownerLogin":"ufmg-smite","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-23T20:54:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/93679751?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716820433.0","currentOid":""},"activityList":{"items":[{"before":"af0c495e022407d14186cca614018cb3cdddb0c5","after":null,"ref":"refs/heads/abdoo8080-patch-1","pushedAt":"2024-05-27T14:33:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"}},{"before":"3049bb11f9fcc0ac3a2fec646da805158bf9d887","after":"9dbfde40c19776fe64b4b3ba1554033a8d7382de","ref":"refs/heads/main","pushedAt":"2024-05-27T14:33:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update README.md (#106)\n\n* Update README.md\r\n\r\n* Update README.md","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319301201\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/106\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/106/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/106\">#106</a>)"}},{"before":"72751828b15b5d6c4567a03c6afd2ea28159ebc9","after":"af0c495e022407d14186cca614018cb3cdddb0c5","ref":"refs/heads/abdoo8080-patch-1","pushedAt":"2024-05-27T14:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"72751828b15b5d6c4567a03c6afd2ea28159ebc9","ref":"refs/heads/abdoo8080-patch-1","pushedAt":"2024-05-27T14:32:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"46c5a9eec31a4b4209be1af7c6c5a845cfd6ae0f","after":"3049bb11f9fcc0ac3a2fec646da805158bf9d887","ref":"refs/heads/main","pushedAt":"2024-05-27T11:41:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support MacOS AArch64. (#105)","shortMessageHtmlLink":"Support MacOS AArch64. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318789960\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/105\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/105/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/105\">#105</a>)"}},{"before":"b720017c218ce9d726d397f3c68654768cfe88cb","after":"46c5a9eec31a4b4209be1af7c6c5a845cfd6ae0f","ref":"refs/heads/main","pushedAt":"2024-05-27T10:10:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix bugs and support more Bool and quantifier rewrites. (#104)\n\n* Fix bugs and support more Bool and quantifier rewrites.\r\n\r\n* Switch to libstd++.","shortMessageHtmlLink":"Fix bugs and support more Bool and quantifier rewrites. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318737130\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/104/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/104\">#104</a>)"}},{"before":"73e3fdfa6fce81bb6010aa64c51a124ab963664d","after":"b720017c218ce9d726d397f3c68654768cfe88cb","ref":"refs/heads/main","pushedAt":"2024-05-25T08:02:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Only track fvars needed by translation. (#102)","shortMessageHtmlLink":"Only track fvars needed by translation. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316773464\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/102\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/102/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/102\">#102</a>)"}},{"before":"40caffdc4a7852d3e8df57bba38c6d257f9e7d6c","after":"73e3fdfa6fce81bb6010aa64c51a124ab963664d","ref":"refs/heads/main","pushedAt":"2024-05-23T06:59:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Split smt tactic into a meta program and a tactic driver. (#101)","shortMessageHtmlLink":"Split smt tactic into a meta program and a tactic driver. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312090089\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/101\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/101/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/101\">#101</a>)"}},{"before":"b28f919efb806ecd9994ac21ac43fa2fbdaea1a7","after":"40caffdc4a7852d3e8df57bba38c6d257f9e7d6c","ref":"refs/heads/main","pushedAt":"2024-05-23T03:47:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix and optimize reconstruction of proofs with quantifiers. (#99)\n\n* Fix and optimize reconstruction of proofs with quantifiers.\r\n\r\n* Update error message.","shortMessageHtmlLink":"Fix and optimize reconstruction of proofs with quantifiers. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311834708\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/99\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/99/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/99\">#99</a>)"}},{"before":"8e32551d2b06470ae6b1f27089cba580f2388508","after":"b28f919efb806ecd9994ac21ac43fa2fbdaea1a7","ref":"refs/heads/main","pushedAt":"2024-05-23T02:48:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix and optimize AC norm. (#98)\n\n* Fix and optimize AC norm.\r\n\r\n* Fix error message.","shortMessageHtmlLink":"Fix and optimize AC norm. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2311803884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/98\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/98/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/98\">#98</a>)"}},{"before":"04048378dabbb0c42862495f4e8e8574be57379e","after":"8e32551d2b06470ae6b1f27089cba580f2388508","ref":"refs/heads/main","pushedAt":"2024-05-14T08:42:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix and optimize resolution code. (#95)","shortMessageHtmlLink":"Fix and optimize resolution code. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2294609958\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/95\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/95/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/95\">#95</a>)"}},{"before":"fc8b5f9157743800b875ad687ca10cdc5c90dd3a","after":"04048378dabbb0c42862495f4e8e8574be57379e","ref":"refs/heads/main","pushedAt":"2024-05-09T00:36:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support bitblasted addition. (#93)","shortMessageHtmlLink":"Support bitblasted addition. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2286676765\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/93\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/93/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/93\">#93</a>)"}},{"before":"3e7268f4e95b9ad1aa4bc2bfcaa0ee484415a72c","after":"fc8b5f9157743800b875ad687ca10cdc5c90dd3a","ref":"refs/heads/main","pushedAt":"2024-05-09T00:06:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Cleanup tracing and profiling options. (#92)","shortMessageHtmlLink":"Cleanup tracing and profiling options. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2286652271\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/92\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/92/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/92\">#92</a>)"}},{"before":"0703bebd02a5f3bf8ad3b3f0167b8ef85ed2d6cd","after":null,"ref":"refs/heads/license","pushedAt":"2024-05-07T06:19:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"}},{"before":"65720b942f50a356e60fe1832bb1fe8bcdb20ddd","after":"3e7268f4e95b9ad1aa4bc2bfcaa0ee484415a72c","ref":"refs/heads/main","pushedAt":"2024-05-06T22:25:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support reconstruction of more BV terms. (#91)","shortMessageHtmlLink":"Support reconstruction of more BV terms. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281873372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/91\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/91/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/91\">#91</a>)"}},{"before":"f5a2b42fe3272ba714f595d2a15e83ea03ca17f7","after":"65720b942f50a356e60fe1832bb1fe8bcdb20ddd","ref":"refs/heads/main","pushedAt":"2024-05-06T22:08:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix and optimize smtCongr tactic. (#90)","shortMessageHtmlLink":"Fix and optimize smtCongr tactic. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281851631\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/90/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/90\">#90</a>)"}},{"before":"c066cc15c17d463ee226960b0c4eb0e2125fdf3a","after":"f5a2b42fe3272ba714f595d2a15e83ea03ca17f7","ref":"refs/heads/main","pushedAt":"2024-05-06T07:48:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support EXISTS_ELIM and DISTINCT_ELIM rules. (#89)\n\n* Support EXISTS_ELIM and DISTINCT_ELIM rules.\r\n\r\n* Simplify distinct definition.","shortMessageHtmlLink":"Support EXISTS_ELIM and DISTINCT_ELIM rules. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280246128\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/89\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/89/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/89\">#89</a>)"}},{"before":"52770084ab23f9778734ea008c8e9d266791ad56","after":"c066cc15c17d463ee226960b0c4eb0e2125fdf3a","ref":"refs/heads/main","pushedAt":"2024-04-29T23:11:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update LICENSE (#88)","shortMessageHtmlLink":"Update LICENSE (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270133019\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/88\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/88/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/88\">#88</a>)"}},{"before":"fa31f17c2a95f90dca58435e094984997f094f1b","after":null,"ref":"refs/heads/cvc5-version","pushedAt":"2024-04-29T22:59:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"}},{"before":"eabc058b4bc5890726dc8e3054b0bbbc948105f3","after":null,"ref":"refs/heads/ci","pushedAt":"2024-04-29T22:59:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"}},{"before":null,"after":"0703bebd02a5f3bf8ad3b3f0167b8ef85ed2d6cd","ref":"refs/heads/license","pushedAt":"2024-04-29T22:59:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update LICENSE","shortMessageHtmlLink":"Update LICENSE"}},{"before":"a936c7742558132077ff1906de0f0b6063c1c7c7","after":"52770084ab23f9778734ea008c8e9d266791ad56","ref":"refs/heads/main","pushedAt":"2024-04-29T22:55:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update ci.yml (#87)","shortMessageHtmlLink":"Update ci.yml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270082445\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/87\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/87/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/87\">#87</a>)"}},{"before":"c6541b7f698dd1b3a311a8e1fff65d6bb8e46d36","after":"a936c7742558132077ff1906de0f0b6063c1c7c7","ref":"refs/heads/main","pushedAt":"2024-04-29T22:21:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update lake-manifest.json (#86)","shortMessageHtmlLink":"Update lake-manifest.json (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270072842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/86\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/86/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/86\">#86</a>)"}},{"before":null,"after":"eabc058b4bc5890726dc8e3054b0bbbc948105f3","ref":"refs/heads/ci","pushedAt":"2024-04-29T22:15:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update ci.yml","shortMessageHtmlLink":"Update ci.yml"}},{"before":null,"after":"fa31f17c2a95f90dca58435e094984997f094f1b","ref":"refs/heads/cvc5-version","pushedAt":"2024-04-29T22:07:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update lake-manifest.json","shortMessageHtmlLink":"Update lake-manifest.json"}},{"before":"836ce3edfc809b6b4402a1411ce58843beeee007","after":null,"ref":"refs/heads/readme","pushedAt":"2024-04-29T20:29:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"}},{"before":"53d77a6b5c32240ce957599dff1c015b1710943d","after":"c6541b7f698dd1b3a311a8e1fff65d6bb8e46d36","ref":"refs/heads/main","pushedAt":"2024-04-29T20:29:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update README.md (#85)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269891837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/85\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/85/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/85\">#85</a>)"}},{"before":null,"after":"836ce3edfc809b6b4402a1411ce58843beeee007","ref":"refs/heads/readme","pushedAt":"2024-04-29T20:15:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"d43589aab6086781a37fa99c00b925381b952f64","after":"53d77a6b5c32240ce957599dff1c015b1710943d","ref":"refs/heads/main","pushedAt":"2024-04-29T14:20:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support linear Integer and Real arithmetic. (#84)\n\n* Bump Lean and cvc5 versions.\r\n\r\n* De-meta and_elim.\r\n\r\n* Support ACI_NORM proof rule.\r\n\r\n* Replace fvars with mvars in proof reconstruction.\r\n\r\n* Support linear Integer and Real arithmetic.\r\n\r\n* Fix CI.","shortMessageHtmlLink":"Support linear Integer and Real arithmetic. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262616150\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/84\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/84/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/84\">#84</a>)"}},{"before":"8e98543d23b0a2056cac4fd25c41cbb89345460b","after":"d43589aab6086781a37fa99c00b925381b952f64","ref":"refs/heads/main","pushedAt":"2024-03-07T08:33:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Move files around. (#82)","shortMessageHtmlLink":"Move files around. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2170240477\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ufmg-smite/lean-smt/issues/82\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ufmg-smite/lean-smt/pull/82/hovercard\" href=\"https://github.com/ufmg-smite/lean-smt/pull/82\">#82</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVP1sfgA","startCursor":null,"endCursor":null}},"title":"Activity · ufmg-smite/lean-smt"}