BlackBox Framework Center

For the issue see : https://redmine.blackboxframework.org/issues/160
For the discussion see: viewtopic.php?f=48&t=635
For the diffs see: https://redmine.blackboxframework.org/p ... b9c530e25c

I would suggest to use the following link:
http://e-collection.library.ethz.ch/view/eth:3252
which points to the collection of e-papers published by ETH Zürich. I am not very confident that ftp://ftp.ethoberon.ethz.ch will be available in the long term ...

This is a valuable suggestion.

When looking it up I discovered that there may be an even better alternative.

The full truth is in the dissertation of Regis Crelier at http://e-collection.library.ethz.ch/ese ... 386-02.pdf.
It also covers the fingerprinting issue, which was a core part of the dissertation and a non-trivial part of the compiler.
It is also in .pdf format.

It is probably not referenced in the BlackBox compiler sources because it was not yet published at that time.

- Josef

absolutely correct, which is the "correct" reference in your opinion?

I would use the dissertation.
It is the youngest document and thus closest to the CP compiler and it is the most complete one.

- Josef

Josef Templ wrote:I would use the dissertation.

yes. I think this is a good idea.

@Robert: Should we cancel the vote and re-vote with the link to the disstertation?

Reference changed to the dissertation.
See diffs at: https://redmine.blackboxframework.org/p ... 35bc9961c0.

- Josef

Vote passed.