Home

USI & SUPSI Source code management service
Provided by Servizi informatici / TI-EDU
Università della Svizzera italiana
Scuola Universitaria Professionale della Svizzera italiana

Latest projects

  • Progetti di Semestre Info (2015-2016) (03/03/2016 18:05)
  • OpenSMT 2 (31/08/2015 11:01)
  • lib4prm (18/08/2015 09:49)

    Progetto lib4prm

  • pre-commit-hooks (16/07/2015 15:16)

    This is a little project which provides some pre-commit-hooks for git such as:
    1. clang-format
    2. build

    If clang-format results in a non-empty diff then a patch is created and the commit is rejected.
    If the commit fails to build then the commit is rejected....

  • prova-nunni (02/07/2015 17:46)

    Progetto di prova