git now ignores the asrt file generated by the new vc generator
changed the stack reversal facility
Mike's integer theory
Preemptable Queue Template now shows up on the Web Interface
really add preemptable queue to repo. modified sequence template's ensure clauses from Pos to #Pos
Merge pull request #36 from yushan87/cpsc372-fixes

Cpsc372 fixes
changes the files a little bit so the new VC generator can generate VCs
Merge pull request #37 from yushan87/cpsc372-fixes

changes the files a little bit so the new VC generator can generate VCs