Reproduce Examples - Githubissues

Baltoli / project-docs

Documents for my Part III project

0 stars 0 forks source link

Reproduce Examples #20

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

In order to evaluate the success of the project, I need to reproduce the examples from the original paper.

[ ] Reread paper and work out which examples can be reproduced
[x] Get the TESLA-annotated source code for these examples from wherever it lives
[ ] Make them build on my TESLA installation
[ ] Run performance analysis as in the original paper
[ ] Collate results

Baltoli commented 7 years ago

So far haven't been able to get the TESLA-annotated FreeBSD source to build at all on my TESLA installation.

Baltoli commented 7 years ago

Jon says that the build is "special" - looks like an issue in some kernel Makefiles that means sources don't get picked up into TESLA_FILES and built that way.

Baltoli commented 7 years ago

Still blocked.