Skip to content
Snippets Groups Projects
P

PROSA - Formally Proven Schedulability Analysis

Star 0
Project ID: 1772
Select Git revision
1 result Searching
  • Clone with SSH
  • Clone with HTTPS
    • Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
    Source project has a limited visibility.
    Ralf Jung's avatar
    Merge branch 'robbert/issue_571' into 'master'
    Ralf Jung authored 
    Bump timeout to hopefully solve #571.

Closes #571

See merge request iris/iris!1051
    84ed8993
    History
    Ralf Jung's avatar 84ed8993
    History
    Name Last commit Last update