Integrate travis CI - Githubissues

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

70 stars 38 forks source link

Closed Wren71 closed 3 years ago

Wren71 commented 3 years ago

bc files will be updated and pushed to the remote master branch whenever there are new changes in the remote master branch.
add crux-bitcode in travis file
update readme

yuleisui commented 3 years ago

The patch is too large. It would be good to split this patch into 2-3 sub patches for me to look through.

yuleisui commented 3 years ago

It seems to me that you are working on top of an old commit. Could you please send a clean pull request just for github workflow?