BranchCommit messageAuthorAge
masterfix tox python3 overridesDoug Hellmann2 months
AgeCommit messageAuthor
2018-10-03fix tox python3 overridesHEADmasterDoug Hellmann
2018-10-03comment out stein section of toctreeDoug Hellmann
2018-08-17import zuul job settings from project-configNguyen Hai
2018-08-09Setup Stein specs dirEric K
2018-08-10Switch to stestrVu Cong Tuan
2018-08-09line break at 79 charEric K
2018-08-01Z3 as an alternative Datalog enginePierre Crégut
2018-06-18Merge "Explicit Data Types"Zuul
2018-06-06Explicit Data TypesEric K
2018-05-18Replace Chinese punctuation with English punctuationinspurericzhang