{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":499960127,"defaultBranch":"main","name":"pacti","ownerLogin":"pacti-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-04T23:46:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/112743373?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719448788.0","currentOid":""},"activityList":{"items":[{"before":"93276f6cb294dae5b862ed1432cef9761cebcb44","after":"b2374677e503fabe954a9f0d4af8913edc4470f9","ref":"refs/heads/proplogic","pushedAt":"2024-07-01T02:40:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Added simplification functionality for propositional term lists and fixed bug","shortMessageHtmlLink":"Added simplification functionality for propositional term lists and f…"}},{"before":"c1ae5ea7bdc5aca9fc2df5c2959fc393439b1756","after":"93276f6cb294dae5b862ed1432cef9761cebcb44","ref":"refs/heads/proplogic","pushedAt":"2024-06-30T23:02:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Tracking down a bug...","shortMessageHtmlLink":"Tracking down a bug..."}},{"before":"2728e8d1d0aeb8ae5f7ba71144c681666e2b16d7","after":"c1ae5ea7bdc5aca9fc2df5c2959fc393439b1756","ref":"refs/heads/proplogic","pushedAt":"2024-06-30T20:28:21.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Linting","shortMessageHtmlLink":"Linting"}},{"before":"f22c75425144c9cb0bbfca141dc2b35dee99f54c","after":"2728e8d1d0aeb8ae5f7ba71144c681666e2b16d7","ref":"refs/heads/proplogic","pushedAt":"2024-06-30T02:22:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Trimming file","shortMessageHtmlLink":"Trimming file"}},{"before":"5c57d82ece4b46d1e54bd331dabb4a3ff1517cc5","after":"f22c75425144c9cb0bbfca141dc2b35dee99f54c","ref":"refs/heads/proplogic","pushedAt":"2024-06-30T01:47:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"More updates...","shortMessageHtmlLink":"More updates..."}},{"before":"d58cdedd10807cf7fe49fede6a196048fcfc3167","after":"5c57d82ece4b46d1e54bd331dabb4a3ff1517cc5","ref":"refs/heads/proplogic","pushedAt":"2024-06-28T23:59:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Minor","shortMessageHtmlLink":"Minor"}},{"before":"dbaddb90dba51ed8a77ca0e729a410bfb4d95782","after":"d58cdedd10807cf7fe49fede6a196048fcfc3167","ref":"refs/heads/proplogic","pushedAt":"2024-06-28T01:03:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"m","shortMessageHtmlLink":"m"}},{"before":null,"after":"dbaddb90dba51ed8a77ca0e729a410bfb4d95782","ref":"refs/heads/proplogic","pushedAt":"2024-06-27T00:39:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Starting to support prop logic","shortMessageHtmlLink":"Starting to support prop logic"}},{"before":"022fa891b4184865f9fd75fda86ae556ec21f0f7","after":"2fd73407e05fdbafe1129b0e01016ac6b8c6d508","ref":"refs/heads/main","pushedAt":"2023-12-21T22:40:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Fixing spacing","shortMessageHtmlLink":"Fixing spacing"}},{"before":"28c6c18779142b993020ee108f3d14fae25c5b58","after":"022fa891b4184865f9fd75fda86ae556ec21f0f7","ref":"refs/heads/main","pushedAt":"2023-12-21T22:18:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Fixing documentation (it did not build)","shortMessageHtmlLink":"Fixing documentation (it did not build)"}},{"before":"b838588f7d2abb4498b113fb340223d221c6c88f","after":"9dc2a77c32a3df48d567d6efd6ec764cf9462b2e","ref":"refs/heads/new_tactic_fuel_system","pushedAt":"2023-11-14T22:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"m","shortMessageHtmlLink":"m"}},{"before":"8ba0e0cb2922cdea558a2b400e21e689632bef42","after":"b838588f7d2abb4498b113fb340223d221c6c88f","ref":"refs/heads/new_tactic_fuel_system","pushedAt":"2023-10-02T16:46:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"updated TACTICS_ORDER","shortMessageHtmlLink":"updated TACTICS_ORDER"}},{"before":null,"after":"8ba0e0cb2922cdea558a2b400e21e689632bef42","ref":"refs/heads/new_tactic_fuel_system","pushedAt":"2023-09-28T06:15:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Fuel_system example running","shortMessageHtmlLink":"Fuel_system example running"}},{"before":"69697b73e51c732888b180f49dfe44404faca323","after":"28c6c18779142b993020ee108f3d14fae25c5b58","ref":"refs/heads/main","pushedAt":"2023-09-08T22:21:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Passing code checks","shortMessageHtmlLink":"Passing code checks"}},{"before":"6cb8444c22f898f219577175a9c9279cb626f675","after":null,"ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-08T22:02:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"}},{"before":"7a1d27968b68914840e3fb26a5c19baa995adc1f","after":"69697b73e51c732888b180f49dfe44404faca323","ref":"refs/heads/main","pushedAt":"2023-09-08T22:02:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Performance benchmarking (#336)\n\n* Removed simplification from the iocontract constructor and created a new member function to provide this capability\r\n* Removing simplify functionality from var elim\r\n* Added a switch for whether or not to simplify during compose\r\n* PolyhedralContract.compose w/ simplify\r\n* added trivial tactic to bypass expensive tests & -1 to indicate unsuccessful tactics.\r\n* added internal instrumentation for tactic performance measurements.\r\n* Removed redundant copy\r\n* keep simplification in elim_vars_by_refining.\r\n\r\n---------\r\n\r\nCo-authored-by: Nicolas Rouquette <nfr@jpl.nasa.gov>","shortMessageHtmlLink":"Performance benchmarking (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1881020130\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pacti-org/pacti/issues/336\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pacti-org/pacti/pull/336/hovercard\" href=\"https://github.com/pacti-org/pacti/pull/336\">#336</a>)"}},{"before":"f902115a32fd6ab6414bf58e9cc081f3fbdbd3c6","after":"6cb8444c22f898f219577175a9c9279cb626f675","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-07T05:00:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"Example.","shortMessageHtmlLink":"Example."}},{"before":"67dd29fc44cd768d34341592ac1e716e252ad6a7","after":"f902115a32fd6ab6414bf58e9cc081f3fbdbd3c6","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-07T04:41:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"Support for parenthesized arithmetic expressions.","shortMessageHtmlLink":"Support for parenthesized arithmetic expressions."}},{"before":"b5efc9cf50877cac18eb3a349854487575802eab","after":"67dd29fc44cd768d34341592ac1e716e252ad6a7","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-06T04:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"more coverage.","shortMessageHtmlLink":"more coverage."}},{"before":"db245f28212c10a4a72364648daa60c9a9219a3c","after":"b5efc9cf50877cac18eb3a349854487575802eab","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-06T04:16:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"improved coverage for variable elimination.","shortMessageHtmlLink":"improved coverage for variable elimination."}},{"before":"033e861e0be8b94d1683cfa26c8cf7cd1fe47150","after":"db245f28212c10a4a72364648daa60c9a9219a3c","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-06T04:03:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"better test name.","shortMessageHtmlLink":"better test name."}},{"before":"73eaade5b068ad70199068156efb35f1a8377d46","after":"033e861e0be8b94d1683cfa26c8cf7cd1fe47150","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-06T04:02:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"more coverage.","shortMessageHtmlLink":"more coverage."}},{"before":"d6ed8bfcd5cdd45a28ee78db7906b6925685010e","after":"73eaade5b068ad70199068156efb35f1a8377d46","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-06T03:42:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"Some tests.","shortMessageHtmlLink":"Some tests."}},{"before":"690459637a330452205cab56d55c6d276bc8cf13","after":"d6ed8bfcd5cdd45a28ee78db7906b6925685010e","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-05T03:41:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"fixed all tests, quality checks, and type checks.","shortMessageHtmlLink":"fixed all tests, quality checks, and type checks."}},{"before":"e42bdf1646c2c0812b1c45a1b353e5e441068811","after":"690459637a330452205cab56d55c6d276bc8cf13","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-05T01:36:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NicolasRouquette","name":"Nicolas Rouquette","path":"/NicolasRouquette","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2359166?s=80&v=4"},"commit":{"message":"non-source updates for compatible API changes.","shortMessageHtmlLink":"non-source updates for compatible API changes."}},{"before":"4d1dde06a24f10e39762ece61fb0a4af41997319","after":"7a1d27968b68914840e3fb26a5c19baa995adc1f","ref":"refs/heads/main","pushedAt":"2023-09-04T01:54:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Update README.md\n\nUpdating pypi badge","shortMessageHtmlLink":"Update README.md"}},{"before":"ae3b55d4f80c2c76a4f03fce1480c9941b177b4f","after":"4d1dde06a24f10e39762ece61fb0a4af41997319","ref":"refs/heads/main","pushedAt":"2023-09-03T20:10:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Create python-publish.yml\n\nAdding action to publish package","shortMessageHtmlLink":"Create python-publish.yml"}},{"before":"fa654e19e71b54196bc8264c6d74a8d9ecad32ba","after":"8028bd46741bb8078e72c02d7de463829dd809e2","ref":"refs/heads/245-bug-multiple-composition","pushedAt":"2023-09-03T18:46:01.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Merge branch 'main' into 245-bug-multiple-composition","shortMessageHtmlLink":"Merge branch 'main' into 245-bug-multiple-composition"}},{"before":"502ad1a90c3e0b76c0857a84d3552e84aef88279","after":"e42bdf1646c2c0812b1c45a1b353e5e441068811","ref":"refs/heads/performance-benchmarking","pushedAt":"2023-09-03T18:45:42.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"},"commit":{"message":"Merge branch 'main' into performance-benchmarking","shortMessageHtmlLink":"Merge branch 'main' into performance-benchmarking"}},{"before":"8f5577ed9d2c3e30f29468ef82b617ca603a2295","after":null,"ref":"refs/heads/280-improve-test-coverage","pushedAt":"2023-09-03T18:43:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"iincer","name":"Inigo Incer","path":"/iincer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42584466?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEc0nwKwA","startCursor":null,"endCursor":null}},"title":"Activity · pacti-org/pacti"}