Change definition of service_implies_scheduled (18d6d851) · Commits · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

P

PROSA - Formally Proven Schedulability Analysis
- Activity
- Members
- Labels

Snippets Groups Projects

18d6d851

Commit 18d6d851 authored 5 years ago by Maxime Lesourd

Downloads
- Patches
- Plain Diff

Change definition of service_implies_scheduled

parent cd6b0e14

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 5
Pipelines 2

Hide whitespace changes

Inline Side-by-side

Showing

restructuring/analysis/basic_facts/service.v 1 addition, 3 deletions

restructuring/analysis/basic_facts/service.v
restructuring/behavior/schedule.v 3 additions, 4 deletions

restructuring/behavior/schedule.v
restructuring/model/processor/ideal.v 1 addition, 1 deletion

restructuring/model/processor/ideal.v
restructuring/model/processor/spin.v 2 additions, 1 deletion

restructuring/model/processor/spin.v
restructuring/model/processor/varspeed.v 2 additions, 2 deletions

restructuring/model/processor/varspeed.v

with 9 additions and 11 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment