summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterpages updated with yklogoAlberto Debiasi3 months
 
 
AgeCommit messageAuthorFilesLines
2018-12-12pages updated with yklogoHEADmasterAlberto Debiasi6-1/+46
2018-12-12updated index.htmlAlberto Debiasi1-0/+9
2018-12-12Added an imageLuca Cristoforetti1-0/+0
2018-12-11Fixed typoStefano Puri1-1/+1
2018-12-11minor editingNicholas Pacini1-2/+2
2018-12-11Minor editingStefano Puri1-1/+1
2018-09-13Fix HBS model descriptionLeonardo Montecchi1-1/+1
2018-09-13Added HBS example model from EDCC2018 paperLeonardo Montecchi1-5/+5
2017-07-27updated dependability profile referencesStefano Puri1-0/+0
2017-01-16Added MDH referenceStefano Puri1-0/+1
[...]
 
Clone
git://git.polarsys.org/gitroot/polarsys.org/chess.git
ssh://git.polarsys.org/gitroot/polarsys.org/chess.git