BranchCommit messageAuthorAge
masterSetup Stein specs dirEric K10 days
AgeCommit messageAuthor
10 daysSetup Stein specs dirHEADmasterEric K
10 daysSwitch to stestrVu Cong Tuan
10 daysline 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
2018-04-23Add Rocky specs to indexEric K
2017-10-20Spec for verification of configuration filesValentin Matton
2017-06-19Merge "Change rules field to required in library API"Jenkins