dOSEK/dOSEK.git
2016-05-24 Roman SommerSET: making SET configurable, adjust config model,... 84/5684/2 master
2016-05-19 Roman SommerMerge branch 'SET_i386'
2016-05-19 Roman SommerSET: fixed.
2016-05-13 Roman Sommerimplemented SETs for i386 (still broken), working on...
2016-05-13 Roman SommerSET: prepare tcb for implementation of SET, reserve...
2016-05-12 Christian Dietrichgenerator: add verify mockup stub 79/5679/2
2016-04-22 Christian Dietrichsemi-extended-tasks: fix stack switch
2016-04-22 Christian Dietrichmark-stack-switch: fix detection of subgraph roots
2016-04-20 Roman Sommerrecreated conditions for segfault (set_anot1b)
2016-04-20 Roman Sommerrestored working state (set_anot1b)
2016-04-01 Roman Sommerplaying with inlining, clobber lists and stack layouts
2016-03-26 Roman Sommerposix/tcb.h: prepare merging of start(...) and switchTo...
2016-03-25 Roman Sommerposix/dispatch.h: removed unneeded case
2016-03-25 Roman Sommerposix/tcb.h: cosmetic changes to asm functions
2016-03-25 Roman Sommerposix/tcb.h: split off check for running on shared...
2016-03-25 Roman Sommerposix/arch/{dispatch,tcb}.h: split off code for first...
2016-03-24 Roman Sommerposix/tcb.h: more cleanup, added ret instructions to...
2016-03-24 Roman Sommerposix/tcb.h: ongoing cleanup of switch_to_basic_task...
2016-03-24 Roman Sommerposix/tcb.h: replaced common assembly sequences with...
2016-03-24 Roman Sommer{dispatch,tcb}.h: fix indent
2016-03-24 Stefan BaderAnalysis: Fix MarkStackSwitch pass
2016-03-24 Stefan BaderStackSwitch testcases
2016-03-24 Stefan Baderadd AnotateStackSwitchFunction pass
2016-03-21 Stefan BaderAnalysis: Fix MarkStackSwitch pass 61/5461/7
2016-03-21 Stefan BaderStackSwitch testcases 57/5457/10
2016-03-21 Stefan Baderadd AnotateStackSwitchFunction pass 48/5448/9
2015-12-17 Christian Dietrichposix: Linker script groups data objects 65/5465/1
2015-12-15 Christian Dietrichlogging: fix handling of VERBOSE 64/5464/2
2015-12-15 Christian Dietrichgenerator/pass-manager: Fix order of oneof 63/5463/2
2015-12-15 Christian Dietrichgenerator/state-flow: fix collection of ISR states 62/5462/2
2015-12-01 Christian Dietrichgenerator: minor cleanups and refactorings 36/5436/5
2015-12-01 Christian Dietrichgenerator: declarative pass information 35/5435/3
2015-12-01 Christian Dietrichgraphs: fixup plotting of graphs 34/5434/3
2015-11-24 Stefan BaderAnalysis: Add MarkStackSwitch pass 07/5407/11
2015-10-23 Christian Dietrichcmake: simplify build system 09/5409/1
2015-10-20 Stefan BaderBuild: Find "grub2-mkrescue" 08/5408/1
2015-09-23 Christian Dietrichfsm: change interrupt semantic 93/5393/1
2015-09-18 Christian DietrichMerge remote-tracking branch 'gerrit/master' into encod...
2015-09-16 Christian DietrichContributor Agreement 82/5382/1
2015-09-10 Christian Dietrichi386: check saved_sp after usage
2015-09-10 Christian Dietrichx86: use popcnt for code generation
2015-09-10 Christian Dietrichencoded/events: check calculated task priority before...
2015-09-07 Christian Dietrichsse: do not wipe set events on SetEvent
2015-08-12 Martin HoffmannFixed typo in release type (staple -> stable) 53/5253/3
2015-08-12 Martin HoffmannAdd total written and read os memory addresses to stats... 52/5352/3
2015-08-12 Christian Dietrichapp/bcc1/alarm3: make testcases less racy 55/5355/6
2015-08-12 Christian Dietrichgenerator/SSE: alternative SSE with APP-FSM 54/5354/1
2015-08-06 Christian Dietrichgenerator: application FSM transformation 64/5264/2
2015-08-05 Stefan BaderGenerator: add llvm function attribute modifier 44/5344/2
2015-07-27 Christian Dietrichstate-asserts: use color_assert again
2015-07-27 Christian Dietrichasserts: return to shortcutting semantic of state-asserts
2015-07-27 Christian Dietrichscheduler: dispatchToCurrentTask should be inlined
2015-07-27 Christian Dietrichcfg-regions: delete all unused bits after check
2015-07-23 Christian Dietrichfail: expose --inline-scheduler in variant name 25/5325/1
2015-07-23 Christian Dietrichos/scheduler: make schedule inlinable again 20/5320/3
2015-07-23 Christian Dietrichbuild system: proper inlining 24/5324/1
2015-07-20 Christian Dietrichos/scheduler: unify scheduler.h.in 19/5319/1
2015-06-08 Christian Dietrichi386: FaultDetectedHook in page fault handler 60/5260/2
2015-06-08 Christian Dietrichi386: FaultDetectedHook on unhandled interrupt 59/5259/2
2015-06-01 Martin Hoffmanntrace analysis: Adding info for accessed OS memory 57/5257/3
2015-05-29 Christian Dietrichfail: fix workspace check script 58/5258/1
2015-05-29 Christian Dietrichfail: simplify scripts 56/5256/2
2015-05-28 Christian Dietrichbenchmark-isorc: remove doubled priority 55/5255/2
2015-05-28 Martin Hoffmanni386: Add noreturn to Machine:unreachable. 52/5252/1
2015-05-22 Christian Dietrichx86: make privilege isolation optional 46/5246/3
2015-05-21 Christian Dietrichx86/idt.S: Remove unecessary push 45/5245/1
2015-05-20 Christian Dietrichi386: All MMU related functions can be disabled 43/5243/3
2015-05-20 Christian Dietrichfail/test.h: remove disable interrupt 44/5244/1
2015-05-20 Christian DietrichPreciseSystemState: memory efficient variant 42/5242/2
2015-05-20 Christian Dietrichextractor: separate executable for llvm 41/5241/1
2015-05-12 Christian Dietrichbenchmark: port the coptermock benchmark from the ISORC... 35/5235/3
2015-05-12 Christian Dietrichgenerator: Implement GetEvent systemcall 34/5234/3
2015-05-12 Christian Dietrichfail: fix trace-analyze 33/5233/3
2015-05-07 Christian Dietrichfail: Fix generation of variant name 36/5236/1
2015-05-06 Christian Dietrichdispatcher: rename ::idle to ::Idle 19/5219/1
2015-05-06 Christian Dietrichi386/qemu: use -kernel instead of -cdrom 18/5218/1
2015-05-06 Christian Dietrichwhitespaces: remove spurious whitespaces 17/5217/1
2015-05-06 Christian Dietrichbasic tasks: implement basic tasks for x86 16/5216/1
2015-05-05 Christian Dietrichconfig: make idle halt part of the model 15/5215/2
2015-05-05 Christian Dietrichspecialized: give information about old task on dispatc... 14/5214/2
2015-05-05 Christian Dietrichbasic tasks: Implementation for posix 93/5193/3
2015-04-29 Christian Dietrichfail: fix import arguments
2015-04-29 Christian Dietrichcmake: small cleanup of unused rules 92/5192/1
2015-04-29 Christian Dietrichconfig: distributed constraints 84/5184/4
2015-04-29 Christian Dietrichconfig: use config system in generator and code 83/5183/5
2015-04-29 Christian Dietrichconfig: configuration system in new_build_env.py 82/5182/2
2015-04-29 Martin HoffmannState Replicator: bugfix, and enhanced fault detection... 16/4716/3
2015-04-29 Martin Hoffmanntoolchain: Invoke toolchain with cross compiler 53/4453/7
2015-04-28 Christian Dietrichzedboard-mm: matrix multiplication application for... 88/5188/1
2015-04-17 Christian Dietricharm: use idle halt 78/5178/1
2015-04-17 Florian Lukasarch/posix: use virtual time for timers 92/4192/8
2015-04-01 Christian DietrichAdd a Changelog v1.1
2015-04-01 Christian Dietrichgenerator: syscall FSM/PLA implementation 05/5105/1
2015-04-01 Christian Dietrichgenerator: LogicMinimizer for FSM Truth Table 04/5104/1
2015-03-19 Christian Dietrichgenerator/fsm: proper renaming of all components 80/5080/1
2015-03-19 Christian Dietrichgenerator: Smaller SimpleFSM implementation 79/5079/4
2015-03-18 Christian Dietrichgenerator: oil reading and llvmpy reading as passes 77/5077/2
2015-03-18 Christian Dietrichgenerator: big refactoring 76/5076/4
2015-03-17 Christian DietrichFSM: Minimize the state machine 74/5074/1
2015-03-17 Christian Dietrichkeso: update the transformed gc_coffebreak sources 73/5073/1
next