projects / projects / | Project | Description | Owner | Last Change | |
|---|---|---|---|---|
| fireball-separation.git | Unnamed repository; edit this... | Claudio Sacerdoti... | 5 years ago | summary | shortlog | log | tree |
| helm.git | Unnamed repository; edit this... | Claudio Sacerdoti... | 14 months ago | summary | shortlog | log | tree |
| logicplayer.git | Unnamed repository; edit this... | Claudio Sacerdoti... | 8 years ago | summary | shortlog | log | tree |
| pkg-cerco/acc-trusted.git | Unnamed repository; edit this... | Enrico Tassi | 10 years ago | summary | shortlog | log | tree |
| pkg-cerco/acc.git | Unnamed repository; edit this... | Enrico Tassi | 10 years ago | summary | shortlog | log | tree |
| pkg-cerco/frama-c-cost-plugin.git | Unnamed repository; edit this... | Enrico Tassi | 11 years ago | summary | shortlog | log | tree |