Typo fix.
Minor corrections and cleanups; added a missing eval ctxt.
Fixed a mistake in a test.
Finish v8d and some examination of failing v3d
Associate counter incrs and decrs with unique task ids
Potentially finished lvish 0CFA, plus pretty printing.  Now for testing.
CFA: Improve printing.  Getting empty final result list in lvish.
Improve/fix debugging
Merge branch 'master' into taskids
More cfa debugging annotations.  It explores the right states, and it attempts to insert into the summary, but the summary ends up empty.
Simple experiment: there must be a problem with IMap.modify
Bugfix: decrements could be duplicated due to use of idempotence.
Added (unsafe) random number generation to LVish
Merge branch 'taskids'

Conflicts:
	haskell-prototype/Control/LVish/SchedIdempotent.hs
Revert "Associate counter incrs and decrs with unique task ids"

This reverts commit 8060b536672819f944ed5ab64c51a4042621c574.

Conflicts:

	haskell-prototype/Control/LVish/SchedIdempotent.hs
Switch Counter.hs to use strict atomicModifyIORef
Added SLSet, an LVar that wraps around SkipListMap
Merge branch 'master' of github.com:iu-parfunc/lvars
Woops, forgot this in last commit
Merge branch 'master' of https://github.com/iu-parfunc/lvars