summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdded check-flimsy.pyRagnar Sundblad10 years
 
 
AgeCommit messageAuthorFilesLines
2015-03-27Added check-flimsy.pyHEADmasterRagnar Sundblad1-0/+205
2015-02-27Make build.sh executable.Linus Nordberg1-0/+0
2015-02-27Add some debugging help to README.Linus Nordberg1-0/+6
2015-02-27Make merge.sh actually work.Linus Nordberg1-6/+10
2015-02-27Remove mergedb before starting merge.Linus Nordberg1-0/+1
2015-02-27chmod +x merge.shLinus Nordberg2-1/+1
2015-02-27Added instructions for minimal system setupMagnus Ahltorp1-0/+83
2015-02-27verifysct.py: Fetch fresh STH instead of using oldMagnus Ahltorp1-3/+8
2015-02-27Add saving and verification of SCT to python toolsMagnus Ahltorp2-19/+144
2015-02-27Add consistency proof checking to testcase1Magnus Ahltorp3-3/+28
[...]
 
Clone
https://git.sunet.se/user/ragge/catlfish.git
git@git.sunet.se:user/ragge/catlfish.git