Add setoid rewrite (!115) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:setoid_rewrite into master 4 years ago

Status	Pipeline	Stages	Actions
Warning 00:07:23 3 years ago	Add setoid rewrite #50656 setoid_rewrite f9ef8745 branch fork	Stage: build Stage: process	Download artifacts No artifacts found
0
Passed 00:16:54 4 years ago	Add setoid rewrite #42667 setoid_rewrite 187f2a9b branch fork	Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:20:36 4 years ago	Add setoid rewrite #42307 setoid_rewrite 5dd704c8 branch fork	Stage: build Stage: process	Download artifacts No artifacts found
Passed 00:13:06 4 years ago	Add setoid rewrite #42305 setoid_rewrite 17f1680d branch fork	Stage: build Stage: process	Download artifacts No artifacts found
Failed 00:14:43 4 years ago	del #42304 setoid_rewrite e9ac45db branch fork	Stage: build Stage: process	Download artifacts No artifacts found
0
Failed 00:30:43 4 years ago	Add setoid rewrite #42302 setoid_rewrite ee3136b9 branch fork	Stage: build Stage: process	Download artifacts No artifacts found
0
Failed 00:15:27 4 years ago	Add setoid rewrite #42156 setoid_rewrite 7a6bae96 branch fork	Stage: build Stage: process	Download artifacts No artifacts found
0
Failed 00:28:39 4 years ago	Add setoid rewrite #34073 setoid_rewrite 363ca8cf branch fork	Stage: build Stage: process	Download artifacts No artifacts found
0

Add setoid rewrite