{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":83841312,"defaultBranch":"master","name":"ITSTools","ownerLogin":"lip6","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-03T21:06:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/26254250?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716395030.0","currentOid":""},"activityList":{"items":[{"before":"97dc73b656f5f21fd35ccfc76dc341db16fee72c","after":"84eb3155503abe13d0a47c8180cdc2282f832cf3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-23T10:42:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@59b13654409df7ee0c50990486f384932c9142f3 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 59b1365 ๐Ÿš€"}},{"before":"480250ea9ddd890fbda90876847d8e606286d12f","after":"59b13654409df7ee0c50990486f384932c9142f3","ref":"refs/heads/master","pushedAt":"2024-05-23T10:36:06.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"A shiny new kind of constraint appears ! Traps along path operational","shortMessageHtmlLink":"A shiny new kind of constraint appears ! Traps along path operational"}},{"before":"0d106941af862970a5d00a525f5c981cad97345f","after":"97dc73b656f5f21fd35ccfc76dc341db16fee72c","ref":"refs/heads/gh-pages","pushedAt":"2024-05-22T13:34:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@480250ea9ddd890fbda90876847d8e606286d12f ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 480250e ๐Ÿš€"}},{"before":"dda5e792e50b8595a6a518dcc861449d01cc91f9","after":"480250ea9ddd890fbda90876847d8e606286d12f","ref":"refs/heads/master","pushedAt":"2024-05-22T13:29:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"whitespace/source cleanup/format","shortMessageHtmlLink":"whitespace/source cleanup/format"}},{"before":"624a7943d802577f1b2e07a6422c5d0dc4838843","after":"dda5e792e50b8595a6a518dcc861449d01cc91f9","ref":"refs/heads/master","pushedAt":"2024-05-22T09:34:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"upgrade code to use the new incremental solver","shortMessageHtmlLink":"upgrade code to use the new incremental solver"}},{"before":"efe532f7f3f70d973cf0e274660bad6218e5f45f","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0","pushedAt":"2024-05-20T04:36:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"1cc10751c837670eeb3e21318766d2e87af61565","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1","pushedAt":"2024-05-20T04:36:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.5.0 to 4.6.1.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.5.0...v4.6.1)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1"}},{"before":"5629aa9f243492033fc6442464e720032bd26577","after":"0d106941af862970a5d00a525f5c981cad97345f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-14T13:43:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@624a7943d802577f1b2e07a6422c5d0dc4838843 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 624a794 ๐Ÿš€"}},{"before":"4652a22758cedaa54c81b390aa84be437b2fb173","after":"624a7943d802577f1b2e07a6422c5d0dc4838843","ref":"refs/heads/master","pushedAt":"2024-05-14T13:37:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"add and transmit a timeout flag","shortMessageHtmlLink":"add and transmit a timeout flag"}},{"before":"a7cbcac7577be5795563175fa43179dfefafe817","after":"5629aa9f243492033fc6442464e720032bd26577","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T15:28:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@4652a22758cedaa54c81b390aa84be437b2fb173 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 4652a22 ๐Ÿš€"}},{"before":"34f1645c4ec064cd6cd9f9b639120f2ccabe1730","after":"4652a22758cedaa54c81b390aa84be437b2fb173","ref":"refs/heads/master","pushedAt":"2024-05-05T15:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"behavior is now in the normal flow of reductions","shortMessageHtmlLink":"behavior is now in the normal flow of reductions"}},{"before":"d918b01e5ea0b1f77960a1ebacff2d7b81e74aef","after":"a7cbcac7577be5795563175fa43179dfefafe817","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T15:16:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@34f1645c4ec064cd6cd9f9b639120f2ccabe1730 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 34f1645 ๐Ÿš€"}},{"before":"e2865f6a45285a2962bc72b0e5910964bc73ade1","after":"34f1645c4ec064cd6cd9f9b639120f2ccabe1730","ref":"refs/heads/master","pushedAt":"2024-05-05T15:11:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"pulled up toPredicates ; TODO : refactor to external helper class","shortMessageHtmlLink":"pulled up toPredicates ; TODO : refactor to external helper class"}},{"before":"dd7b8de8f475f3441ff9d4d4aa09d15f25b7f5db","after":"d918b01e5ea0b1f77960a1ebacff2d7b81e74aef","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T14:29:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@e2865f6a45285a2962bc72b0e5910964bc73ade1 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ e2865f6 ๐Ÿš€"}},{"before":"8bd4d34a652b937b9cc244063f478368b5217c2e","after":"e2865f6a45285a2962bc72b0e5910964bc73ade1","ref":"refs/heads/master","pushedAt":"2024-05-05T14:24:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"refactoring to prepare TrapAlongRefiner + break every 20 traps found","shortMessageHtmlLink":"refactoring to prepare TrapAlongRefiner + break every 20 traps found"}},{"before":"c495d366d4394401dc7fe96353dd6b0546afda55","after":"dd7b8de8f475f3441ff9d4d4aa09d15f25b7f5db","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T13:21:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@8bd4d34a652b937b9cc244063f478368b5217c2e ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 8bd4d34 ๐Ÿš€"}},{"before":"328c203f6e2565b6162a8fd5e53e224434aba406","after":"8bd4d34a652b937b9cc244063f478368b5217c2e","ref":"refs/heads/master","pushedAt":"2024-05-05T13:16:18.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"disable MT in Z3","shortMessageHtmlLink":"disable MT in Z3"}},{"before":"f8ca71e04fee285da97d81712da68f358a929513","after":"c495d366d4394401dc7fe96353dd6b0546afda55","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T11:26:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@328c203f6e2565b6162a8fd5e53e224434aba406 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 328c203 ๐Ÿš€"}},{"before":"5a70f8252bc7f08305805d5c206a8ebc69746c3f","after":"328c203f6e2565b6162a8fd5e53e224434aba406","ref":"refs/heads/master","pushedAt":"2024-05-05T11:21:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"forcing use of vfork, having issues with jspawn","shortMessageHtmlLink":"forcing use of vfork, having issues with jspawn"}},{"before":"5c208f0d1a4d8eee6b7cca883d26e35a48b4c553","after":"f8ca71e04fee285da97d81712da68f358a929513","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T20:22:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@5a70f8252bc7f08305805d5c206a8ebc69746c3f ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 5a70f82 ๐Ÿš€"}},{"before":"e156bf902ec3c43594fc0962b90a880aa8b4b9b4","after":"5a70f8252bc7f08305805d5c206a8ebc69746c3f","ref":"refs/heads/master","pushedAt":"2024-05-04T20:17:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"drop debug log for production","shortMessageHtmlLink":"drop debug log for production"}},{"before":"04c7be8cb88dc68f8cb8299ccf6343070a6842ab","after":"5c208f0d1a4d8eee6b7cca883d26e35a48b4c553","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T19:24:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@e156bf902ec3c43594fc0962b90a880aa8b4b9b4 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ e156bf9 ๐Ÿš€"}},{"before":"143f7e08f94e29011069c5c90cc5ad6793d49fd3","after":"e156bf902ec3c43594fc0962b90a880aa8b4b9b4","ref":"refs/heads/master","pushedAt":"2024-05-04T19:19:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"use parikh witness","shortMessageHtmlLink":"use parikh witness"}},{"before":"1dcabd0f49b574acafcba3471334e1f0543a35a3","after":"04c7be8cb88dc68f8cb8299ccf6343070a6842ab","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T15:51:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@143f7e08f94e29011069c5c90cc5ad6793d49fd3 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 143f7e0 ๐Ÿš€"}},{"before":"4275422ed22069e35514905999ba62705a446d45","after":"143f7e08f94e29011069c5c90cc5ad6793d49fd3","ref":"refs/heads/master","pushedAt":"2024-05-04T15:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"cache place indexes, it is important for large models.","shortMessageHtmlLink":"cache place indexes, it is important for large models."}},{"before":"548b38ba914c345887bd6835147248abedcb88c7","after":"1dcabd0f49b574acafcba3471334e1f0543a35a3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T15:31:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@4275422ed22069e35514905999ba62705a446d45 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 4275422 ๐Ÿš€"}},{"before":"3e724eceb522394ce4c776db22134347497680d9","after":"4275422ed22069e35514905999ba62705a446d45","ref":"refs/heads/master","pushedAt":"2024-05-04T15:25:22.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"SolverState stores min + be more optimistic with Real solutions","shortMessageHtmlLink":"SolverState stores min + be more optimistic with Real solutions"}},{"before":"fd14c6e17f7d9fa5da35a884842034044c298e0b","after":"548b38ba914c345887bd6835147248abedcb88c7","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T12:29:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@3e724eceb522394ce4c776db22134347497680d9 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 3e724ec ๐Ÿš€"}},{"before":"2f5a1496a656cc135569e9ce2d0d9eb74acc0499","after":"3e724eceb522394ce4c776db22134347497680d9","ref":"refs/heads/master","pushedAt":"2024-05-04T12:24:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"adding a upper bound at 1 if net is safe","shortMessageHtmlLink":"adding a upper bound at 1 if net is safe"}},{"before":"56ae235d489a43bd3ab9b87edd61f80e0bafb777","after":"fd14c6e17f7d9fa5da35a884842034044c298e0b","ref":"refs/heads/gh-pages","pushedAt":"2024-05-03T16:08:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ lip6/ITSTools@2f5a1496a656cc135569e9ce2d0d9eb74acc0499 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 2f5a149 ๐Ÿš€"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUePKTAA","startCursor":null,"endCursor":null}},"title":"Activity ยท lip6/ITSTools"}