This repository has been archived by the owner. It is now read-only.
No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Latest commit 6d69566 Dec 11, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore add cost analysis Dec 31, 2014
LICENCE Add licence Apr 6, 2015 Add referencing Dec 11, 2018 Back to PEP8 Aug 14, 2017
result moar text Apr 4, 2015

Finding the shortest linear straight-line program using a heuristic

Implements the 2013 paper by Boyar, Matthews and Peralta. See also


Thom Wiggers. Implementing CAESAR candidate Prøst on ARM11. Student Undergraduate Research E-Journal!, Volume 1, 2015.

  title = "Implementing CAESAR candidate Prøst on ARM11",
  author = "Thom Wiggers",
  date = "2015-11-20",
  journal = "Student Undergraduate Research E-Journal!",
  volume = 1,
  issn = "2468-0443",
  url = "",


Copyright (C) 2015 Thom Wiggers

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see