Polarsys template file, as seen at http://polarsys.org/template/

Clone this repo:

Branches

  1. ac3c9ad pages updated with yklogo by Alberto Debiasi · 1 year, 8 months ago master
  2. 5346346 updated index.html by Alberto Debiasi · 1 year, 8 months ago
  3. 0e39872 Added an image by Luca Cristoforetti · 1 year, 8 months ago
  4. 25044b5 Fixed typo by Stefano Puri · 1 year, 8 months ago
  5. 045075b minor editing by Nicholas Pacini · 1 year, 8 months ago
  6. 67d0183 Minor editing by Stefano Puri · 1 year, 8 months ago
  7. fd2ca20 Fix HBS model description by Leonardo Montecchi · 1 year, 11 months ago
  8. ef94902 Added HBS example model from EDCC2018 paper by Leonardo Montecchi · 1 year, 11 months ago
  9. 52f5242 updated dependability profile references by Stefano Puri · 3 years ago
  10. dafbd9a Added MDH reference by Stefano Puri · 3 years, 7 months ago
  11. 53b0a7b 0.10.0 updatesite by Stefano Puri · 3 years, 8 months ago
  12. e83066c 0.10.0 release by Stefano Puri · 3 years, 8 months ago
  13. a543da2 Update according to the 0.10.0 release by Stefano Puri · 3 years, 9 months ago
  14. 5095dd1 Changes according to release review comments by Stefano Puri · 3 years, 10 months ago
  15. 348c799 Updates user manual by Stefano Puri · 4 years ago
  16. aaac111 Adds CHESSML profile doc by Stefano Puri · 4 years, 1 month ago
  17. 16f6592 chess web site update for the 0.9.0 release by Stefano Puri · 5 years ago
  18. 3765f17 update site 0.9.0 by Stefano Puri · 5 years ago
  19. eef44c6 update CHESS documentation by Stefano Puri · 5 years ago
  20. af00d9c updated 0.9.0 release date by Stefano Puri · 5 years ago