uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
162 stars 22 forks source link

Readme update w/ version bump #29

Closed XueyanZhang closed 4 months ago

XueyanZhang commented 4 months ago

Instruction for downloading still shows v1.4.

wget https://github.com/perses-project/perses/releases/download/v1.4/perses_deploy.jar
java -jar perses_deploy.jar [options]? --test-script <test-script.sh> --input-file <program file>

A quick sed cmd can be added to reducer/perses/scripts/release.py to bump the version in readme

chengniansun commented 4 months ago

Fixed internally by 0fcad862121362435c071c7d86395ff8071cd9ec.

Thanks for catching this type of error.