Make instances of most type classes local (!205) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Pierre Roux requested to merge ideal_local_instance into master 3 years ago

Status	Pipeline	Created by	Stages
Passed 00:19:46 3 years ago	import and comment tweaks in results & analysis #63885 205 6c4a4aee merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:20:38 3 years ago	streamline some imports in the results module #63884 205 f7e0111a merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:32:20 3 years ago	fixup suspension readiness local instance #63883 205 6f1ea6bd merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:16:47 3 years ago	streamline some imports in the results module #63854 205 006c64f8 merge request		Stage: build Stage: process	Download artifacts No artifacts found
Failed 00:19:11 3 years ago	make the limited-preemptive job model a local instance #63851 205 c589fb13 merge request		Stage: build Stage: process	Download artifacts No artifacts found
0
Passed 00:26:58 3 years ago	Make the floating preemptive model hypothesis more explicit #63837 205 98139f87 merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:21:21 3 years ago	Remove unused Requires #63832 205 bf041432 merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:17:34 3 years ago	Remove unused Requires #63606 205 8d1d9b26 merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:25:32 3 years ago	Remove unused Requires #63523 205 93ca3176 merge request		Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:24:48 3 years ago	Remove unused Requires #63522 ideal_local_instance 93ca3176 branch		Stage: build Stage: process	Download artifacts No artifacts found