Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Only push to bytecode repository if there is something to push. | chriseth | 2017-07-04 | 1 | -2/+1 |
| | |||||
* | Use actual hash. | chriseth | 2017-05-29 | 1 | -1/+1 |
| | |||||
* | Use HEAD for report directory name | chriseth | 2017-05-24 | 1 | -8/+4 |
| | |||||
* | Move COMMIT_DATE | Alex Beregszaszi | 2017-05-24 | 1 | -2/+4 |
| | |||||
* | Make bytecode upload more robust and use date for directory name. | chriseth | 2017-05-20 | 1 | -5/+14 |
| | |||||
* | Run bytecode upload only if encrypted variables are available. | chriseth | 2017-04-18 | 1 | -15/+18 |
| | |||||
* | Also generate optimized code. | chriseth | 2017-03-23 | 1 | -13/+16 |
| | |||||
* | Create bytecode for all tests and push to remote repo. | chriseth | 2017-03-23 | 1 | -0/+98 |