{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":356686425,"defaultBranch":"main","name":"awesome-rust-formalized-reasoning","ownerLogin":"newca12","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-04-10T20:24:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/543542?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1618086248.100954","currentOid":""},"activityList":{"items":[{"before":"c3b064bdc4450703b5c154dd87ad3485fed9406c","after":"3923a2ac498d19f458e47d34601ea8afbbfddf06","ref":"refs/heads/main","pushedAt":"2024-05-30T15:43:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add 'Lambda Shell'","shortMessageHtmlLink":"Add 'Lambda Shell'"}},{"before":"08ddb12c5a22cea0a382234e15b304a52d60ebc2","after":"c3b064bdc4450703b5c154dd87ad3485fed9406c","ref":"refs/heads/main","pushedAt":"2024-05-30T07:54:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add bootfrost","shortMessageHtmlLink":"Add bootfrost"}},{"before":"c105ade59baf5c0bd4eea58b36fcd458107c420c","after":"08ddb12c5a22cea0a382234e15b304a52d60ebc2","ref":"refs/heads/main","pushedAt":"2024-05-28T16:26:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add paper 'A hybrid approach to semi-automated Rust verification'","shortMessageHtmlLink":"Add paper 'A hybrid approach to semi-automated Rust verification'"}},{"before":"21b7aa12145d124b4d8b12f89b31ecb1d47e33cb","after":"c105ade59baf5c0bd4eea58b36fcd458107c420c","ref":"refs/heads/main","pushedAt":"2024-05-24T21:19:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'Some notes on Rust, mutable aliasing and formal verification'","shortMessageHtmlLink":"Add blog post 'Some notes on Rust, mutable aliasing and formal verifi…"}},{"before":"924a34e72eb621f360bf2f9b26079c63114c1adf","after":"21b7aa12145d124b4d8b12f89b31ecb1d47e33cb","ref":"refs/heads/main","pushedAt":"2024-05-19T07:51:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add rustsat-ipasir crate","shortMessageHtmlLink":"Add rustsat-ipasir crate"}},{"before":"a7a0d3eb3f44099f6363c9b0bfadcc54b87ac747","after":"924a34e72eb621f360bf2f9b26079c63114c1adf","ref":"refs/heads/main","pushedAt":"2024-05-05T21:31:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'Cracking the Cryptic (with Z3 and Rust)'","shortMessageHtmlLink":"Add blog post 'Cracking the Cryptic (with Z3 and Rust)'"}},{"before":"7ca906a8bf8c735661191812a940b96f8ffe4b40","after":"a7a0d3eb3f44099f6363c9b0bfadcc54b87ac747","ref":"refs/heads/main","pushedAt":"2024-05-01T09:21:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add cplex-rs, good_lp, highs-sys, lpsolve, rplex, russcip & scip-sys","shortMessageHtmlLink":"Add cplex-rs, good_lp, highs-sys, lpsolve, rplex, russcip & scip-sys"}},{"before":"8878376e693dcf7257993573e6d9f0f947dda83d","after":"7ca906a8bf8c735661191812a940b96f8ffe4b40","ref":"refs/heads/main","pushedAt":"2024-05-01T07:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add ellp in new 'Solver MPS compliant' section","shortMessageHtmlLink":"Add ellp in new 'Solver MPS compliant' section"}},{"before":"49b315e4689f1cd6a3315d0f1f593138667b15c3","after":"8878376e693dcf7257993573e6d9f0f947dda83d","ref":"refs/heads/main","pushedAt":"2024-04-20T16:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"New home & reattribution for Metamath-knife","shortMessageHtmlLink":"New home & reattribution for Metamath-knife"}},{"before":"0859cb82631c2ea7e46868bc6a712659510fb6f4","after":"49b315e4689f1cd6a3315d0f1f593138667b15c3","ref":"refs/heads/main","pushedAt":"2024-04-07T07:34:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Cosette Prover has been renamed to QED Prover","shortMessageHtmlLink":"Cosette Prover has been renamed to QED Prover"}},{"before":"3f24bb70b844fee3218a373388ce13f349da95ec","after":"0859cb82631c2ea7e46868bc6a712659510fb6f4","ref":"refs/heads/main","pushedAt":"2024-03-27T18:46:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Relog","shortMessageHtmlLink":"Add Relog"}},{"before":"bd82e44cb3e8e9eb1ed6e89e6876f992ec54c8ed","after":"3f24bb70b844fee3218a373388ce13f349da95ec","ref":"refs/heads/main","pushedAt":"2024-03-16T16:20:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Tag a bunch of inactive projects","shortMessageHtmlLink":"Tag a bunch of inactive projects"}},{"before":"acbb755bd2fa366d4713a24e0749764679852d13","after":"bd82e44cb3e8e9eb1ed6e89e6876f992ec54c8ed","ref":"refs/heads/main","pushedAt":"2024-03-04T18:46:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Croissant, sat_toasty_helper, smtlib-syntax & VeriFactory","shortMessageHtmlLink":"Add Croissant, sat_toasty_helper, smtlib-syntax & VeriFactory"}},{"before":"e85fa6f351285d651d55fc1155d98373917c63ba","after":"acbb755bd2fa366d4713a24e0749764679852d13","ref":"refs/heads/main","pushedAt":"2024-02-22T14:25:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add nyaya","shortMessageHtmlLink":"Add nyaya"}},{"before":"2209759c4cee728a4dc4cdd0f2b67eab32ff77da","after":"e85fa6f351285d651d55fc1155d98373917c63ba","ref":"refs/heads/main","pushedAt":"2024-02-02T22:06:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add coq-of-rust, 'Formal Land', 'Lambda Calculus Parser', raa_tt & type-theory","shortMessageHtmlLink":"Add coq-of-rust, 'Formal Land', 'Lambda Calculus Parser', raa_tt & ty…"}},{"before":"c429029cfec114007a679300b7fa92b8b42c662c","after":"2209759c4cee728a4dc4cdd0f2b67eab32ff77da","ref":"refs/heads/main","pushedAt":"2024-01-22T08:24:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Move theorem-prover-rs in 'TPTP compliant' section","shortMessageHtmlLink":"Move theorem-prover-rs in 'TPTP compliant' section"}},{"before":"0c4bd62b60a3502337787879c0c9ca10bb6586a7","after":"c429029cfec114007a679300b7fa92b8b42c662c","ref":"refs/heads/main","pushedAt":"2024-01-18T09:58:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add theorem-prover","shortMessageHtmlLink":"Add theorem-prover"}},{"before":"609dd0ba25479b49dbb5d21e9c4bc1be9c990e08","after":"0c4bd62b60a3502337787879c0c9ca10bb6586a7","ref":"refs/heads/main","pushedAt":"2024-01-14T14:57:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add isabelle-client","shortMessageHtmlLink":"Add isabelle-client"}},{"before":"c29bf7b69230559c85f848cd9b7d31f3491ce2ba","after":"609dd0ba25479b49dbb5d21e9c4bc1be9c990e08","ref":"refs/heads/main","pushedAt":"2024-01-08T22:20:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add highs","shortMessageHtmlLink":"Add highs"}},{"before":"872b54d3a03a562598e9afedcd21cea66f1f8ce8","after":"c29bf7b69230559c85f848cd9b7d31f3491ce2ba","ref":"refs/heads/main","pushedAt":"2024-01-06T10:04:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"lp_parser_rs & mps","shortMessageHtmlLink":"lp_parser_rs & mps"}},{"before":"30f960dec2010a4a441701a07a7342215caa0aba","after":"872b54d3a03a562598e9afedcd21cea66f1f8ce8","ref":"refs/heads/main","pushedAt":"2023-12-24T16:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Pun Calculus","shortMessageHtmlLink":"Add Pun Calculus"}},{"before":"6e0c589ea4a192673d6d3a8373978c6915531397","after":"30f960dec2010a4a441701a07a7342215caa0aba","ref":"refs/heads/main","pushedAt":"2023-12-10T08:57:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add pblib-rs & smt_sb-rs","shortMessageHtmlLink":"Add pblib-rs & smt_sb-rs"}},{"before":"a9306ee8bf57640d97d8ceabaa44440cb991cdf1","after":"6e0c589ea4a192673d6d3a8373978c6915531397","ref":"refs/heads/main","pushedAt":"2023-11-29T18:26:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Carcara","shortMessageHtmlLink":"Add Carcara"}},{"before":"f615603e1bb06b346084306f8f2d6dd5a68354a6","after":"a9306ee8bf57640d97d8ceabaa44440cb991cdf1","ref":"refs/heads/main","pushedAt":"2023-11-18T13:21:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add paper 'Verification of a Rust Implementation of Knuth's Dancing Links using ACL2'","shortMessageHtmlLink":"Add paper 'Verification of a Rust Implementation of Knuth's Dancing L…"}},{"before":"1aa7c79f1ecb3004759f2d32bf6d8335da2b3c33","after":"f615603e1bb06b346084306f8f2d6dd5a68354a6","ref":"refs/heads/main","pushedAt":"2023-11-09T21:52:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'How Open Source Projects are Using Kani to Write Better Software in Rust'","shortMessageHtmlLink":"Add blog post 'How Open Source Projects are Using Kani to Write Bette…"}},{"before":"0c58a33bd7cf1c009e87b233b31fd5fbb91612d1","after":"1aa7c79f1ecb3004759f2d32bf6d8335da2b3c33","ref":"refs/heads/main","pushedAt":"2023-11-08T18:09:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add research paper for egglog","shortMessageHtmlLink":"Add research paper for egglog"}},{"before":"26b4ae023c5455892e04b60c003b97b15bae65fd","after":"0c58a33bd7cf1c009e87b233b31fd5fbb91612d1","ref":"refs/heads/main","pushedAt":"2023-11-05T10:20:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add smtlib","shortMessageHtmlLink":"Add smtlib"}},{"before":"c088339676685d08eb2a600282854a41cbe37f48","after":"26b4ae023c5455892e04b60c003b97b15bae65fd","ref":"refs/heads/main","pushedAt":"2023-11-04T13:20:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add sat-solver","shortMessageHtmlLink":"Add sat-solver"}},{"before":"2deab4faabea486cd326820eef0621b0d05988b8","after":"c088339676685d08eb2a600282854a41cbe37f48","ref":"refs/heads/main","pushedAt":"2023-10-22T09:10:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add beta & implies","shortMessageHtmlLink":"Add beta & implies"}},{"before":"d4c0ac37fed4d0088e04b0405315a7f7a1e27e6e","after":"2deab4faabea486cd326820eef0621b0d05988b8","ref":"refs/heads/main","pushedAt":"2023-10-13T17:36:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add logic-parser","shortMessageHtmlLink":"Add logic-parser"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWC8hdAA","startCursor":null,"endCursor":null}},"title":"Activity · newca12/awesome-rust-formalized-reasoning"}