Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • ip-save-debugging
  • master default
  • wip/graph-iso
3 results
Created with Raphaël 2.2.013May1211109827Apr1365428Mar272625242322201915Feb130Jan181721Dec1916151412987330Nov26Oct19181110876526Sep29Aug18171120Jun2131May30Color epsilon edges blue in dot filemastermasterEnsure that interrupts can be triggered in any orderAdd graph debuggerUse more efficient wire format for searchReplace a traditional map by a hashmap for searchIntroduce more strictness into json parsingSpeed up json2dot by using Data.Text.Lazy.BuilderImplement loop detection in search algorithmCorrectly handle interrupts that are not triggeredEliminate isr kickoffs now that we have interrupt triggersAdd interrupt edgesDon't leak zombies after killing childrenKill child process instead of sending SIGTERMActually check determinism before comparisionClear interrupts immediately after triggering themAdapt to newer Idle handling in oseksImplement bisimularityAdd optional debug output to search commandMerge branch 'mgttlinger/osek-verification-master'Don't eliminate ISR kickoffsMove incoming iret edges from PreIdleHook to IdleThreadRemove unused functionsFix tests after node-id change from string to intRemove unused functionFix more commands to work with int node labelsExpect Int instead of Text in node ids of SSEGraphprelude: Add function to print hexdump of OS statesearch: Pass debug output from mockup to stderrcli: Read from stdin if no file is specifiedFix tests after interrupt triggering changeFix tests after SSEGraph changesWrite more lenses for Graph typeEliminate epsilon from SSEGraph before comparing itIR: Trigger interrupts in computation blocksAdd option to eliminate kickoffs with 'ee' commandAdd cli command 'ee' to epsilon eliminate SSE graphwip/graph-isowip/graph-isoMake JSON graph parsing more genericCorrectly handle --dump-json option of 'search'Change isIsomorphic to report failure reasonsAdd pre-processing step for SSE Graph