517748db8a
add a fair warning to README.md
4dd4e4f383
Cleanup
8601f7c673
cleanup attempt
3e04c9afef
Update Rushby.v to std++
855ac3eff4
Initial import from darcs
9c77cd61cf
safer evaluation
746b94599a
WIP: guile support
7369fcac75
Merge pull request #840 from technomancy/resume-reload
d902d6ab74
When --watch flag is passed, reload all the code upon resume.
c2099ee1f7
Merge pull request #839 from buckle2000/patch-1