Z3str3 string solving support (GSoC 2022 submission)

yanxx297 commented 2 years ago

This pull request includes both my contribution this summer and Marlin's contribution during GSoC 2021.

sohah commented 2 months ago

@yannicnoller , I think we can have a new branch for string-support-dev where we can have this pull request merged. This allows us to not compromise the master branch, while also allowing us to continue testing and developing the string support. What do you think? If so, we can ask Qiuchen to change the target branch of her pull request.

yannicnoller commented 2 months ago

@sohah Agreed! https://github.com/SymbolicPathFinder/jpf-symbc/tree/string-support-dev

@yanxx297, sorry for the late follow-up, can you change the target your PR? Thanks!

yanxx297 commented 2 months ago

Changed the target to string-support-dev.

On Wed, Jul 10, 2024 at 12:26 PM Yannic Noller @.***> wrote:

@sohah https://github.com/sohah Agreed! https://github.com/SymbolicPathFinder/jpf-symbc/tree/string-support-dev

@yanxx297 https://github.com/yanxx297, sorry for the late follow-up, can you change the target your PR? Thanks!

— Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/pull/78#issuecomment-2221074540, or unsubscribe https://github.com/notifications/unsubscribe-auth/AJ7Q2BXYOI6DNEVRTONSTUDZLVVFRAVCNFSM6AAAAABJYKTF36VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDEMRRGA3TINJUGA . You are receiving this because you were mentioned.Message ID: @.***>

-- Qiuchen Yan Department of Computer Science and Engineering University of Minnesota

yannicnoller commented 2 months ago

@yanxx297, great, thanks for the prompt action!

SymbolicPathFinder / jpf-symbc

Z3str3 string solving support (GSoC 2022 submission) #78