aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-18 18:02:53 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-18 18:14:09 +0100
commitc7969da4091512f945dddc374eb37f8a210a9246 (patch)
tree3ba0a1cac8ac0c617c8ebe793291f42f8a1af4c7 /reproduce/software
parent063b74c653771735a971f98f69075ca7e8237342 (diff)
Added Scalability as a principle, minor edits/clippings
Someone reading the principles section until now would think that IPOL is an almosts perfect solution, and for its usecase it certainly is. However, this is only because of the nature of its work: it only focuses on algorithms, not usage/analysis which cannot be done in raw ISO C. So with this commit, I added a new principle on Scalability and discussed this limitation of IPOL there. To avoid simply lengthening the text, to add this new principle, I had to remove/summarize some parts that seemed redundant. In the process, I also removed some of the existing tools (at the start of the principles section) that had several others in the same time frame, I have already mentioned (through the "and many more") that this list is not complete. Also, the list of people to thank in the acknowledgments is now put in a one-line per name to be more easily maintainable: Boud and Mohammad-reza were added, and given that I have sent the paper to several other people for feedback, I expect the list to get longer.
Diffstat (limited to 'reproduce/software')
0 files changed, 0 insertions, 0 deletions