Commit message (Expand) | Author | Age | |
---|---|---|---|
* | package.py: Keep z3's exec bits, and set the exec bit on the dafny/ script | 2015-08-27 | |
* | More fixes to the packaging script | 2015-08-27 | |
* | Make the packaging script Windows-compatible | 2015-08-27 | |
* | Write a new packaging script for Dafny | 2015-08-23 |