Spiral.scala
2020-05-27 Chengsong clean default tip
2020-05-07 Chengsong currnet code
2020-04-16 Chengsong before changes to bsimp2
2020-04-10 Chengsong vunsimp
2020-02-05 Chengsong in case
2020-02-05 Chengsong version
2020-01-22 Chengsong f
2020-01-20 Chengsong format
2020-01-16 Chengsong changes
2020-01-12 Chengsong hg
2020-01-11 Chengsong b
2020-01-09 Chengsong h
2019-11-27 Chengsong ders2
2019-11-11 Chengsong got it
2019-08-22 Chengsong counterexample
2019-08-18 Chengsong changes to report
2019-07-16 Chengsong added the cloudfare eg.
2019-07-10 Chengsong interesting?
2019-06-25 Chengsong hi
2019-05-08 Chengsong new version of slides
2019-05-05 Chengsong hello
2019-04-13 Chengsong the property
2019-04-12 Chengsong test of
2019-04-10 Chengsong removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
2019-04-10 Chengsong The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
2019-03-23 Chengsong exp and proof
2019-03-21 Chengsong pf
2019-03-16 Chengsong found the difference: caused by flats
less more (0) -28 tip