locking is still non-monotonic :(
ctx.assign: only join for same lval
spin: use -DNOCLAIM to disable LTL formula
xml without preprocessing
Update installation instructions and remove old methods. Better to have fewer instructions that we can actually maintain.
Add custom cpp variable to config.ml to satisfy Steve Jobs. (You will need a make clean to rebuild your config file.)
Travis build script: rm camomile and run tests with native code.