Add minor comments #93
Conversation
saltiniroberto
force-pushed
the
roberto/minor-fixes
branch
from
f7a0ab9 to
2566fd6
Compare
| @@ -14,6 +14,7 @@ \section{\SpecThreeB{} in Alloy}\label{sec:alloy} | |||
| restrict the number of checkpoints and votes to 5 and 12, respectively. | |||
| Although we introduced similar restrictions with Apalache, Alloy has even | |||
| finer level of parameter tuning. | |||
| \rs{Is there some inherent limitation of Apalache that we should discuss?} | |||
There was a problem hiding this comment.
No inherent limitation per se, there is just no finer-grained control that Apalache implements or exposes right now. We actually mention it as a possible extension in §1.3.
There was a problem hiding this comment.
Yes, we touched upon that in para 1.3. Beyond that, it is hard to explain the difference without explaining the technique implemented by Alloy.
|
@konnov @thpani If we want to marge this PR into main, we need to remove the pending comments, but I am not sure whether they have been resolved in other PRs. |
|
See #100 |
No description provided.