Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • P PROSA - Formally Proven Schedulability Analysis
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
  • Issues 15
    • Issues 15
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • RT-PROOFS
  • PROSA - Formally Proven Schedulability Analysis
  • RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
20 forks: 14 public, 2 internal, and 4 private
  • Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

    More qualified import of mathcomp.zidfy.ssrZ
    0
    Updated Jan 28, 2023
    0 0 0 0
    Updated Jan 28, 2023
  • Pierre Roux / PROSA - Formally Proven Schedulability Analysis

    [CI] Don't recompile mathcomp solvable and field
    0
    Updated Mar 19, 2023
    0 0 0 3
    Updated Mar 19, 2023
  • ptorrx / PROSA - Formally Proven Schedulability Analysis

    add ideal uniprocessor reference scheduler
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • LailaElbeheiry / PROSA - Formally Proven Schedulability Analysis

    fix minor warning
    0
    Updated Dec 29, 2022
    0 0 0 1
    Updated Dec 29, 2022
  • Marco Maida / PROSA - Formally Proven Schedulability Analysis

    refactor and comment summation utility lemmas
    0
    Updated Dec 29, 2022
    0 0 1 0
    Updated Dec 29, 2022
  • Marco Perronet / PROSA - Formally Proven Schedulability Analysis

    Add periodic task model
    0
    Updated Dec 29, 2022
    0 0 1 0
    Updated Dec 29, 2022
  • Xiaojie Guo / rt-proofs

    merge with upstream/master
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Maxime Lesourd / rt-proofs

    fix injection warnings in single-cost sustainability reduction
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Pascal Fradet / rt-proofs

    enable proof-length checking during CI
    1
    Updated Jan 30, 2023
    1 0 0 0
    Updated Jan 30, 2023
  • Sergey Bozhko / rt-proofs

    add remaining POET support files
    0
    Updated Feb 28, 2023
    0 0 2 0
    Updated Feb 28, 2023
  • Felix Stutz / rt-proofs

    EDF continued
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Björn Brandenburg / prosa

    prove that GEL conditionally generalizes FP
    0
    Updated Mar 24, 2023
    0 0 0
    Updated Mar 24, 2023
  • Felipe Cerqueira / rt-proofs

    Add lemmas about pick and make it easier to use
    archived 0
    Updated Apr 01, 2022
    archived 0 0 0 0
    Updated Apr 01, 2022
  • Sophie Quinton / rt-proofs

    Finish FP instantiation of abstract RTA
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022