{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":240921026,"defaultBranch":"master","name":"souffle-addon","ownerLogin":"plast-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-16T16:05:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3448969?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725024426.0","currentOid":""},"activityList":{"items":[{"before":"f8526cf5d64d50e970702c1bc04bc1d7cf90ce7a","after":null,"ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-30T13:27:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"}},{"before":"9fd6d8c2fe0454b710b8104c72d975779a1b501e","after":"a0df8836d01840303d8d70e5ad4d9045827cba7c","ref":"refs/heads/master","pushedAt":"2024-08-30T09:46:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Fix compilation for 64bit souffle wordsizes, add build and test action (#3)\n\n* Add build and test action\r\n\r\n* Enhance new action\r\n\r\n* Build and test with souffle package from apt\r\n\r\n* Try different souffle version\r\n\r\n* Try different ubuntu image\r\n\r\n* Try to get correct z3 package\r\n\r\n* another try\r\n\r\n* Add example in lists_test.dl that breaks locally\r\n\r\n* Download souffle 2.4.1 deb file as it's missing in apt. Remove useless installs.\r\n\r\n* Compile functors with -fopenmp\r\n\r\n* Run souffle --version in both configs\r\n\r\n* Parametrize Makefile to work for 32 or 64 bit souffle word sizes.\r\n\r\n* Polish gh action jobs\r\n\r\n* try to get action to run\r\n\r\n* minor","shortMessageHtmlLink":"Fix compilation for 64bit souffle wordsizes, add build and test action ("}},{"before":"f5d045babfbb21ff0a1dc46c6aa78ada27cd12bc","after":"f8526cf5d64d50e970702c1bc04bc1d7cf90ce7a","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-30T09:40:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"b0f34b7d4de7e317e52060ac9293c97657a5eb40","after":"f5d045babfbb21ff0a1dc46c6aa78ada27cd12bc","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-30T09:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"try to get action to run","shortMessageHtmlLink":"try to get action to run"}},{"before":"e234872197bfcce839103a162eb9d97a7c54f40b","after":"b0f34b7d4de7e317e52060ac9293c97657a5eb40","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-30T09:38:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Polish gh action jobs","shortMessageHtmlLink":"Polish gh action jobs"}},{"before":"9b7ba243fc3c3e2cf0392a869cb3710b75e5e61d","after":"e234872197bfcce839103a162eb9d97a7c54f40b","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-30T09:28:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Parametrize Makefile to work for 32 or 64 bit souffle word sizes.","shortMessageHtmlLink":"Parametrize Makefile to work for 32 or 64 bit souffle word sizes."}},{"before":"0a1af7d13da675a1a74123577637c728917449b2","after":"9b7ba243fc3c3e2cf0392a869cb3710b75e5e61d","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T16:20:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Run souffle --version in both configs","shortMessageHtmlLink":"Run souffle --version in both configs"}},{"before":"17d821165d8ce85769ef01324e45a35c8fb860ea","after":"0a1af7d13da675a1a74123577637c728917449b2","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T16:19:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Compile functors with -fopenmp","shortMessageHtmlLink":"Compile functors with -fopenmp"}},{"before":"f5f3b6c870e0cfaa5ec2107ae3e0c5630cd1b8cb","after":"17d821165d8ce85769ef01324e45a35c8fb860ea","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T09:56:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Download souffle 2.4.1 deb file as it's missing in apt. Remove useless installs.","shortMessageHtmlLink":"Download souffle 2.4.1 deb file as it's missing in apt. Remove useles…"}},{"before":"3f34399570f9ba41ae39d1312c1be961bebce6b4","after":"f5f3b6c870e0cfaa5ec2107ae3e0c5630cd1b8cb","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T09:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add example in lists_test.dl that breaks locally","shortMessageHtmlLink":"Add example in lists_test.dl that breaks locally"}},{"before":"ac719262b6275f1315a9c972311e7e64250d4be9","after":"3f34399570f9ba41ae39d1312c1be961bebce6b4","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T09:12:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"another try","shortMessageHtmlLink":"another try"}},{"before":"cfc6e5ee008f5e6720dd825bc163fb548796aa33","after":"ac719262b6275f1315a9c972311e7e64250d4be9","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T09:10:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Try to get correct z3 package","shortMessageHtmlLink":"Try to get correct z3 package"}},{"before":"8ee45522d9d14c989d37460608b2f8a5590ccbe9","after":"cfc6e5ee008f5e6720dd825bc163fb548796aa33","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-28T08:50:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Try different ubuntu image","shortMessageHtmlLink":"Try different ubuntu image"}},{"before":"359129757bcc9e30da2f88e711d9ef5f553dc43b","after":"8ee45522d9d14c989d37460608b2f8a5590ccbe9","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-26T14:37:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Try different souffle version","shortMessageHtmlLink":"Try different souffle version"}},{"before":"0c4082d2e8508d7acf9f538947ebccc75150e6ae","after":"359129757bcc9e30da2f88e711d9ef5f553dc43b","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-26T14:27:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Build and test with souffle package from apt","shortMessageHtmlLink":"Build and test with souffle package from apt"}},{"before":"388beb6a102c5b0b9c92ca505d9443f52d4d6fbe","after":"0c4082d2e8508d7acf9f538947ebccc75150e6ae","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-26T14:23:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Enhance new action","shortMessageHtmlLink":"Enhance new action"}},{"before":null,"after":"388beb6a102c5b0b9c92ca505d9443f52d4d6fbe","ref":"refs/heads/build-and-test-action","pushedAt":"2024-08-26T14:14:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Add build and test action","shortMessageHtmlLink":"Add build and test action"}},{"before":"f5796f6825e2513442bf550b99414f04035eedd0","after":"9fd6d8c2fe0454b710b8104c72d975779a1b501e","ref":"refs/heads/master","pushedAt":"2024-06-11T13:15:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Also normalize the output of keccak_256.","shortMessageHtmlLink":"Also normalize the output of keccak_256."}},{"before":"2fba4a9620d12758820bc96865b108ec8bf6d1e3","after":"f5796f6825e2513442bf550b99414f04035eedd0","ref":"refs/heads/master","pushedAt":"2024-06-11T13:03:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"normalize output of hex_keccak_256","shortMessageHtmlLink":"normalize output of hex_keccak_256"}},{"before":"4e408dbc42a0457a7b606ca3dd2a51457f847fb0","after":"8d78881b689b31ba630002279d5d1ae3016fe64b","ref":"refs/heads/z3-functors","pushedAt":"2024-06-10T13:24:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"removed empty lines","shortMessageHtmlLink":"removed empty lines"}},{"before":"923d8ecc7b7dc7b3405f733aef08003a1042ed84","after":"4e408dbc42a0457a7b606ca3dd2a51457f847fb0","ref":"refs/heads/z3-functors","pushedAt":"2024-06-10T13:20:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"print_to_smt_style renaming + implemented inline_user_defined_function","shortMessageHtmlLink":"print_to_smt_style renaming + implemented inline_user_defined_function"}},{"before":"5b94db777c8563b8b76be6f9d354773a62e56b06","after":"923d8ecc7b7dc7b3405f733aef08003a1042ed84","ref":"refs/heads/z3-functors","pushedAt":"2024-05-28T12:10:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"caching for the two main functors,\nfixed some readability issues","shortMessageHtmlLink":"caching for the two main functors,"}},{"before":"e3c0b3d011da7de5960c3ed65d0161db9165ecc4","after":"5b94db777c8563b8b76be6f9d354773a62e56b06","ref":"refs/heads/z3-functors","pushedAt":"2024-05-27T12:33:39.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"define_functions_prologue","shortMessageHtmlLink":"define_functions_prologue"}},{"before":"64a0ede32586d12afc1211291087d4762ccdc5b2","after":"2fba4a9620d12758820bc96865b108ec8bf6d1e3","ref":"refs/heads/master","pushedAt":"2024-05-22T12:45:43.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"Merge pull request #2 from plast-lab/z3-functors\n\nZ3 functors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2310445176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/plast-lab/souffle-addon/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/plast-lab/souffle-addon/pull/2/hovercard\" href=\"https://github.com/plast-lab/souffle-addon/pull/2\">#2</a> from plast-lab/z3-functors"}},{"before":"8e2c7cae47b55fd3af38d806f7d954e08c2df2f6","after":"e3c0b3d011da7de5960c3ed65d0161db9165ecc4","ref":"refs/heads/z3-functors","pushedAt":"2024-05-20T18:34:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"fix crash for some z3 versions","shortMessageHtmlLink":"fix crash for some z3 versions"}},{"before":"d1f50fc1b60f3da18870550a14f52945ec55978c","after":"64a0ede32586d12afc1211291087d4762ccdc5b2","ref":"refs/heads/master","pushedAt":"2024-05-18T12:16:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanniss","name":"Yannis Smaragdakis","path":"/yanniss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4835915?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a0ce84aaffd0468a907202785948159697179fce","after":"8e2c7cae47b55fd3af38d806f7d954e08c2df2f6","ref":"refs/heads/z3-functors","pushedAt":"2024-05-18T10:54:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanniss","name":"Yannis Smaragdakis","path":"/yanniss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4835915?s=80&v=4"},"commit":{"message":"set debug to false","shortMessageHtmlLink":"set debug to false"}},{"before":null,"after":"a0ce84aaffd0468a907202785948159697179fce","ref":"refs/heads/z3-functors","pushedAt":"2024-05-08T15:11:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Panagiotis5","name":null,"path":"/Panagiotis5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23522344?s=80&v=4"},"commit":{"message":"z3 functors first commit","shortMessageHtmlLink":"z3 functors first commit"}},{"before":"33fd2051585f0be4955fecce6f4f7e82e65872d8","after":"d1f50fc1b60f3da18870550a14f52945ec55978c","ref":"refs/heads/master","pushedAt":"2024-02-12T16:26:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"add license","shortMessageHtmlLink":"add license"}},{"before":"ed4f2c02d6e1e80a0d8f5cf056e4920fe1181fc0","after":"33fd2051585f0be4955fecce6f4f7e82e65872d8","ref":"refs/heads/master","pushedAt":"2024-01-16T12:42:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sifislag","name":"Sifis Lagouvardos","path":"/sifislag","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4061051?s=80&v=4"},"commit":{"message":"fix bug in list_append","shortMessageHtmlLink":"fix bug in list_append"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMFQxMzoyNzowNi4wMDAwMDBazwAAAASoso4y","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xNlQxMjo0MjowNy4wMDAwMDBazwAAAAPg-vbk"}},"title":"Activity · plast-lab/souffle-addon"}