Home
Welcome to the ISP RAS open-source projects!
At the moment this system presents selected projects being developed by the
Software Engineering department.
We focus on advanced R&D in the area of software and hardware testing and
verification methods, tools and technologies. We work both on fundamental
R&D funded by the Russian Academy of Sciences and on industrial R&D projects
funded by our partners such as Linux Foundation, Intel, Microsoft, Nokia and
others.
Follow Site Information And Rules please.¶
IMPORTANT: Permanently authenticating with Git repositories¶
IMPORTANT: How to create repository.¶
IMPORTANT: Additional services.¶
Help and support can be obtained in Local Support Project.¶
Latest news
Retrascope:
Retrascope 1.1.1 released
Retrascope 1.1.1 has been released.
Verilog Translator:
Verilog Translator 0.1.1 released.
We are happy to announce the first release of the Verilog Translator tool.
Castle:
Castle 0.1.2 released
Castle 0.1.2 has been released.
Fortress:
Fortress v0.4.33 released
Fortress v0.4.33 has been released.
Local Support Project:
Redmine 4.0.3
Закрыли критическую уязвимость rails