Google Git
Sign in
eclipse / gerrit / www.eclipse.org / chess / HEAD
  1. ea124e1 Fix http to https in download page. by Alberto Debiasi · 3 years, 6 months ago master
  2. de47d32 Add presentation about CHESS functionalities. by Alberto Debiasi · 3 years, 6 months ago
  3. e7c41e5 Update CHESS.p2f. by Alberto Debiasi · 3 years, 10 months ago
  4. a6176a2 Fix typo in CHESS updatesite url. by Alberto Debiasi · 3 years, 10 months ago
  5. 9928c5c Update refs to install CHESS. by Alberto Debiasi · 3 years, 10 months ago
  6. 24b9bed Add ref to GitLab, update documentation. by Alberto Debiasi · 4 years ago
  7. 14b14c8 Update link to CHESS.p2f. by Alberto Debiasi · 4 years, 1 month ago
  8. 43f73fe Rename Parsley image. by Alberto Debiasi · 4 years, 1 month ago
  9. 4ba4657 Merge remote-tracking branch 'origin/master' into bug_561630 by Alberto Debiasi · 4 years, 1 month ago bug_561630
  10. 07ac74e Add info about new release. by Alberto Debiasi · 4 years, 2 months ago
  11. 8f2a040 Fix link to eclipse web page. by Alberto Debiasi · 4 years, 2 months ago
  12. fc1e4cf Update links to CHESS bundle and update-site. by Alberto Debiasi · 4 years, 2 months ago
  13. 154f66f Add SSR example, use download.eclipse. by Alberto Debiasi · 4 years, 2 months ago
  14. c772254 Center all images. by Alberto Debiasi · 4 years, 2 months ago
  15. 9c913fb Merge branch 'bug_561630' of https://git.eclipse.org/r/www.eclipse.org/chess into bug_561630 by Alberto Debiasi · 4 years, 2 months ago
  16. f31ef31 Complete features.html. by Alberto Debiasi · 4 years, 2 months ago
  17. 994d110 minor changes by Stefano Tonetta · 4 years, 2 months ago
  18. 67b1cf9 Write System-Level Design (in progress). by Alberto Debiasi · 4 years, 2 months ago
  19. 7ea211c Create Contract-based design section (in progress). by Alberto Debiasi · 4 years, 2 months ago
  20. bdfc2bd Merged with changes in documentation by Stefano Tonetta · 4 years, 2 months ago
  21. 7653bf7 Updated documentation page by Stefano Tonetta · 4 years, 2 months ago
  22. 7b94ce2 Update footer, index and start pages. by Alberto Debiasi · 4 years, 2 months ago
  23. 0f4a36b Remove "Polarsys"word, replace version 0.10.0 to 1.0.0, remove by Alberto Debiasi · 4 years, 2 months ago
  24. be0f48e Update footer, logo, eclipse links. by Alberto Debiasi · 4 years, 2 months ago
  25. 40f0793 Fix empty space before footer in start.html. by Alberto Debiasi · 4 years, 2 months ago
  26. 41de327 Update start.html with the new procedure to install CHESS. by Alberto Debiasi · 4 years, 2 months ago
  27. 5c47d0d Merge "Updated documentation" into bug_561630 by Nicholas Pacini · 4 years, 3 months ago
  28. 5f9c27b Merge "Removed empty index.php" into bug_561630 by Nicholas Pacini · 4 years, 3 months ago
  29. b26eb79 Updated documentation by Stefano Tonetta · 4 years, 3 months ago
  30. c77ca63 Removed empty index.php by Stefano Tonetta · 4 years, 3 months ago
  31. 7b65949 Updated required java version on CHESS. by Stefano Tonetta · 4 years, 3 months ago
  32. 2abb572 Restore prev version of start.html. by Alberto Debiasi · 4 years, 3 months ago
  33. adcdfbe Update CHESS and Java version, change Luna with Neon. by Alberto Debiasi · 4 years, 3 months ago
  34. de373b1 Update CHESS and Java version, change Luna with Neon. by Alberto Debiasi · 4 years, 3 months ago
  35. ac3c9ad pages updated with yklogo by Alberto Debiasi · 6 years ago
  36. 5346346 updated index.html by Alberto Debiasi · 6 years ago
  37. 0e39872 Added an image by Luca Cristoforetti · 6 years ago
  38. 25044b5 Fixed typo by Stefano Puri · 6 years ago
  39. 045075b minor editing by Nicholas Pacini · 6 years ago
  40. 67d0183 Minor editing by Stefano Puri · 6 years ago
  41. fd2ca20 Fix HBS model description by Leonardo Montecchi · 6 years ago
  42. ef94902 Added HBS example model from EDCC2018 paper by Leonardo Montecchi · 6 years ago
  43. 52f5242 updated dependability profile references by Stefano Puri · 7 years ago
  44. dafbd9a Added MDH reference by Stefano Puri · 8 years ago
  45. 53b0a7b 0.10.0 updatesite by Stefano Puri · 8 years ago
  46. e83066c 0.10.0 release by Stefano Puri · 8 years ago
  47. a543da2 Update according to the 0.10.0 release by Stefano Puri · 8 years ago
  48. 5095dd1 Changes according to release review comments by Stefano Puri · 8 years ago
  49. 348c799 Updates user manual by Stefano Puri · 8 years ago
  50. aaac111 Adds CHESSML profile doc by Stefano Puri · 8 years ago
  51. 16f6592 chess web site update for the 0.9.0 release by Stefano Puri · 9 years ago
  52. 3765f17 update site 0.9.0 by Stefano Puri · 9 years ago
  53. eef44c6 update CHESS documentation by Stefano Puri · 9 years ago
  54. af00d9c updated 0.9.0 release date by Stefano Puri · 9 years ago
  55. 2100c3a minor editing, added user manual by Stefano Puri · 9 years ago
  56. eb70688 First version of the CHESS site by Stefano Puri · 9 years ago
  57. 1e9b063 Sample Template by Denis Roy · 10 years ago