Matthieu Moy <[EMAIL PROTECTED]> writes: > Next step is to drop the mutual exclusion code and see what happens. > I'll do that within a few days.
Too curious to wait :-) I've done it ! > Last step is to fix what the previous step will have broken ;-) I started that also, but this is a longer task. The bugs should not be disturbing since the trivial way to avoid them is to run only one process at a time. Already, I've been able to run tla-changes while xtla was computing a *tla-bookmarks-missing* buffer (After fixing a bug). Sounds promising ! -- Matthieu
