{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":330210904,"defaultBranch":"master","name":"symqemu","ownerLogin":"eurecom-s3","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-16T16:54:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3787309?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715354102.0","currentOid":""},"activityList":{"items":[{"before":"6db2f6e766555e3aed382921bdd593c2171190fb","after":"92d5e1b9ff7b788550177bbbde145e4c109d903d","ref":"refs/heads/master","pushedAt":"2024-08-13T12:07:04.000Z","pushType":"pr_merge","commitsCount":102,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update to QEMU v9.0.2 (#63)\n\nUpdating to QEMU v9.0.2 by @rmalmain","shortMessageHtmlLink":"Update to QEMU v9.0.2 (#63)"}},{"before":"40f0b4c3a9c0e21327e9b20bfc83d3959ce90a9c","after":"6db2f6e766555e3aed382921bdd593c2171190fb","ref":"refs/heads/master","pushedAt":"2024-05-15T02:13:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":" SymQEMU tests: on test error, print differences of generated test case (#60)\n\n* add colored hexdump diff of different test cases generated\r\n* add new package dependencies to docker","shortMessageHtmlLink":" SymQEMU tests: on test error, print differences of generated test ca…"}},{"before":"33cd24f4c54062f011bb3fa2439578ad3bd4d69b","after":"40f0b4c3a9c0e21327e9b20bfc83d3959ce90a9c","ref":"refs/heads/master","pushedAt":"2024-05-14T15:29:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add a docker-compose file for development (#61)\n\n* Add docker-compose for SymQEMU\r\n* Add docker compose information to readme.\r\n* Remove $ in doc for easy cut and paste\r\n\r\n---------\r\n\r\nCo-authored-by: Aurelien Francillon ","shortMessageHtmlLink":"Add a docker-compose file for development (#61)"}},{"before":"76de0b94635062885808681cb79f8cea06a0aaca","after":"33cd24f4c54062f011bb3fa2439578ad3bd4d69b","ref":"refs/heads/master","pushedAt":"2024-05-14T07:42:21.000Z","pushType":"pr_merge","commitsCount":2921,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update to QEMU v9.0.0 (#58)\n\n* Merge QEMU tag 'v9.0.0' \r\n* accel/tcg/tcg-runtime-sym-vec.c: replace VLAs by heap allocations\r\n* tcg/tcg-op-ldst.c: use 'plugin_maybe_preserve_addr' to fix a bug during symbolic load\r\n* tests/symqemu/binaries/printf/expected_outputs: replace invalid test cases with the new version of QEMU","shortMessageHtmlLink":"Update to QEMU v9.0.0 (#58)"}},{"before":null,"after":"30cc998da20760f88fc28cc589bafa2d6058c082","ref":"refs/heads/manual_bisect_bad_to_good","pushedAt":"2024-05-10T15:15:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rmalmain","name":"Romain Malmain","path":"/rmalmain","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1078324?s=80&v=4"},"commit":{"message":"turning bad into good again","shortMessageHtmlLink":"turning bad into good again"}},{"before":"40fdc0d4f988da33f1af5a331ea1994740a7447a","after":"932ba7d829d099d823cce59bc36369a057c9b002","ref":"refs/heads/manual_bisect_good","pushedAt":"2024-05-09T15:33:42.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Merge commit '3497f1646f' into find_diff","shortMessageHtmlLink":"Merge commit '3497f1646f' into find_diff"}},{"before":"6ed861a83f3d078bd297e4cadb90102ebabb5c6f","after":"5fa6d55c03c355f6066e84e5199b336cfc34e898","ref":"refs/heads/manual_bisect_bad","pushedAt":"2024-05-09T15:33:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Merge commit 'd4f611711a' into find_diff","shortMessageHtmlLink":"Merge commit 'd4f611711a' into find_diff"}},{"before":null,"after":"6ed861a83f3d078bd297e4cadb90102ebabb5c6f","ref":"refs/heads/manual_bisect_bad","pushedAt":"2024-05-06T10:07:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Merge commit '24c0573bb0' into manual_bisect","shortMessageHtmlLink":"Merge commit '24c0573bb0' into manual_bisect"}},{"before":null,"after":"40fdc0d4f988da33f1af5a331ea1994740a7447a","ref":"refs/heads/manual_bisect_good","pushedAt":"2024-05-06T10:07:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Merge commit 'a71e0b246a' into manual_bisect","shortMessageHtmlLink":"Merge commit 'a71e0b246a' into manual_bisect"}},{"before":"536bcdb5af7e086417445cce790ca14dae0e58b2","after":null,"ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-05-05T16:07:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":null,"after":"536bcdb5af7e086417445cce790ca14dae0e58b2","ref":"refs/heads/aurelf-patch-1","pushedAt":"2024-05-05T15:56:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update main.yml","shortMessageHtmlLink":"Update main.yml"}},{"before":"45b470044f36f5c26725ba8237e03a995b184958","after":"76de0b94635062885808681cb79f8cea06a0aaca","ref":"refs/heads/master","pushedAt":"2024-04-25T12:17:11.000Z","pushType":"pr_merge","commitsCount":87,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update to QEMU v8.2.2 (#57)\n\nUpdated to QEMU v8.2.2 and some fixes. \r\nThe compilation of `arm-linux-user` and `aarch64-linux-user` and i386 does not work because of the symqemu unit tests not linking correctly. Will be addressed in other PRs.","shortMessageHtmlLink":"Update to QEMU v8.2.2 (#57)"}},{"before":"ba782cbc8e9ea9e0c221bf9d4484b0f034136ef0","after":"45b470044f36f5c26725ba8237e03a995b184958","ref":"refs/heads/master","pushedAt":"2024-04-09T15:50:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"SymCC Runtime Integration (#55)\n\n* Removed SymCC submodule & added SymCC-RT submodule.\r\n* SymCC Runtime Integration\r\n* Option to change SymCC RT backend\r\n* Option to compile SymCC RT statically and dynamically\r\n* Update working distributions\r\n* Adapt Dockerfile and GitHub workflow.\r\n* Make it possible to build against all possible LLVM versions as a command line switch\r\nTODO: LLVM 18 is not currently working...\r\n\r\n---------\r\n\r\nCo-authored-by: Sebastian Poeplau \r\nCo-authored-by: Aurelien Francillon ","shortMessageHtmlLink":"SymCC Runtime Integration (#55)"}},{"before":"7d5e0e5df4d0fe59730de2e87a7b1aa20d7d5a6b","after":null,"ref":"refs/heads/use_symcc_runtime","pushedAt":"2024-04-05T18:47:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":null,"after":"7d5e0e5df4d0fe59730de2e87a7b1aa20d7d5a6b","ref":"refs/heads/use_symcc_runtime","pushedAt":"2024-04-05T18:46:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix GitHub action to clone subprojects/symcc-rt for tests","shortMessageHtmlLink":"Fix GitHub action to clone subprojects/symcc-rt for tests"}},{"before":"a6b298f74dd24f54afdb3a0fbc6701594ff6d3b1","after":"ba782cbc8e9ea9e0c221bf9d4484b0f034136ef0","ref":"refs/heads/master","pushedAt":"2024-03-21T10:25:59.000Z","pushType":"pr_merge","commitsCount":3490,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update SymQEMU to v8.2.1 (#48)\n\nMerge with QEMU version v8.2.1\r\n\r\nAlso added :\r\n- Symbolic handling for `movcond`.\r\n- Updated moved\r\n- Minor fixes","shortMessageHtmlLink":"Update SymQEMU to v8.2.1 (#48)"}},{"before":"adc2711b86ae8ece99864dccf39e471d1c7b8e24","after":"a6b298f74dd24f54afdb3a0fbc6701594ff6d3b1","ref":"refs/heads/master","pushedAt":"2024-03-20T16:47:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Support for i128 tcg temp (#51) + add -Werror and fix compilation warnings \n\n* Added testcase and binary for i128.\r\n* Add symbolic handling for i128.\r\n* Enable werror and tcg debug asserts, fix compilation warnings.\r\n* Fix casting error appearing with GCC 13. (to reproduce, compile QEMU with gcc 13 using --cc).","shortMessageHtmlLink":"Support for i128 tcg temp (#51) + add -Werror and fix compilation war…"}},{"before":"5c00e64925758599e88eded7e7cb4523307c8a9e","after":"adc2711b86ae8ece99864dccf39e471d1c7b8e24","ref":"refs/heads/master","pushedAt":"2024-03-18T22:33:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Basic support for riscv (#42)\n\n* Basic support for riscv\r\n* Add build of SymQEMU for Risc-V in Dockerfile\r\n\r\n---------\r\n\r\nCo-authored-by: Vlada Logunova <38584695+Antwy@users.noreply.github.com>","shortMessageHtmlLink":"Basic support for riscv (#42)"}},{"before":"3763b2f2e589bf12edfc95c5ea4d4c2b6e6fa5ab","after":"5c00e64925758599e88eded7e7cb4523307c8a9e","ref":"refs/heads/master","pushedAt":"2024-02-22T15:46:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Added instrumentation of vector TCG operations (#38)\n\n* add util function for vec expr\r\n* instrument tcg_gen_mov_vec\r\n* instrumented tcg_gen_ld_vec\r\n* add tcgv_vec_expr util function\r\n* simplify sym_store_host helper\r\n* instrumented tcg_gen_st_vec\r\n* instrument tcg_gen_stl_vec\r\n* add malloc and free helper functions\r\n* util functions for vector instrumentation\r\n* instrumented tcg_gen_and_vec\r\n* implemented sym helper for and vec\r\n* generalized sym_and_vec implementation\r\n* instrumented vec or, xor, add, sub,mul\r\n* make vector operations andc, orc, nand, nor, eqv be built with instrumented operations\r\n* make vector operations not and neg be built with instrumented operations\r\n* make vector operations abs be built with instrumented operations\r\n* add build_symbol_for_vector_int32_op function\r\n* instrumented vec vec shifts and rotates ops\r\n* instrumented vec i32 shifts and rotates ops\r\n* instrumented vec immediate shifts and rotates ops\r\n* add support of helper functions with 8 and 9 args\r\n* instrumented tcg_gen_cmp_vec\r\n* concretize not yet instrumented vec ops results to avoid a crash\r\n* instrumented saturating signed/unsigned sub/add vec instructions\r\n* make sure cmpsel and bitsel instructions are generated using already instrumented instructions\r\n* instrumented tcg_gen_dup_i64_vec, tcg_gen_dup_i32_vec functions\r\n* instrumented min max functions\r\n* instrumented tcg_gen_dup_mem_vec\r\n* fix wrong assert in sym_load_and_duplicate_into_vec\r\n* put vec helpers in a separate file\r\n* TODO: some indirectly instrumented instructions could have better performance with direct instrumentation \r\n* TODO: returning expressions instead of pushing path constraints\r\n* Add asprintf test program\r\nThis target program resulted in incorrect results before the vector instructions were instrumented\r\n* Update SymQEMU unit tests (check-sym-runtime.c)\r\n\"helper_sym_store_host_i64\" and \"helper_sym_store_host_i32\" were\r\nreplaced by helper_sym_store_host, adjusting the unit tests\r\naccordingly\r\n\r\n---------\r\n\r\nCo-authored-by: Aurelien Francillon ","shortMessageHtmlLink":"Added instrumentation of vector TCG operations (#38)"}},{"before":"d5525b469a5535723ba801679910ece34b8d31ce","after":"3763b2f2e589bf12edfc95c5ea4d4c2b6e6fa5ab","ref":"refs/heads/master","pushedAt":"2024-02-22T11:03:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Adding SymQEMU unit test suite to CI (#44)\n\n* Moved check-sym-runtime.c to unit tests and updated to work with QEMU8\r\n* Build and run check-sym-runtime test with meson.build \r\n* Improve Dockerfile\r\n* Added documentation about test suites","shortMessageHtmlLink":"Adding SymQEMU unit test suite to CI (#44)"}},{"before":"04e8855c3b5fcfbc7069ca6ac14a628d680f9cbf","after":"d5525b469a5535723ba801679910ece34b8d31ce","ref":"refs/heads/master","pushedAt":"2024-02-19T09:33:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Adding QEMU own checks to Dockerfile (CI) and improve README.md (#43)","shortMessageHtmlLink":"Adding QEMU own checks to Dockerfile (CI) and improve README.md (#43)"}},{"before":"7bdf108e56254af6a59ece508c58fca61ca974a4","after":"04e8855c3b5fcfbc7069ca6ac14a628d680f9cbf","ref":"refs/heads/master","pushedAt":"2024-02-17T18:58:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"SymQEMU tests and Dockefile (#41)\n\nThis commit adds:\r\n* testing script and simple test binary\r\n* SymCC as submodule, SymQEMU Dockerfile relies on SymCC Dockerfile\r\n* Dockerfile for building and running e2e tests\r\n* github action that runs on PR\r\n\r\n---------\r\n\r\nCo-authored-by: Aurelien Francillon \r\nCo-authored-by: aurelf ","shortMessageHtmlLink":"SymQEMU tests and Dockefile (#41)"}},{"before":"550d0570979d362a520c88a77fc82ffa298ecc5d","after":null,"ref":"refs/heads/pr-tests","pushedAt":"2024-02-15T21:40:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"}},{"before":null,"after":"550d0570979d362a520c88a77fc82ffa298ecc5d","ref":"refs/heads/pr-tests","pushedAt":"2024-02-15T21:39:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add some documentation, fix typos in doc, and wrap to 80 columns","shortMessageHtmlLink":"Add some documentation, fix typos in doc, and wrap to 80 columns"}},{"before":"9abc561413b2b9da93db789877e11ac25fb0b421","after":"7bdf108e56254af6a59ece508c58fca61ca974a4","ref":"refs/heads/master","pushedAt":"2024-02-11T20:49:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Delete lockdown.yml: GitHub is the main home of SymQEMU\n\nRemoving lockdown.yml which came with QEMU 8 merge, and prevents to submit new PRs","shortMessageHtmlLink":"Delete lockdown.yml: GitHub is the main home of SymQEMU"}},{"before":"d992657472490f6ae356c3a0088ba3940b7c30c3","after":"9abc561413b2b9da93db789877e11ac25fb0b421","ref":"refs/heads/master","pushedAt":"2024-02-06T22:21:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Typo README.md","shortMessageHtmlLink":"Typo README.md"}},{"before":"83cf5a91a2ff7e096655689d00e8a5af8d6d5401","after":"d992657472490f6ae356c3a0088ba3940b7c30c3","ref":"refs/heads/master","pushedAt":"2024-02-06T22:21:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Add info about 4.1.1 branch in README.md","shortMessageHtmlLink":"Add info about 4.1.1 branch in README.md"}},{"before":"c7c61ba3395ca8a63501b915315b271bf3c65e33","after":"83cf5a91a2ff7e096655689d00e8a5af8d6d5401","ref":"refs/heads/master","pushedAt":"2024-02-06T22:17:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Fix typo in README.md","shortMessageHtmlLink":"Fix typo in README.md"}},{"before":"bd18ec05f3713a5016dc2d7fa9b6631b1efb9b21","after":"c7c61ba3395ca8a63501b915315b271bf3c65e33","ref":"refs/heads/master","pushedAt":"2024-02-06T22:14:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Update the README.md after the update to QEMU8.1","shortMessageHtmlLink":"Update the README.md after the update to QEMU8.1"}},{"before":"f6adce999a70ed6496fd249f841b3fee10cac687","after":"bd18ec05f3713a5016dc2d7fa9b6631b1efb9b21","ref":"refs/heads/master","pushedAt":"2024-02-06T21:31:08.000Z","pushType":"pr_merge","commitsCount":10000,"pusher":{"login":"aurelf","name":null,"path":"/aurelf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698620?s=80&v=4"},"commit":{"message":"Port to QEMU8.1 (#37)\n\nThis is Damien Maier's port of SymQEMU to QEMU 8.1.\r\n\r\nThe merge commit message gives some information about what adaptations were\r\nperformed. There are also some detailed explanations about potential\r\nproblems in section 5.1 of his [bachelor thesis](https://dmaier.ch/bachelor-thesis.pdf).","shortMessageHtmlLink":"Port to QEMU8.1 (#37)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QxMjowNzowNC4wMDAwMDBazwAAAASZI2a7","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QxMjowNzowNC4wMDAwMDBazwAAAASZI2a7","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNlQyMTozMTowOC4wMDAwMDBazwAAAAPzzti_"}},"title":"Activity · eurecom-s3/symqemu"}