Spiral.scala
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
2019-03-16 Chengsong random test failed
2019-03-16 Chengsong correctness test with enumeration
2019-03-15 Chengsong :test whether bsimp(bders(r, s)) == ders_simp(r,s)
2019-03-15 Chengsong removing PRED
2019-03-13 Chengsong more comments
2019-03-13 Chengsong i
2019-03-13 Chengsong run
less more (0) tip