Populating Repositories / Day 6

Today, I actually put code into the Bitbucket repositories (after waking up to note that in the end, Cygwin downloaded 22GB of data). There are two important repositories: the first, JPF-PRISM, is the code for the primarily JPF-based code, like listeners and other custom code. The second, PRISM-JPF, is a branch of the PRISM code trunk, which can be modified in the event we need it to. I don't expect the second repository to have code that isn't directly embedded into PRISM. I also re-read Abstraction Refinement for Probabilistic Software (available here).