0c0cd18e13a6504d342e4332c4f6a0d3b2acea2d 6674fca8dc736561a58da47597c8225967730745 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1389971314 +0100	commit: pylint: use correct PYTHONPATH
6674fca8dc736561a58da47597c8225967730745 0e94dbac4b83280bf54eaaeb309c864cf15afd33 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390211735 +0100	commit: generator/analysis: add testcase (task1b)
0e94dbac4b83280bf54eaaeb309c864cf15afd33 4436fa309955c6629fbdc01970741cf503e9cae2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390217425 +0100	commit: generator/analysis: more testcase infrastructure
4436fa309955c6629fbdc01970741cf503e9cae2 b8f6d7e4627f801cec020bcb8f4975de2ddc9929 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390217645 +0100	commit: cmake/app: added clean target
b8f6d7e4627f801cec020bcb8f4975de2ddc9929 0feee7f6fe81dfa732e85e59990f3a5bd12725c3 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390217737 +0100	commit: generator/analysis: two more testcases
0feee7f6fe81dfa732e85e59990f3a5bd12725c3 64144bfc188f697fd1a50d70d967126f668e23c5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390218538 +0100	commit: asd
64144bfc188f697fd1a50d70d967126f668e23c5 174c9a3d60d0a4203a5f092fabf2f9fdf747c454 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390218667 +0100	commit: generator/analysis: new testcase bcc1/task1/e
174c9a3d60d0a4203a5f092fabf2f9fdf747c454 eff9e83868fe848d3aa200ba41f380a81dc1a534 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390218689 +0100	rebase -i (finish): refs/heads/master onto b8f6d7e
eff9e83868fe848d3aa200ba41f380a81dc1a534 822e8862c62e33585915edf2e286324bec6bc68a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390219123 +0100	commit: generator/analysis: new testcase bcc1/task1/f
822e8862c62e33585915edf2e286324bec6bc68a e2141ab8b7c5e983793137cfea8c14c3c5af6784 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390220020 +0100	commit: generator/analysis: new testcase bcc1/task1/g
e2141ab8b7c5e983793137cfea8c14c3c5af6784 da003cba13585f4a9e84aac0401fab881d3fa0dd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390222057 +0100	commit: generator/analysis: add EnsureComputationBlock pass
da003cba13585f4a9e84aac0401fab881d3fa0dd 22b33c1eaed38f807ad63c864c08b539ae05e6dc Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390226461 +0100	commit: generator/analysis: first draft of alarm implementation
22b33c1eaed38f807ad63c864c08b539ae05e6dc 6e964f66def5c8c91d69ec3ade9222ace9742448 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390227581 +0100	commit: generator/analysis: new testcase bcc1/alarm1/a
6e964f66def5c8c91d69ec3ade9222ace9742448 fe5dc63283e8639ae5782c626ff88d4b53dde989 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390228028 +0100	commit: cmake/generator: do not add --verify if not VERIFY option is given
fe5dc63283e8639ae5782c626ff88d4b53dde989 6922881159401d47e810ff0f4ec7be6aa98be2eb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390228506 +0100	commit (amend): cmake/generator: do not add --verify if not VERIFY option is given
6922881159401d47e810ff0f4ec7be6aa98be2eb 3db34271987c79c7425e1eede6a4ba180844848d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390233845 +0100	commit: generator/analysis: add testcases for alarms
3db34271987c79c7425e1eede6a4ba180844848d 528c584ee9283f23aacdbb513c8f07a6c1f81fd4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390235451 +0100	commit: generator/analysis: added metric for sucess of analysis
528c584ee9283f23aacdbb513c8f07a6c1f81fd4 967a4c2a5825f797a93b81c099dbd6a347680599 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390235498 +0100	commit (amend): generator/analysis: added metric for sucess of analysis
967a4c2a5825f797a93b81c099dbd6a347680599 817221ebc4764539761efa35216f97997579d46b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390293828 +0100	commit: generator: copy annotate file from rtsc to coredos
817221ebc4764539761efa35216f97997579d46b afc70e043a567f7dbd71612e35485fc0be1ebced Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390316590 +0100	commit: generator/analyze: add support for ISR2s
afc70e043a567f7dbd71612e35485fc0be1ebced cf81fb69c205c72be0cbc88f1d4768c5d9362df2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390317498 +0100	commit: generator/analyse: new testcases bcc1/isr2/{a,b}
cf81fb69c205c72be0cbc88f1d4768c5d9362df2 2fb958dc8f81758922c4c11f242637ee55f8e6f5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390381434 +0100	commit (amend): generator/analyse: new testcases bcc1/isr2/{a,b}
2fb958dc8f81758922c4c11f242637ee55f8e6f5 547fff7c8bedd601ba67844be53ed4c4f207da63 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390385861 +0100	commit: generator/analysis: merge states of ISR routines into RunningTask
547fff7c8bedd601ba67844be53ed4c4f207da63 902c0d7cc257471f20d7a00dc7ee10d9afb9a8e0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390386275 +0100	commit: analaysis/RunningTask: new testcases bcc1/isr2/{c,d}
902c0d7cc257471f20d7a00dc7ee10d9afb9a8e0 c89f8390e2844482376eee52ca7ed198777644dd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390388971 +0100	commit: analysis/RunningTask: new testcases bcc1/complex1/{a,b,c}
c89f8390e2844482376eee52ca7ed198777644dd 34c909a0e014f5fe24448be5e39707bf6f26cf43 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390394524 +0100	commit: analysis/RunningTask: new testcase bcc1/task2/b
34c909a0e014f5fe24448be5e39707bf6f26cf43 56c0064963298b3404f5483c5522484cd100d92f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390399250 +0100	commit: analysis/RunningTask: refactor testcases
56c0064963298b3404f5483c5522484cd100d92f a8d85b21ea79a3f64b447c09a3f97d0c2b2d8551 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390406590 +0100	commit: cmake/app: only use VERIFY script as dependency if it exists
a8d85b21ea79a3f64b447c09a3f97d0c2b2d8551 ce1364dd0319654a716d706e659020b3bb18f6ee Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390407784 +0100	commit: analysis/RunningTask: various cleanups
ce1364dd0319654a716d706e659020b3bb18f6ee 3935087e433ddc6b3ac295f9b115fbdc6c93d246 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390560837 +0100	commit: analysis: use eag tool for extracting the ABB graph
3935087e433ddc6b3ac295f9b115fbdc6c93d246 602feb106ada00e1c022ea91f0d73f8faa2bf6d1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390560863 +0100	rebase finished: refs/heads/master onto 989b3bbc2a051a9b74ad4c7e2519169e523d9aa0
602feb106ada00e1c022ea91f0d73f8faa2bf6d1 d0a9ecea502af89bae34b22a1f3f5efdb6a91fad Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390571283 +0100	commit: generator: major cleanup
d0a9ecea502af89bae34b22a1f3f5efdb6a91fad ee1cee402122e7b694f94a8b0f79139368879375 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390571692 +0100	commit: generator: generate os_main and StartOS
ee1cee402122e7b694f94a8b0f79139368879375 0d53cb1be24ed44fc5aa8e8c27643bfe9d328146 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390816588 +0100	commit: static_analysis: add pylint.rc and fix a few pylint warnings
0d53cb1be24ed44fc5aa8e8c27643bfe9d328146 3eb8c96d460be90aec1e7d4d72aeae372b25136c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390817024 +0100	reset: moving to gerrit/master
3eb8c96d460be90aec1e7d4d72aeae372b25136c 3081d28fb88e7780bf0d7993a91d69e4ace82fde Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390830617 +0100	commit: os/scheduler: rename ActivateTask functions
3081d28fb88e7780bf0d7993a91d69e4ace82fde 5036345671fc30820e93f1139c468bf7ea086fa4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390831419 +0100	commit: generator: generate Task descriptors/stacks/etc.
5036345671fc30820e93f1139c468bf7ea086fa4 62dd1dc91ea0ab1b0c132caacca3737a06c166de Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390834846 +0100	commit (amend): generator: generate Task descriptors/stacks/etc.
62dd1dc91ea0ab1b0c132caacca3737a06c166de bb33dae8543df329678026360ccd6390b8198b66 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390834928 +0100	commit: linkerscript: collect task handlers correctly
bb33dae8543df329678026360ccd6390b8198b66 c06a517cbfdb410a4ef486226d845be57af81f29 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390841008 +0100	commit: os: extract to-be-generated code pieces
c06a517cbfdb410a4ef486226d845be57af81f29 e183d2808e04f2080eb1617f8c8e061341dd2583 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390841122 +0100	commit (amend): os: extract to-be-generated code pieces
e183d2808e04f2080eb1617f8c8e061341dd2583 4ecee7ea66958980c20b7658b3f7160156257f2c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390841667 +0100	rebase finished: refs/heads/master onto 3a6e35fdd4f2020e64b79f2d91618234bf30efc5
4ecee7ea66958980c20b7658b3f7160156257f2c 0c61532f3227b23cd85b308624d754a21292cd5a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390902078 +0100	commit: generator: instanciate TaskList from the application knowledge
0c61532f3227b23cd85b308624d754a21292cd5a ed6ef034e92d11b9293782d9d0b07684f15e0332 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390902212 +0100	commit (amend): generator: instanciate TaskList from the application knowledge
ed6ef034e92d11b9293782d9d0b07684f15e0332 c2e10ce1781d8a0e9401153dd667b530824a5675 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390902599 +0100	commit (amend): generator: instanciate TaskList from the application knowledge
c2e10ce1781d8a0e9401153dd667b530824a5675 3021470d9c4d02cd95fffe24c42cad76c9172ff9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390905909 +0100	commit (amend): generator: instanciate TaskList from the application knowledge
3021470d9c4d02cd95fffe24c42cad76c9172ff9 4da32bdcb7bc79bd6b6a60f53beb7b35a6341877 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390906316 +0100	commit: generator: fix some pylint errors
4da32bdcb7bc79bd6b6a60f53beb7b35a6341877 1ebc596b577cdf5fed0d1aa7d60f84deb8cdccbe Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390906328 +0100	rebase -i (finish): refs/heads/master onto 4ecee7e
1ebc596b577cdf5fed0d1aa7d60f84deb8cdccbe 07d7b81aea0bf83078dcffd553cc16b6e95b70a1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390907468 +0100	commit: pylint
07d7b81aea0bf83078dcffd553cc16b6e95b70a1 0f9b2dfa74ed824fd146cabe5248f41aa1745ac5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390907502 +0100	rebase -i (finish): refs/heads/master onto 4ecee7e
0f9b2dfa74ed824fd146cabe5248f41aa1745ac5 bfc7d73961542fce8c101eb4eea23b5c8d8d2c9c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390907750 +0100	reset: moving to FETCH_HEAD
bfc7d73961542fce8c101eb4eea23b5c8d8d2c9c 0b5116b658d8a48a28e9e9e79ece7a67e1e9a2b7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390921842 +0100	rebase finished: refs/heads/master onto 0b5116b658d8a48a28e9e9e79ece7a67e1e9a2b7
0b5116b658d8a48a28e9e9e79ece7a67e1e9a2b7 5dd685710c27fdd1af791a5869a19a74d00ecaa1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390921848 +0100	rebase finished: refs/heads/master onto 5dd685710c27fdd1af791a5869a19a74d00ecaa1
5dd685710c27fdd1af791a5869a19a74d00ecaa1 9c73a4e50dd4d8a51a7f63c08411cb607b960b68 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390984278 +0100	commit: os/constructors: prevent llvm from generating a do {} while
9c73a4e50dd4d8a51a7f63c08411cb607b960b68 ae5b31e271af226d6e80451e4da50871c62a5070 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390984348 +0100	commit: helper: asm_label macro
ae5b31e271af226d6e80451e4da50871c62a5070 a23010fac727e87bd36070c7855728b6625c81de Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390984458 +0100	commit: generator: generate the scheduler and StartOS
a23010fac727e87bd36070c7855728b6625c81de ed738373749179e29835c93f59bfc7d457a60087 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1390988827 +0100	commit: generator: optimize the whole application
ed738373749179e29835c93f59bfc7d457a60087 b01155051ead8ae7fc5dad31b27318fae9a520dc Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391021190 +0100	commit: generator: generate linker script
b01155051ead8ae7fc5dad31b27318fae9a520dc bdff0476c8fea3811f7d716210326793e0e8be3f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391021366 +0100	commit (amend): generator: generate linker script
bdff0476c8fea3811f7d716210326793e0e8be3f a170656d3b7bc09444979a734c92c7db53a82f70 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391021415 +0100	commit (amend): generator: generate linker script
a170656d3b7bc09444979a734c92c7db53a82f70 f96629e20f060fee1d86e2b1ae586b6e7581d787 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391083345 +0100	commit: generator: generate ActivateTask and TerminateTask syscalls
f96629e20f060fee1d86e2b1ae586b6e7581d787 ce25fbf124e9004fd25f42594524f85a05688ec2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391094114 +0100	commit (amend): generator: generate ActivateTask and TerminateTask syscalls
ce25fbf124e9004fd25f42594524f85a05688ec2 4f5fb108425ba1828b3313898f08bb9fc2370e61 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391094117 +0100	commit (amend): generator: generate ActivateTask and TerminateTask syscalls
4f5fb108425ba1828b3313898f08bb9fc2370e61 95cefa321d0df4050686fe4b13ed7d3b5803455a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391094191 +0100	commit: generator/bugfix: also generate updateMax for idle_prio
95cefa321d0df4050686fe4b13ed7d3b5803455a 26e321d327bedd4b848b47e7b12602527ebdb24e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391094222 +0100	rebase finished: refs/heads/master onto c798d3b63af8f32a4428210124fd8ade30d22ffb
26e321d327bedd4b848b47e7b12602527ebdb24e b900a2aeba1c69a4c57cd3d80248f8366b15cfa9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391096400 +0100	commit: x86/linker: put COMMON into data section
b900a2aeba1c69a4c57cd3d80248f8366b15cfa9 a2ff093196a326afc3e43478ae1898de74b5d50a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391097870 +0100	commit: generate/linker: move more code to os specific sections
a2ff093196a326afc3e43478ae1898de74b5d50a 0e3876a2d8f738a844f2adc1af00af5f81f6c8cb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391157179 +0100	commit: os/output: add C bindings for putting char and char * to kout
0e3876a2d8f738a844f2adc1af00af5f81f6c8cb a1283a46e0b7222800eefeeb4660e7d8740494c2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391157274 +0100	commit: os: add PreIdleHook
a1283a46e0b7222800eefeeb4660e7d8740494c2 25abd968955ad922e1209009a072f0cf629ee0b6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391158185 +0100	commit (amend): os: add PreIdleHook
25abd968955ad922e1209009a072f0cf629ee0b6 7f1ab49f8e46aff7e8ada9cb25c236364c7cb2fb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391158205 +0100	commit (amend): os: add PreIdleHook
7f1ab49f8e46aff7e8ada9cb25c236364c7cb2fb 73663719a3d2a1b00cd9fbb6dcb479449e6e478b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391159046 +0100	commit: generator/tests: add first running generated Tracing testcase
73663719a3d2a1b00cd9fbb6dcb479449e6e478b 2eea5361e5eee40e33473e800ae5870e9d2f9bd4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391159086 +0100	commit: python
2eea5361e5eee40e33473e800ae5870e9d2f9bd4 650b1b42dc9c62fd2627b2308964c3ce6f8b8bde Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391159090 +0100	commit: trace.c
650b1b42dc9c62fd2627b2308964c3ce6f8b8bde e7d213d06a1af9f0834926721f9f0ebf2e0e68f8 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391159153 +0100	commit: toolchain/i386: add --gc-sections option to the linker
e7d213d06a1af9f0834926721f9f0ebf2e0e68f8 85f2cee318e116bddb9da12312e23d5fa2df8d56 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391159192 +0100	rebase -i (finish): refs/heads/master onto 7f1ab49
85f2cee318e116bddb9da12312e23d5fa2df8d56 4bf7685c5a94a2ba8268c43d1d19d68afb3cb358 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391161670 +0100	commit: os: support for proper hooks
4bf7685c5a94a2ba8268c43d1d19d68afb3cb358 7e5cb16dda6484c0ac6506d35eda2f1af7cfb981 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391165750 +0100	commit: apps: use C++11 for everything
7e5cb16dda6484c0ac6506d35eda2f1af7cfb981 95f3d001065e6518e5d80f2fca67e38160b5e217 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391165909 +0100	commit (amend): apps: use C++11 for everything
95f3d001065e6518e5d80f2fca67e38160b5e217 3253995b93017d46e840440e95318a8831132a06 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391173169 +0100	commit: apps: check activation traces for task1*
3253995b93017d46e840440e95318a8831132a06 46a1c7f8cb91c1ad82ceca92a29050c435a1b549 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391178690 +0100	commit: x86: tweak inline options
46a1c7f8cb91c1ad82ceca92a29050c435a1b549 475557c61c14b154380732d9996e6c1e0c66d9b2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391187820 +0100	commit: generator: generate callbacks for counters and alarms
475557c61c14b154380732d9996e6c1e0c66d9b2 5531103fe7216ea35b0873c69b6ba1241d44f9ff Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391422607 +0100	commit: bcc1/alarm1: enable running/tracing testcases
5531103fe7216ea35b0873c69b6ba1241d44f9ff 4e460e6fe2b9f5aabc6f6d0da76772825884fbd6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391426107 +0100	commit: bugfix: reset stack only on TerminateTask or in StartOS
4e460e6fe2b9f5aabc6f6d0da76772825884fbd6 10812adf9422dcb98e47f081bae7a17fcb13ea32 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391427785 +0100	commit (amend): bugfix: reset stack only on TerminateTask or in StartOS
10812adf9422dcb98e47f081bae7a17fcb13ea32 319dcd157d8804f9c1cd7d73704de89f5c75d5f2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391436363 +0100	commit: generator: generate ISR2 callbacks
319dcd157d8804f9c1cd7d73704de89f5c75d5f2 976fd3979f17b039183d8add2bd25dd55ac55005 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391436712 +0100	reset: moving to FETCH_HEAD
976fd3979f17b039183d8add2bd25dd55ac55005 e402a823ce54c5cc0a4cb3cc7f86f2a4a08f3f38 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391436765 +0100	commit (amend): generator: generate ISR2 callbacks
e402a823ce54c5cc0a4cb3cc7f86f2a4a08f3f38 45fe43259cf4e7c1a6e830038fe2762984809f5f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391437771 +0100	commit: app/complex1: running testcases
45fe43259cf4e7c1a6e830038fe2762984809f5f 09faac3ef3edb41fde5266aaa112106699b48988 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391442546 +0100	commit: generator: added non-preemptive tasks
09faac3ef3edb41fde5266aaa112106699b48988 acded8e9eca3d16d45d5988021908cd71f1c517c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391519923 +0100	commit: test
acded8e9eca3d16d45d5988021908cd71f1c517c b99f749478ce8bf39affd2ee7420f86db5c1b917 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391520031 +0100	commit: generator
b99f749478ce8bf39affd2ee7420f86db5c1b917 6da52320d8990de85c679213ca83787ec1bffaee Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391520126 +0100	rebase -i (finish): refs/heads/master onto 09faac3
6da52320d8990de85c679213ca83787ec1bffaee 438c640400c0989a176797b633362f647a81de6a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391520966 +0100	rebase -i (finish): refs/heads/master onto 45fe43259cf4e7c1a6e830038fe2762984809f5f
438c640400c0989a176797b633362f647a81de6a 99aa75f9001eedace5ef474ec3cc1d8a699ebdf6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391529297 +0100	reset: moving to FETCH_HEAD
99aa75f9001eedace5ef474ec3cc1d8a699ebdf6 04831f88836c1c752fb1cecffc4da6e5b8f102ce Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391534547 +0100	commit (amend): arch/posix: Posix backend architecture.
04831f88836c1c752fb1cecffc4da6e5b8f102ce 9e9a66f50000a10398da6510821fee72da34e470 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391534567 +0100	rebase -i (finish): refs/heads/master onto 9e9a66f
9e9a66f50000a10398da6510821fee72da34e470 870be76f4db3acbb309ca6618d74a493a28b1224 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391534902 +0100	commit (amend): os: split Task structure in an arch depended/independed part
870be76f4db3acbb309ca6618d74a493a28b1224 3222c78f81e367c56b8a5394a265813bb98f704c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391590608 +0100	cherry-pick: arch/posix: Posix backend architecture.
3222c78f81e367c56b8a5394a265813bb98f704c 276176fb16b61716150c06ac533bf993b16e4a8c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391622088 +0100	commit (amend): arch/posix: Posix backend architecture.
276176fb16b61716150c06ac533bf993b16e4a8c 228882b55e68fbc4b3ee0ffcf690b89560ea009b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391624089 +0100	commit (amend): arch/posix: Posix backend architecture.
228882b55e68fbc4b3ee0ffcf690b89560ea009b d8c6c930d4deefeda3d0e9c4476fb539de42a190 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391681187 +0100	commit (amend): arch/posix: Posix backend architecture.
d8c6c930d4deefeda3d0e9c4476fb539de42a190 bae4f55730dcf584468df34d1a944b1767e2cf0e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693392 +0100	commit: generates-system: get rid of almost all generated-system.cc testcases
bae4f55730dcf584468df34d1a944b1767e2cf0e 3b21cc4730e9e0af460413c8a439a880f70ca398 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693398 +0100	commit: posix
3b21cc4730e9e0af460413c8a439a880f70ca398 f5d7a895ead718394bfcef5bc0f48904853b6933 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693418 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
f5d7a895ead718394bfcef5bc0f48904853b6933 9bb7581e6074cd46f6dab678340e1437936152a1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693589 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
9bb7581e6074cd46f6dab678340e1437936152a1 b6793b5e70eae10a7e9ee3819abb8e6320d83595 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693676 +0100	commit: fixup
b6793b5e70eae10a7e9ee3819abb8e6320d83595 9bb7581e6074cd46f6dab678340e1437936152a1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693739 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
9bb7581e6074cd46f6dab678340e1437936152a1 553268470d995fcbbeb47328a92500c8102c734d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693811 +0100	commit: fixup
553268470d995fcbbeb47328a92500c8102c734d 2da2eb4e48f71aee60c1556965d65473011ec8ee Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693828 +0100	rebase -i (finish): refs/heads/master onto cf5a524
2da2eb4e48f71aee60c1556965d65473011ec8ee cdbdb7732375543c98874eac5c1dd8983837a0f6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693877 +0100	commit: fixup
cdbdb7732375543c98874eac5c1dd8983837a0f6 2da2eb4e48f71aee60c1556965d65473011ec8ee Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693903 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
2da2eb4e48f71aee60c1556965d65473011ec8ee d6aace6e48339e577292a765974469b19aa7edc9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391693997 +0100	commit: asdasdasd
d6aace6e48339e577292a765974469b19aa7edc9 2da2eb4e48f71aee60c1556965d65473011ec8ee Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694038 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
2da2eb4e48f71aee60c1556965d65473011ec8ee 8d89e492501e399b67eadd3525f68b8a63d6b018 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694062 +0100	commit (amend): arch/posix: Posix backend architecture
8d89e492501e399b67eadd3525f68b8a63d6b018 01edd65a9be907d853212889409cd5d7822a6b1e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694206 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
01edd65a9be907d853212889409cd5d7822a6b1e 4c00c93db12a5fb1cba37e405fee4e6165666c77 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694209 +0100	commit (amend): arch/posix: Posix backend architecture
4c00c93db12a5fb1cba37e405fee4e6165666c77 46fc6b012f1465058ddc308ab3dc299cce46c99b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694239 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
46fc6b012f1465058ddc308ab3dc299cce46c99b 9c25a4decca3e107fd3899c79e531f0da61f3771 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694317 +0100	rebase -i (finish): refs/heads/master onto 870be76f4db3acbb309ca6618d74a493a28b1224
9c25a4decca3e107fd3899c79e531f0da61f3771 c7e7151594761f03a0bb27b7dd0d73bd17db34f3 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694388 +0100	commit: gener
c7e7151594761f03a0bb27b7dd0d73bd17db34f3 96f02596a2a0eadbd0a47d88bfc7e5d1c9277d09 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391694400 +0100	rebase -i (finish): refs/heads/master onto e7aedb0
96f02596a2a0eadbd0a47d88bfc7e5d1c9277d09 7ff31810e6df7967ff51f32bc22e73e138ce4a27 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391707051 +0100	commit: generator: support ALARMCALLBACK()
7ff31810e6df7967ff51f32bc22e73e138ce4a27 31015808437149fdaa4b04631b7af1c9c8eb6c0d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391761766 +0100	commit: bugfix: fix testsuite
31015808437149fdaa4b04631b7af1c9c8eb6c0d 51aac0dcdcfebb09365effbe52312f5e40f8ce01 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1391762483 +0100	commit: cmake: make apps building independend
51aac0dcdcfebb09365effbe52312f5e40f8ce01 766247f6a07760728fc16b5ef9c5ab054b8e6219 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392021666 +0100	commit: i386/pagestables: make generator more verbose
766247f6a07760728fc16b5ef9c5ab054b8e6219 f9b8b27b5131e9e9c16e1856155db1f268ac738c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392021733 +0100	commit: generator: implement SetRelAlarm
f9b8b27b5131e9e9c16e1856155db1f268ac738c 68630d0f77bde12eb495e24f1e6a5d526783e256 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392025517 +0100	commit (amend): generator: implement SetRelAlarm
68630d0f77bde12eb495e24f1e6a5d526783e256 f9b8b27b5131e9e9c16e1856155db1f268ac738c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392025532 +0100	reset: moving to f9b8b27
f9b8b27b5131e9e9c16e1856155db1f268ac738c 43248a05b9d34c78a900dfff5949a8048661e305 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392025557 +0100	commit: generator: implement CancelAlarm
43248a05b9d34c78a900dfff5949a8048661e305 f472a4df34b65c81e02b7864070c926fea933474 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392025593 +0100	commit (amend): generator: implement CancelAlarm
f472a4df34b65c81e02b7864070c926fea933474 736946f525ad3b7407b39d8a5866c172adb8dd88 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392026026 +0100	commit (amend): generator: implement CancelAlarm
736946f525ad3b7407b39d8a5866c172adb8dd88 a575fa18b648324d61ad661919d3c8b9d3755331 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392026208 +0100	commit (amend): generator: implement CancelAlarm
a575fa18b648324d61ad661919d3c8b9d3755331 0a2652a1a2f411e1c9aadcacfa74b1ab4abbf900 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392034771 +0100	commit: generator/analysis: new pass DynamicPriorityAnalysis
0a2652a1a2f411e1c9aadcacfa74b1ab4abbf900 700e5a39f00cd59805b371389461c9431dcf0932 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392035636 +0100	rebase finished: refs/heads/master onto 1b10f7436ab33fb90df9599a88bbd65b8d914610
700e5a39f00cd59805b371389461c9431dcf0932 931e2550987caf2d5f9df4b072284a38f5fdf0b9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392035858 +0100	commit: Analysis: remove old and dusty debugging facility
931e2550987caf2d5f9df4b072284a38f5fdf0b9 e2f6b9d7eefa1611ede1aca679cc7ba51b7d40b3 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392044468 +0100	commit: generator: implement GetResource and ReleaseResource
e2f6b9d7eefa1611ede1aca679cc7ba51b7d40b3 89d1b92fa47562d85097c95506f09c539d3ba1a6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392044848 +0100	commit (amend): generator: implement GetResource and ReleaseResource
89d1b92fa47562d85097c95506f09c539d3ba1a6 c5d4fd07d481e2be4f628c42cb447b969f54ccca Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392045422 +0100	commit: generator: fix various pylint warnings
c5d4fd07d481e2be4f628c42cb447b969f54ccca 9e8050ab8272a179cfd994186b5ac83fbbad245d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392048340 +0100	commit: generator/analysis: more Resource testcases
9e8050ab8272a179cfd994186b5ac83fbbad245d 3328f84ab80a2c5a8b0c2cb2c083c75421ecd125 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392048625 +0100	commit (amend): generator/analysis: more Resource testcases
3328f84ab80a2c5a8b0c2cb2c083c75421ecd125 0588b72c550644669eb09822428531e117266ff9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392048631 +0100	commit (amend): generator/analysis: more Resource testcases
0588b72c550644669eb09822428531e117266ff9 73875f5fe7f7d8b38262ab76aeeb600c09c589e6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392111467 +0100	commit: generator: support multiple Resources
73875f5fe7f7d8b38262ab76aeeb600c09c589e6 a77a4ad90e3239434bf6112aaf871e92231f6f71 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392112387 +0100	reset: moving to gerrit/master
a77a4ad90e3239434bf6112aaf871e92231f6f71 40650163d00dc59c45763dfe89f8b7d7fb972ff1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392113102 +0100	commit: generator: more Resource testcases
40650163d00dc59c45763dfe89f8b7d7fb972ff1 0341b7de27b6c100c4c53435bc6e2ab5b03e113a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392122721 +0100	commit: generator/analysis: bugfix in scheduling
0341b7de27b6c100c4c53435bc6e2ab5b03e113a 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392128790 +0100	commit (amend): generator/analysis: bugfix in scheduling
4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c 8a4d99cde65736da4cfa174f56e019f99286f65d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392131867 +0100	commit (amend): generator/analysis: bugfix in scheduling
8a4d99cde65736da4cfa174f56e019f99286f65d 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392131953 +0100	reset: moving to 4083d62
4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c 91c51bbbaee00fb91bba2945322bd100f35a99b4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392131965 +0100	commit: generator: more testcases for resources
91c51bbbaee00fb91bba2945322bd100f35a99b4 bfbf5b6fcb9a2f3a7cf4948566f2daf96727483a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392212658 +0100	commit (amend): generator: more testcases for resources
bfbf5b6fcb9a2f3a7cf4948566f2daf96727483a 7a5ad82bb8d6f9b880556cd92171d12588346e9a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392212680 +0100	commit: scheduler: SetReady may not decrease the priority of a task
7a5ad82bb8d6f9b880556cd92171d12588346e9a 01fd48ec7d26091e79a607965e28b61c22b77b3e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392213758 +0100	commit: posix: reuse totally filled signal mask
01fd48ec7d26091e79a607965e28b61c22b77b3e bba0b5d080efcde9fc48793067406391c573d12d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392213776 +0100	commit: test
bba0b5d080efcde9fc48793067406391c573d12d 52e43e71f3bd1bd3d243e691bef90e25daf3270a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392213837 +0100	rebase -i (finish): refs/heads/master onto 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c
52e43e71f3bd1bd3d243e691bef90e25daf3270a dd04e07f58bd23b64183363911a3d85c9f8ce3e2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392216380 +0100	commit: fixup! scheduler: SetReady may not decrease the priority of a task
dd04e07f58bd23b64183363911a3d85c9f8ce3e2 25cb39f2937ae8b284ec4a4f887925cabfc1b24a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392216477 +0100	rebase -i (finish): refs/heads/master onto 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c
25cb39f2937ae8b284ec4a4f887925cabfc1b24a faa4f865a61dd892aa2b244e5c5ac29b7985a502 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392217746 +0100	cherry-pick: fail: allow FAIL* testing of generated apps
faa4f865a61dd892aa2b244e5c5ac29b7985a502 623a5e9d0cdf909c154484de6548e00904c41f7f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392222516 +0100	commit: fixup! scheduler: SetReady may not decrease the priority of a task
623a5e9d0cdf909c154484de6548e00904c41f7f b4b834f5cef5dfbaf633aaf63e8e48eb5ba2d64e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392222527 +0100	commit: fixup! generator: more testcases for resources
b4b834f5cef5dfbaf633aaf63e8e48eb5ba2d64e 7654f141b45b38cac10762e1df028377d3fabe47 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392222549 +0100	commit: generator: extra pass for call-graph
7654f141b45b38cac10762e1df028377d3fabe47 dd6a53a7d517e12635edc843b9534038002398c1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392222830 +0100	rebase -i (finish): refs/heads/master onto 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c
dd6a53a7d517e12635edc843b9534038002398c1 318a2c388ef698ae23591c90dea372f11465bc79 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392222890 +0100	rebase -i (finish): refs/heads/master onto 4083d62753c4bdcc942aa5a4aa0c6d9a70a6078c
318a2c388ef698ae23591c90dea372f11465bc79 c793d4412cda570949f07405dbed29b20dd6c0a2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392223956 +0100	reset: moving to FETCH_HEAD
c793d4412cda570949f07405dbed29b20dd6c0a2 51536fa85cb6eeee168827cbef3188e854e4556f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392224090 +0100	rebase -i (finish): refs/heads/master onto 0a88d6788a9a7a2e4133403a47b8ff56691cfd77
51536fa85cb6eeee168827cbef3188e854e4556f c22647e077349ff82ff900595440240cec5ca148 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392286411 +0100	commit: cmake: new build environment generation script
c22647e077349ff82ff900595440240cec5ca148 cac72adefb1e1fbe6fc0b6f4762e1dc47411d619 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392286461 +0100	commit: unencoded system: implement SetReadyFromSuspended
cac72adefb1e1fbe6fc0b6f4762e1dc47411d619 eea7669f625714f21d63d147772bae48187427a8 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392287832 +0100	commit: cppcheck: remove some include warnings
eea7669f625714f21d63d147772bae48187427a8 921a129d8ba52b5946ca0a0a1974bb41795704ef Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392292501 +0100	commit: scheduler: cleanup the scheduler templates
921a129d8ba52b5946ca0a0a1974bb41795704ef 12806603de9f9cbb43458c6cc1dca8aed1ed7c92 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392296581 +0100	rebase finished: refs/heads/master onto 97a27e7a16ab24093a5383f505514459b0396ebe
12806603de9f9cbb43458c6cc1dca8aed1ed7c92 4fca27111357052fc8c8d9b0cfc2926c74c246a1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392296636 +0100	rebase -i (finish): refs/heads/master onto 97a27e7
4fca27111357052fc8c8d9b0cfc2926c74c246a1 0c9c179018505e20ff03457433e579ad3173075e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392296848 +0100	rebase -i (finish): refs/heads/master onto 7ac79d891296fc0b5559e3c95212360c13602559
0c9c179018505e20ff03457433e579ad3173075e 2ab106aeb278844ea45bf1254a0ae604dddb6626 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392299563 +0100	commit: scheduler: optimize size of generated syscalls
2ab106aeb278844ea45bf1254a0ae604dddb6626 14b756354c70de46770b6a46b26895a9a98d8fed Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392301974 +0100	commit: generator: factor out syscalls
14b756354c70de46770b6a46b26895a9a98d8fed ccf420024f0b7fd84332996cf3dd52051ffdf6c8 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392630021 +0100	reset: moving to refs/remotes/gerrit/master
ccf420024f0b7fd84332996cf3dd52051ffdf6c8 970cec5648cc22000fe3f6bb55cd505357e8e7b5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392648241 +0100	commit: generator: add --specialize for specialized system calls
970cec5648cc22000fe3f6bb55cd505357e8e7b5 7e7e3c431a687b4845e09a812edfd0fddd29281d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392648531 +0100	rebase finished: refs/heads/master onto 9a242146b3dc586d0ca5de6c88f4ca317d8ddf15
7e7e3c431a687b4845e09a812edfd0fddd29281d f83eaa53c1dd51c43cda574b67bd1b68908088cb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392651637 +0100	commit: generator: make --specialized work for the unencoded variant
f83eaa53c1dd51c43cda574b67bd1b68908088cb c02d9b093f2c7ab7648005b01494390ec8100feb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392654278 +0100	commit: new_build_end: use proper value-like command line flags
c02d9b093f2c7ab7648005b01494390ec8100feb fb24fbb5ace1472115ae0234bf3e26bcb6132c15 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392656678 +0100	commit: tests: remove counter test
fb24fbb5ace1472115ae0234bf3e26bcb6132c15 712b78ab8cf92249259efe2e22baf1f14b0c4066 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392714537 +0100	pull: Fast-forward
712b78ab8cf92249259efe2e22baf1f14b0c4066 cf2fe0e5bf0bef0605510a678cdc67cfc93c766c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392715218 +0100	commit: tests: make clock cycles for test very long
cf2fe0e5bf0bef0605510a678cdc67cfc93c766c bd12954825dc0381d79ae7fd161f11c61904a3c5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392730214 +0100	commit: generator: specialized Scheduler
bd12954825dc0381d79ae7fd161f11c61904a3c5 c0413a3db34ead355dd6c9c0a7fdb3abbec59154 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392802755 +0100	commit: generator: new pass SymbolicSystemExecution
c0413a3db34ead355dd6c9c0a7fdb3abbec59154 228ead7e0481789c4354b4185ba080c32361e3c4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392805728 +0100	commit: generator: refactoring of graph analysis
228ead7e0481789c4354b4185ba080c32361e3c4 d05a3e910b754d5d809cf0b944708b556dbaf209 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392812278 +0100	commit (amend): generator: refactoring of graph analysis
d05a3e910b754d5d809cf0b944708b556dbaf209 0b5129718f06e81d386407dfb9789e9155b2248a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392812324 +0100	commit (amend): generator: refactoring of graph analysis
0b5129718f06e81d386407dfb9789e9155b2248a b878cc9887ca3b30d2913c13084d509501ee831f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392899909 +0100	commit: SSE: improve global cfg with the symbolic system execution
b878cc9887ca3b30d2913c13084d509501ee831f 2d18d8cfa9528ed3e50ebd506b10b68ea6bf03c2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392901679 +0100	commit: toolchain: remove linker tempdir afterwards
2d18d8cfa9528ed3e50ebd506b10b68ea6bf03c2 1c325fc2832656aa7a6478465ba83287ac328529 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392901823 +0100	commit: fixup! SSE: improve global cfg with the symbolic system execution
1c325fc2832656aa7a6478465ba83287ac328529 3c18a39438a6346329bbd8133861959039accc46 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392901883 +0100	rebase -i (finish): refs/heads/master onto b878cc9
3c18a39438a6346329bbd8133861959039accc46 71b0fbfe8c0e45339ef74243bfc3725c41d58c6e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392908884 +0100	commit: generator/SSE: fix function calling
71b0fbfe8c0e45339ef74243bfc3725c41d58c6e 2a7aef9c4737d34bc9bdff666128395dea3dfafb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392911532 +0100	commit (amend): generator/SSE: fix function calling
2a7aef9c4737d34bc9bdff666128395dea3dfafb 71b0fbfe8c0e45339ef74243bfc3725c41d58c6e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392911594 +0100	reset: moving to 71b0fbf
71b0fbfe8c0e45339ef74243bfc3725c41d58c6e 1d4e24885a579aea8eebb8fb4f425283460b6ae4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392911597 +0100	commit: generator: use integers for edge types
1d4e24885a579aea8eebb8fb4f425283460b6ae4 cbc5bab9f460f9eaf80c7654fd9704599fd5d42b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392914423 +0100	commit: generator: rearrange passes
cbc5bab9f460f9eaf80c7654fd9704599fd5d42b b9e173c9f444d9fe98ee4ad0873e284dee2b7cbe Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392916395 +0100	commit: generator: new ABB kickoff
b9e173c9f444d9fe98ee4ad0873e284dee2b7cbe 1b9c8b0ace452231a4d3ea74670d74f06506084d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392971309 +0100	reset: moving to refs/remotes/gerrit/master
1b9c8b0ace452231a4d3ea74670d74f06506084d 1de52e7bb734137569285ad6a319ceab1e1a0780 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392972939 +0100	pull: Fast-forward
1de52e7bb734137569285ad6a319ceab1e1a0780 3b254e191dff02f496d02506f1b7dee950ee8bd0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392973008 +0100	reset: moving to 3b254e191dff02f496d02506f1b7dee950ee8bd0
3b254e191dff02f496d02506f1b7dee950ee8bd0 1de52e7bb734137569285ad6a319ceab1e1a0780 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392973016 +0100	reset: moving to 1de52e7bb734137569285ad6a319ceab1e1a0780
1de52e7bb734137569285ad6a319ceab1e1a0780 1b7063e5ef297443b3535bd6f06bf1a0622dd856 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392975926 +0100	commit: generator: run system-level analyses only on specialized system
1b7063e5ef297443b3535bd6f06bf1a0622dd856 89d2e025d3dd6737fb516eee5653a9bd314ff7af Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392976753 +0100	commit: generator: rename RunningTaskAnalysis
89d2e025d3dd6737fb516eee5653a9bd314ff7af e9825d8a32b92ffe5c649d3854a5b39c753ccc1c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392982384 +0100	commit: generator: construct global control flow graph from StateFlow or SSE
e9825d8a32b92ffe5c649d3854a5b39c753ccc1c d73f7bb961db23e4d8649fb8bf442bc635e2aaca Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392982524 +0100	commit (amend): generator: construct global control flow graph from StateFlow or SSE
d73f7bb961db23e4d8649fb8bf442bc635e2aaca d731df84bc1203bb2cc993bc23f2e48f7ee27757 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392984793 +0100	commit (amend): generator: construct global control flow graph from StateFlow or SSE
d731df84bc1203bb2cc993bc23f2e48f7ee27757 2fd6c4bda395cc36c67ab2fe53e67756e3497137 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392986196 +0100	commit (amend): generator: construct global control flow graph from StateFlow or SSE
2fd6c4bda395cc36c67ab2fe53e67756e3497137 43cbb2f6a038c3427b04544182c8fa510b8b35c0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392988705 +0100	commit: generator: implement an edge filter
43cbb2f6a038c3427b04544182c8fa510b8b35c0 f82a8b2c9aaf30447f324eba1e1f573a42e23da0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1392991603 +0100	commit: generator: use an enum as AtomicBasicBlock type
f82a8b2c9aaf30447f324eba1e1f573a42e23da0 79c75c4dd8eb53e7992b34ea1bfbfd13cca5ffbd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393247871 +0100	commit: contributor agreement into docs
79c75c4dd8eb53e7992b34ea1bfbfd13cca5ffbd 9308dca7e3287d5e290046e319058748cd70f579 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393261951 +0100	commit: generator: support disabling and re-enabling of IRQs
9308dca7e3287d5e290046e319058748cd70f579 6d1cf6b0cf6d7d0a90ad16d4baf92de23191fe25 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393580865 +0100	pull: Merge made by the 'recursive' strategy.
6d1cf6b0cf6d7d0a90ad16d4baf92de23191fe25 9308dca7e3287d5e290046e319058748cd70f579 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393580879 +0100	reset: moving to 9308dca
9308dca7e3287d5e290046e319058748cd70f579 3859fffa5e6d1abb3794c70c469d534f2b7fd4ad Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393580895 +0100	rebase finished: refs/heads/master onto 1945b5eeb7e6684fa62abbe7af676c6aaa2cd086
3859fffa5e6d1abb3794c70c469d534f2b7fd4ad 573c4078b027e0b0dc509f107fcb5a1f6cf02b25 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393580965 +0100	commit: pagetables: fix too long line message
573c4078b027e0b0dc509f107fcb5a1f6cf02b25 dd5bf0b33a3d1e1a15aed57a2bf25175bf9bcbd5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393580974 +0100	rebase -i (finish): refs/heads/master onto 1945b5eeb7e6684fa62abbe7af676c6aaa2cd086
dd5bf0b33a3d1e1a15aed57a2bf25175bf9bcbd5 aaa472339ddd003a84ee3b3d5970e1e4b724aed4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393591698 +0100	commit: generator/sysmodel: promise-serialized
aaa472339ddd003a84ee3b3d5970e1e4b724aed4 aee52951f0864481f6ae04077982024cdc7d652e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393602394 +0100	commit: generator: collect statistics during execution
aee52951f0864481f6ae04077982024cdc7d652e 8bc6ceae36041dd08aa6e19f9f19e5826b576b80 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393605535 +0100	commit (amend): generator: collect statistics during execution
8bc6ceae36041dd08aa6e19f9f19e5826b576b80 93b387410645c728427ca5a8e8c8a696b3f6e408 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393606904 +0100	commit: wip
93b387410645c728427ca5a8e8c8a696b3f6e408 7feb677e28b618dc8366fde80f59211877b291d2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393607233 +0100	commit (amend): wip
7feb677e28b618dc8366fde80f59211877b291d2 d6fc24bf57ed8d6dbad1269dc7d2196aaffcf07e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393607240 +0100	commit (amend): wip
d6fc24bf57ed8d6dbad1269dc7d2196aaffcf07e e58094e3145b32126cc0f582ac2c815a02161fb2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393607694 +0100	commit (amend): cmake: start binary_stats from COREDOS_BINARY
e58094e3145b32126cc0f582ac2c815a02161fb2 628ad0d2fdbd3f26fa8f2fa2ef2651cf7e404783 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393674548 +0100	commit: generator: passthrough command line arguments and -f
628ad0d2fdbd3f26fa8f2fa2ef2651cf7e404783 69550dfccf62fbaad94bd65067f2bec326740335 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393681367 +0100	commit: generator: rename .system to .system_graph
69550dfccf62fbaad94bd65067f2bec326740335 ab0409fe71ec73f5b01593d2f040cfae189d40c0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393687478 +0100	commit: generator: GenerateAssertionsPass
ab0409fe71ec73f5b01593d2f040cfae189d40c0 aec885b7e0bb24e09e98a12972e2bc7a3be9add2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393688678 +0100	commit (amend): generator: GenerateAssertionsPass
aec885b7e0bb24e09e98a12972e2bc7a3be9add2 eb9c795224d40ab4232b4901ff3ccc98c9ce6aed Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393689664 +0100	commit (amend): generator: GenerateAssertionsPass
eb9c795224d40ab4232b4901ff3ccc98c9ce6aed 5bfd343f4166f189bfb629b04683bf32089ceea4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393691509 +0100	commit: fix some pylint warnings
5bfd343f4166f189bfb629b04683bf32089ceea4 3169fdf32397a5b8d44bb27d14d9be8f2a32594a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393750980 +0100	commit: generator/bugfix: unencoded scheduler failed to compile
3169fdf32397a5b8d44bb27d14d9be8f2a32594a 6220f1106982a7a70aaf5f63ca72b65d5526fe67 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393752292 +0100	commit: generator/GenerateAssertions: TaskWas{Not,}Kickoffed
6220f1106982a7a70aaf5f63ca72b65d5526fe67 2c7fc8b994eb7cfef4f4bfaf4a48c0def43852e0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393760044 +0100	commit: generator/bugfix: missing activation edges to kickoffs
2c7fc8b994eb7cfef4f4bfaf4a48c0def43852e0 53300947b49c5747b0e902f21c986c41596370a2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393760230 +0100	commit (amend): generator/bugfix: missing activation edges to kickoffs
53300947b49c5747b0e902f21c986c41596370a2 7a00683d6600850bfe22f4c3f5e7ed421004f7a4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393760258 +0100	commit: generator: Dominator Analysis
7a00683d6600850bfe22f4c3f5e7ed421004f7a4 a017ed285b021d07ac2375d3d13547b51a65e2ab Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393764870 +0100	commit: generator: DominanceAnalysis: find syscall immdom tree and regions
a017ed285b021d07ac2375d3d13547b51a65e2ab 070cf4ed7696cf87887d92c3e3c174572f8214b4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393765560 +0100	commit (amend): generator: DominanceAnalysis: find syscall immdom tree and regions
070cf4ed7696cf87887d92c3e3c174572f8214b4 2856cf33366424e347b2717c8f338a3ec82b22ac Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393766970 +0100	commit (amend): generator: DominanceAnalysis: find syscall immdom tree and regions
2856cf33366424e347b2717c8f338a3ec82b22ac 16a8b28a445009e4a5ad3a05ec860bc4c24662cd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393838699 +0100	commit: generator/DominanceAnalysis: calculcate the dominance border
16a8b28a445009e4a5ad3a05ec860bc4c24662cd 86fbf4920d73968b3372a34d81b4aae504666216 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393840667 +0100	commit: generator: always reset Idle loop, dispatching
86fbf4920d73968b3372a34d81b4aae504666216 e8d3f6d01a5a77368256239c8e479def6a32d981 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393860665 +0100	commit: generator: unify interrupt semantic for SSF and SSE
e8d3f6d01a5a77368256239c8e479def6a32d981 5edc820f25e88aaed4211b499cc358274c8c80fd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393863400 +0100	commit: alarms: generate ActivateTask calls for alarm handlers
5edc820f25e88aaed4211b499cc358274c8c80fd bdc83c7b2d727de0621feac7870c4540ef037a84 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393866150 +0100	commit: ASTSchedule: optimize scheduler that is executed in AST
bdc83c7b2d727de0621feac7870c4540ef037a84 9cd7cfb3e8ddb6d2dccdf0a0f2d21d34da1a21bb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393866835 +0100	commit (amend): ASTSchedule: optimize scheduler that is executed in AST
9cd7cfb3e8ddb6d2dccdf0a0f2d21d34da1a21bb cac5136e4f79fd81cfbc14891d051f64f8750f42 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1393866997 +0100	commit (amend): ASTSchedule: optimize scheduler that is executed in AST
cac5136e4f79fd81cfbc14891d051f64f8750f42 8a4f401ab195b3a3197b9f1da063e7df2707a21e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394181023 +0100	commit (amend): ASTSchedule: optimize scheduler that is executed in AST
8a4f401ab195b3a3197b9f1da063e7df2707a21e b0b6b4f1f1b1b29451a56440d0b26c725133fb9c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394192357 +0100	commit: generator: add -fcfg-regions
b0b6b4f1f1b1b29451a56440d0b26c725133fb9c 14269dcd0c197649f99f56945bdc659beecc2a83 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394209112 +0100	commit (amend): generator: add -fcfg-regions
14269dcd0c197649f99f56945bdc659beecc2a83 46b9baf6876bea9ad00f6943f9107e03f2f24c92 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394209120 +0100	commit: generator: fix DominanceAnalysis
46b9baf6876bea9ad00f6943f9107e03f2f24c92 27d92c83dde12d11f273d98180640cae634c4f84 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394209209 +0100	commit (amend): generator: fix DominanceAnalysis
27d92c83dde12d11f273d98180640cae634c4f84 b5899fcadc6d8eddcc1cb80c01d3b05bb8621f06 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394209213 +0100	commit (amend): generator: fix DominanceAnalysis
b5899fcadc6d8eddcc1cb80c01d3b05bb8621f06 fdb36a92fcf1d86cf2478f126e23a5dd7713a326 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394209218 +0100	rebase -i (finish): refs/heads/master onto 8a4f401ab195b3a3197b9f1da063e7df2707a21e
fdb36a92fcf1d86cf2478f126e23a5dd7713a326 b53db96a1de8c29771aed78fd31c3fa7b3ecb037 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394212800 +0100	commit: domin
b53db96a1de8c29771aed78fd31c3fa7b3ecb037 8fbdad0eb2837e8e57d85d2203defb98f8a4b05a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394212811 +0100	rebase -i (finish): refs/heads/master onto 60b871e
8fbdad0eb2837e8e57d85d2203defb98f8a4b05a d69ed20029e714b7f13e8e09b1fdb949e3c92661 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394439608 +0100	commit: generator: switch to python 3
d69ed20029e714b7f13e8e09b1fdb949e3c92661 3d7ad6874b9f00d54e11ccfcc54ea22dd8d400de Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394443053 +0100	commit: generator: import library for typechecking
3d7ad6874b9f00d54e11ccfcc54ea22dd8d400de c2e3f0f9bc0b43ea619d19d9f9b3e6777047e94f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394443582 +0100	commit (amend): generator: import library for typechecking
c2e3f0f9bc0b43ea619d19d9f9b3e6777047e94f fe776dea1dc93ece97bb3d31789f5c34d25ae9ac Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394450319 +0100	commit: pylint3
fe776dea1dc93ece97bb3d31789f5c34d25ae9ac d1b8bae54ce2457250a7f848afe6124c47e6e3e0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394450379 +0100	rebase -i (finish): refs/heads/master onto d69ed20
d1b8bae54ce2457250a7f848afe6124c47e6e3e0 5fe3453dd4caba39cac45381708f46959d055756 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394450450 +0100	commit (amend): generator: import library for typechecking
5fe3453dd4caba39cac45381708f46959d055756 3b838c3522f737ba02dd805239d57ed752bcb719 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394454953 +0100	commit: fix isr stuff foo reword
3b838c3522f737ba02dd805239d57ed752bcb719 0518474d73b033e99fd050515f5cd957937ed2f9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394454968 +0100	commit: coptermock
0518474d73b033e99fd050515f5cd957937ed2f9 63d534609ad3e927d8415a3ac6b443a4fd391f1e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394459381 +0100	commit (amend): coptermock
63d534609ad3e927d8415a3ac6b443a4fd391f1e 458dd5355469f66079b310f18ad9f14e19561a0d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394461176 +0100	commit: make things fast
458dd5355469f66079b310f18ad9f14e19561a0d 464e9053aa6037d549b5eb644beeed0f32fc8cd1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394461245 +0100	rebase -i (finish): refs/heads/master onto 5fe3453dd4caba39cac45381708f46959d055756
464e9053aa6037d549b5eb644beeed0f32fc8cd1 e5882a3bfe08a0af5cd7afbea823edac8f97f1b2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464171 +0100	commit: fixup! fix isr stuff foo reword
e5882a3bfe08a0af5cd7afbea823edac8f97f1b2 2cc36d63f9e0bf45edcc79752246a77a94769377 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464202 +0100	commit: isr2
2cc36d63f9e0bf45edcc79752246a77a94769377 3ddff9af6cb06e28780192f49e87bd1436c5c2f4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464291 +0100	commit (amend): isr2
3ddff9af6cb06e28780192f49e87bd1436c5c2f4 f4369365ff1664e71265b2b0c8f05b8b6675229a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464303 +0100	rebase -i (finish): refs/heads/master onto 3457504
f4369365ff1664e71265b2b0c8f05b8b6675229a 93460770e411329dfb8defe6edf712ba3e7a3ef5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464424 +0100	commit: fixup! make things fast
93460770e411329dfb8defe6edf712ba3e7a3ef5 a5dbbe311406fa7de8935943a673c0ca012901e0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394464431 +0100	rebase -i (finish): refs/heads/master onto 7265078
a5dbbe311406fa7de8935943a673c0ca012901e0 bc28c11eeb324f1dd3a60ab8e76ec954f9f6db6c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394469840 +0100	commit: fixup! generator: import library for typechecking
bc28c11eeb324f1dd3a60ab8e76ec954f9f6db6c c066abe25da337ca5696a56349942fb5413afecb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394469857 +0100	rebase -i (finish): refs/heads/master onto 6e6c3d8
c066abe25da337ca5696a56349942fb5413afecb a007464398625b40751e5303648eac3ea07b8182 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394470401 +0100	rebase -i (finish): refs/heads/master onto 5fe3453dd4caba39cac45381708f46959d055756
a007464398625b40751e5303648eac3ea07b8182 b563e054c1d6e1e91c80340adc3f2bd38dc42703 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394471336 +0100	commit (amend): coptermock: sample application
b563e054c1d6e1e91c80340adc3f2bd38dc42703 9bb3e50e77dce7aef2e115bd9e6a3a5190d1804a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394472179 +0100	commit (amend): coptermock: sample application
9bb3e50e77dce7aef2e115bd9e6a3a5190d1804a 2d5b81d9488b5dfb37f4e2b7aace5e9259406d28 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394529006 +0100	commit (amend): coptermock: sample application
2d5b81d9488b5dfb37f4e2b7aace5e9259406d28 3ac5c6e90c41a45041d7023786b8a0566424dfe9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394538941 +0100	commit: fixup! generator: remove some bottlenecks
3ac5c6e90c41a45041d7023786b8a0566424dfe9 05d635372491799a28d95707e7687db5d89b2f77 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394538976 +0100	commit: generator: hooks for {Enable,Disable}Interrupts
05d635372491799a28d95707e7687db5d89b2f77 af07b6d1eb8d905c591f5513097bf60a994ba1d5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394539048 +0100	commit: generator: more informative output
af07b6d1eb8d905c591f5513097bf60a994ba1d5 fb8805f9111f2b2263a85a71cde4ae9e3f7c4c09 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394539131 +0100	rebase -i (finish): refs/heads/master onto c5a95fe
fb8805f9111f2b2263a85a71cde4ae9e3f7c4c09 af07b6d1eb8d905c591f5513097bf60a994ba1d5 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394539189 +0100	reset: moving to af07b6d
af07b6d1eb8d905c591f5513097bf60a994ba1d5 307d3c42c7197b69b836209ed5c1b11eb6d11c9c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394539272 +0100	rebase -i (finish): refs/heads/master onto 462f4b6
307d3c42c7197b69b836209ed5c1b11eb6d11c9c ead13db61397d61ec84ebb32ba6b146747fe50f7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394540220 +0100	commit: isr
ead13db61397d61ec84ebb32ba6b146747fe50f7 e98a19c314d07142355b9c7ad5ce1b43fde4dc16 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394540228 +0100	rebase -i (finish): refs/heads/master onto b73c834
e98a19c314d07142355b9c7ad5ce1b43fde4dc16 79bf068cbd2838274d515c7a85a2729094476da1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394540516 +0100	cherry-pick: eval: FAIL* evaluation scripts
79bf068cbd2838274d515c7a85a2729094476da1 eb42edb04a550c82ee95547eafac59373ca35ea1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394540551 +0100	rebase -i (finish): refs/heads/master onto 09c1277
eb42edb04a550c82ee95547eafac59373ca35ea1 15a332ffaeb4da5f510c703c96bb6044fdc3ecb7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394542184 +0100	commit: trace analyze
15a332ffaeb4da5f510c703c96bb6044fdc3ecb7 5a75439f733a69ad4799fac5f1e44c8f09e286b9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394542320 +0100	commit (amend): trace analyze
5a75439f733a69ad4799fac5f1e44c8f09e286b9 7962bb002025b34ed39f7bacddacf08a968c0ee0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394543955 +0100	commit (amend): trace analyze
7962bb002025b34ed39f7bacddacf08a968c0ee0 0802bd542b133c8a4a6025158a150186d4de8304 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394550539 +0100	commit (amend): trace analyze
0802bd542b133c8a4a6025158a150186d4de8304 4d002f4e9044673197935e14e8a890942a5e7b93 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394552290 +0100	commit (amend): trace analyze
4d002f4e9044673197935e14e8a890942a5e7b93 cbd31e1f860ebf1a0d06a4d4ca40a2d3a3bca705 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394552612 +0100	commit (amend): trace analyze
cbd31e1f860ebf1a0d06a4d4ca40a2d3a3bca705 aaf8061e545dfda2ccaac7d49a7eef91f6806c95 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394553046 +0100	commit (amend): trace analyze
aaf8061e545dfda2ccaac7d49a7eef91f6806c95 f4f993516607b45d7024e3f97d8806fad75904e7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394553389 +0100	commit (amend): trace analyze
f4f993516607b45d7024e3f97d8806fad75904e7 e4292c7a9e1adef46e73092f30e23788cba015f8 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394554341 +0100	commit (amend): trace analyze
e4292c7a9e1adef46e73092f30e23788cba015f8 1fef9595eb12bc93099dc3e1ea179f9c66c8e2be Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394554449 +0100	commit (amend): trace analyze
1fef9595eb12bc93099dc3e1ea179f9c66c8e2be 3959740afd4cd6ff37e72c7d35c90ea8149171a7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394554555 +0100	commit (amend): trace analyze
3959740afd4cd6ff37e72c7d35c90ea8149171a7 c1e2edb446b320d152c092c45513d19c4f52a43d Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394554611 +0100	commit (amend): trace analyze
c1e2edb446b320d152c092c45513d19c4f52a43d 21b52869239fbd2b1405d11263fd167572690b8a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394554817 +0100	commit (amend): trace analyze
21b52869239fbd2b1405d11263fd167572690b8a cd46aa745525c0211c692db11ede84dc95e896e7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394611310 +0100	commit (amend): trace analyze
cd46aa745525c0211c692db11ede84dc95e896e7 383001d38051295420bfff5276f5092510eb8c05 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394611339 +0100	commit (amend): trace analyze
383001d38051295420bfff5276f5092510eb8c05 6cc85f11c0fcfd8749b81204aecc79c26e5c7c1a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394612327 +0100	commit (amend): trace analyze
6cc85f11c0fcfd8749b81204aecc79c26e5c7c1a 60dbc0de4fef18e1ce583ece95372a86a85f8bfe Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394612396 +0100	commit (amend): trace analyze
60dbc0de4fef18e1ce583ece95372a86a85f8bfe 3c816ff4bdada3b8b3bc9892bbb2215e368879ba Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394612430 +0100	commit (amend): trace analyze
3c816ff4bdada3b8b3bc9892bbb2215e368879ba fc4ebbd76fdc6284aa239b1fd4b391aa5fb88c8b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394613563 +0100	rebase -i (finish): refs/heads/master onto d6b5bbd
fc4ebbd76fdc6284aa239b1fd4b391aa5fb88c8b c5706c1949bae700e3f768c559d816c22b69da13 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394613627 +0100	rebase -i (finish): refs/heads/master onto 09c127737679bd86265cc7324463bee5c1beede0
c5706c1949bae700e3f768c559d816c22b69da13 d29c286c5484992019f85dcea1cdcff49cf6370f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394613687 +0100	rebase -i (finish): refs/heads/master onto 09c127737679bd86265cc7324463bee5c1beede0
d29c286c5484992019f85dcea1cdcff49cf6370f f87058682a058b280b88f986b45987606fd1d104 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394613705 +0100	rebase -i (finish): refs/heads/master onto 09c127737679bd86265cc7324463bee5c1beede0
f87058682a058b280b88f986b45987606fd1d104 ba1f164b66f63b19b73e05258e7e82e3c68b28da Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394613712 +0100	rebase finished: refs/heads/master onto 742588575449e1038a39333369507a2d15ff1f8f
ba1f164b66f63b19b73e05258e7e82e3c68b28da 5e3115b1a3337e16972f7af2e9989d5cb2ae6643 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394628034 +0100	commit: fail/trace_analyze: use markers for x86 systemcalls
5e3115b1a3337e16972f7af2e9989d5cb2ae6643 5cd4b7904bf613d259c9b7914c8343e08d78440f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394628334 +0100	commit (amend): fail/trace_analyze: use markers for x86 systemcalls
5cd4b7904bf613d259c9b7914c8343e08d78440f 670c894865b2606523fc2429f8d669affb62ee13 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394628590 +0100	commit (amend): fail/trace_analyze: use markers for x86 systemcalls
670c894865b2606523fc2429f8d669affb62ee13 9c7d7bf61a50540aa9e0d14f44c41daffe1eb59e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394629909 +0100	commit (amend): fail/trace_analyze: use markers for x86 systemcalls
9c7d7bf61a50540aa9e0d14f44c41daffe1eb59e 1734d18725d5b05ff4ff0c8d25a18a61bdd84cba Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394630440 +0100	commit (amend): fail/trace_analyze: use markers for x86 systemcalls
1734d18725d5b05ff4ff0c8d25a18a61bdd84cba 635dbee2c5cb213a96fb93fe291ab68619425bb8 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394631522 +0100	commit (amend): fail/trace_analyze: use markers for x86 systemcalls
635dbee2c5cb213a96fb93fe291ab68619425bb8 f46f503ab2abda7d68865451049aec5fba9f60d4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1394632134 +0100	rebase -i (finish): refs/heads/master onto ba1f164b66f63b19b73e05258e7e82e3c68b28da
f46f503ab2abda7d68865451049aec5fba9f60d4 f04c7f37de38cc50b4ab92386e389c190515ad35 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395679167 +0100	commit: generator/kickoff: new generated systemcall
f04c7f37de38cc50b4ab92386e389c190515ad35 3d8c4d7d792bc2c0a667c3c7a2a1bea65fcc5af9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395679843 +0100	commit (amend): generator/kickoff: new generated systemcall
3d8c4d7d792bc2c0a667c3c7a2a1bea65fcc5af9 7a5bfbe3771b6443bf850016c99db254d1f66241 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395828458 +0100	rebase finished: refs/heads/master onto f04b6ac9cde276da2ba62e5207accf4fc4fe5af2
7a5bfbe3771b6443bf850016c99db254d1f66241 f04b6ac9cde276da2ba62e5207accf4fc4fe5af2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395828578 +0100	reset: moving to refs/remotes/gerrit/master
f04b6ac9cde276da2ba62e5207accf4fc4fe5af2 7a5bfbe3771b6443bf850016c99db254d1f66241 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395828642 +0100	reset: moving to 7a5bfbe
7a5bfbe3771b6443bf850016c99db254d1f66241 f04b6ac9cde276da2ba62e5207accf4fc4fe5af2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395828740 +0100	reset: moving to gerrit/master
f04b6ac9cde276da2ba62e5207accf4fc4fe5af2 3a3dbc3d397e8d8f6374ad8a6c067b49dea8ee46 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395828899 +0100	commit: Use LGPL 3.0 as license
3a3dbc3d397e8d8f6374ad8a6c067b49dea8ee46 30b5fc75e5285dba1441760063f17ec7a341a505 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395834296 +0100	reset: moving to FETCH_HEAD
30b5fc75e5285dba1441760063f17ec7a341a505 0bf31530630563510961875a3ae37ba23f343e53 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395834336 +0100	commit (amend): Use LGPL 3.0 as license
0bf31530630563510961875a3ae37ba23f343e53 d1fb0f489f1403277a33b69d0a582a23e77b3954 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395834395 +0100	reset: moving to FETCH_HEAD
d1fb0f489f1403277a33b69d0a582a23e77b3954 d3fdb41e5ee437583c3f5ef77b0ce20ed3c4efca Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395834440 +0100	rebase finished: refs/heads/master onto de39cdf832ded74c444df65ad5423f28ebb60360
d3fdb41e5ee437583c3f5ef77b0ce20ed3c4efca 701d2b150d68dde31a3307a2d5a69f8341eeb05f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395835703 +0100	commit (amend): arch/i386: simplify syscalls
701d2b150d68dde31a3307a2d5a69f8341eeb05f 7a5bfbe3771b6443bf850016c99db254d1f66241 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395845787 +0100	reset: moving to 7a5bfbe3771b6443bf850016c99db254d1f66241
7a5bfbe3771b6443bf850016c99db254d1f66241 be90d2e14a548b3b6b274d66f6d1154cea453ea9 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1395851666 +0100	rebase finished: refs/heads/master onto 701d2b150d68dde31a3307a2d5a69f8341eeb05f
be90d2e14a548b3b6b274d66f6d1154cea453ea9 49d966b73d97b0838fe5ac2f907e762ea4365b0f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1396602550 +0200	reset: moving to gerrit/master
49d966b73d97b0838fe5ac2f907e762ea4365b0f 3f23b73173fc412239bf634ea4e0da9dc49bd9e4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1396602566 +0200	commit: contributor agreements
3f23b73173fc412239bf634ea4e0da9dc49bd9e4 239052a9dd91de8318c1c77cfe9806e85ff00941 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1398689884 +0200	pull gerrit master: Fast-forward
239052a9dd91de8318c1c77cfe9806e85ff00941 cc5195d8eadb70ea696758ed9ae48d7f895f83e1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1398760806 +0200	commit: fail/trace-analyze: more precise measuring of runtimes
cc5195d8eadb70ea696758ed9ae48d7f895f83e1 75db51bc5e90fbd6d0604aa24ebd75897c421706 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1402672010 +0200	pull: Fast-forward
75db51bc5e90fbd6d0604aa24ebd75897c421706 4d994031813f832eb4b0dfec59ab8f5b0c9f9c52 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1402918927 +0200	commit: generator: add more statistics about the GCFG
4d994031813f832eb4b0dfec59ab8f5b0c9f9c52 91db32fd6f50f91f1d5a1dadfbf4f47cfbd7eccf Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1402924807 +0200	reset: moving to gerrit/master
91db32fd6f50f91f1d5a1dadfbf4f47cfbd7eccf 123373307aaf7eb4e66f0284a2f7cccc571dfa01 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1402924936 +0200	commit: generator: fix the GCFG statistics
123373307aaf7eb4e66f0284a2f7cccc571dfa01 f054c1c8c84ee346e4fe13cb848e03c0dd0157ea Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1402928479 +0200	commit: generator: add a precision metric for system state
f054c1c8c84ee346e4fe13cb848e03c0dd0157ea 8edca8e5b54532ca5cfbc8839e94184e04404617 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403263579 +0200	commit (amend): generator: add a precision metric for system state
8edca8e5b54532ca5cfbc8839e94184e04404617 1ee6eb5ad39a06e1ea9b5628b825ce7cabdbfe2f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403263920 +0200	commit (amend): generator: add a precision metric for system state
1ee6eb5ad39a06e1ea9b5628b825ce7cabdbfe2f 6080750e27e87be7f29412f10650f52b40d094c4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403273931 +0200	commit: generator/SSE: make analysis much faster
6080750e27e87be7f29412f10650f52b40d094c4 ec7b867cfb3928fbab21ea33d9fb2ec3cae8f0c0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403274104 +0200	commit: apps/coptermock: add an unannotated version of the coptermock
ec7b867cfb3928fbab21ea33d9fb2ec3cae8f0c0 6a1a4070c77fa96fc4c28fb512c174694b2f7cde Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403274182 +0200	commit (amend): apps/coptermock: add an unannotated version of the coptermock
6a1a4070c77fa96fc4c28fb512c174694b2f7cde 92aea8d61b4c6da441c4891964f4a7522010d017 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403274191 +0200	rebase finished: refs/heads/master onto 3b954f8e99943361c263236ce6658f0ba6ea483f
92aea8d61b4c6da441c4891964f4a7522010d017 0047c06e659161da0b9c6767c61786f14c9558c7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403274328 +0200	commit (amend): apps/coptermock: add an unannotated version of the coptermock
0047c06e659161da0b9c6767c61786f14c9558c7 5d95096b2823b6f4e1e4975612972d585c852cca Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403519427 +0200	commit: generator/SystemState: copy states only if needed
5d95096b2823b6f4e1e4975612972d585c852cca c44898aba9efa267dce5b0db84b092f09cd577fb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403598511 +0200	commit (amend): generator/SystemState: copy states only if needed
c44898aba9efa267dce5b0db84b092f09cd577fb 7787747aa405bae8eca6d941344980d1d47a04cf Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403598583 +0200	commit (amend): generator/SystemState: copy states only if needed
7787747aa405bae8eca6d941344980d1d47a04cf 70dd010dc6788b14b8c9feed56293e4d0511bbad Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403599720 +0200	commit (amend): generator/SystemState: copy states only if needed
70dd010dc6788b14b8c9feed56293e4d0511bbad 359bb4d08b601822a752f5ef758a3e8da7b63d69 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403600729 +0200	commit (amend): generator/SystemState: copy states only if needed
359bb4d08b601822a752f5ef758a3e8da7b63d69 d013709c39cbb88734aa2e3a62d264c0a4abe299 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403603048 +0200	commit (amend): generator/SystemState: copy states only if needed
d013709c39cbb88734aa2e3a62d264c0a4abe299 5844a466ca7b4d90b98d00b882d5f190365c64ea Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403621576 +0200	commit: generator: metric for inference graph updated
5844a466ca7b4d90b98d00b882d5f190365c64ea 654fffcd91ac3804f285e0923ddd9c0e592b0937 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403623410 +0200	commit (amend): generator: metric for inference graph updated
654fffcd91ac3804f285e0923ddd9c0e592b0937 456cabcb17556deae4732b7224629db400a64022 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403624828 +0200	commit (amend): generator: metric for inference graph updated
456cabcb17556deae4732b7224629db400a64022 7d75eb5b08fa71ff64aa86e19d5b787bc2dcead6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403686435 +0200	commit: trace
7d75eb5b08fa71ff64aa86e19d5b787bc2dcead6 34ca6a76cd90764c71c17f9f0570e5b31d724432 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403688324 +0200	commit (amend): trace
34ca6a76cd90764c71c17f9f0570e5b31d724432 500b90a58301d51c6622c8101573ee3bb67840ec Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403688843 +0200	commit (amend): trace-analyze: do not die on nested interrupts
500b90a58301d51c6622c8101573ee3bb67840ec 1e8dc308ffa072b87ffe32632234daa5965eebd1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403692682 +0200	commit: trace-all
1e8dc308ffa072b87ffe32632234daa5965eebd1 f2946627a0cf7081f2d740a94c3c378c8044c407 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403693265 +0200	commit (amend): trace-all
f2946627a0cf7081f2d740a94c3c378c8044c407 efc74d6535665c1d290be1cb5dff103298208bf0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403693851 +0200	commit (amend): trace-all
efc74d6535665c1d290be1cb5dff103298208bf0 a2e2713c754d8c2d9c0f0250b08bbb7b06711d6f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403694144 +0200	commit (amend): trace-all
a2e2713c754d8c2d9c0f0250b08bbb7b06711d6f 9f57bd866bda6d900c5e3dafe06f9db37371f312 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403694649 +0200	commit (amend): trace-all
9f57bd866bda6d900c5e3dafe06f9db37371f312 859a9fa9111841bbe884b3f81d7bdf4e66137f18 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403694853 +0200	commit (amend): trace-all
859a9fa9111841bbe884b3f81d7bdf4e66137f18 a773dd8354af2275442c7f068643cab9c39efd0f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695141 +0200	commit (amend): trace-all
a773dd8354af2275442c7f068643cab9c39efd0f 1143c1e730eb8ccd6aca0d3730f629ed66460b99 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695569 +0200	commit (amend): trace-all
1143c1e730eb8ccd6aca0d3730f629ed66460b99 a3ac40b2a9b8bd43662052fd04442f7c71df380f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695612 +0200	commit (amend): trace-all
a3ac40b2a9b8bd43662052fd04442f7c71df380f 934fdd733649cbee1d27e8b07291893026b0d274 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695691 +0200	commit (amend): trace-all
934fdd733649cbee1d27e8b07291893026b0d274 0c1ee64e476857917faadb07aaba3ea1ebbf74f0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695780 +0200	commit (amend): trace-all
0c1ee64e476857917faadb07aaba3ea1ebbf74f0 2e8c2aaf1de6bccf42ada8e1c91c320e9e4de5ae Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403695879 +0200	commit (amend): trace-all
2e8c2aaf1de6bccf42ada8e1c91c320e9e4de5ae e7abe8bd161ba42f80a98920cf1ce4e439964bbd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403696003 +0200	commit (amend): trace-all
e7abe8bd161ba42f80a98920cf1ce4e439964bbd 6522d5b81035face3896fa21a85870fed7fd201e Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403696281 +0200	commit (amend): trace-all
6522d5b81035face3896fa21a85870fed7fd201e 1ffebc92feb0775188b9fdb2ae082b9ac2e924be Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403696543 +0200	commit (amend): trace-all
1ffebc92feb0775188b9fdb2ae082b9ac2e924be b9718420f12effdf4c5d131d7973ab6f85d4c698 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403696676 +0200	commit (amend): trace-all
b9718420f12effdf4c5d131d7973ab6f85d4c698 e5530cb207c7d80ce9396434142c0443182b8e79 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403696987 +0200	commit (amend): trace-all
e5530cb207c7d80ce9396434142c0443182b8e79 1e71de28da93056bb289e49b87150a5191f92cf1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403697234 +0200	commit (amend): trace-all
1e71de28da93056bb289e49b87150a5191f92cf1 c051a6c1bf1920dbfead72c24b60c68419e671b2 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403704331 +0200	commit (amend): fail-trace-all: add option to trace all test-cases
c051a6c1bf1920dbfead72c24b60c68419e671b2 1029cec158c3c46b6c2da03e38a1c09fc08a5d1b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1403712121 +0200	commit (amend): fail-trace-all: add option to trace all test-cases
1029cec158c3c46b6c2da03e38a1c09fc08a5d1b 2b947220fb5cdcea4779339e61e0f91d8b628558 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404119532 +0200	commit: statistics: make a _parent pointer
2b947220fb5cdcea4779339e61e0f91d8b628558 cfa9070c705681346b9fbec6c0b656547a44290c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404124026 +0200	commit (amend): statistics: make a _parent pointer
cfa9070c705681346b9fbec6c0b656547a44290c 1503ccb9e0419bc8563bddf672ce1c7b0c943e6b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404124289 +0200	commit (amend): statistics: make a _parent pointer
1503ccb9e0419bc8563bddf672ce1c7b0c943e6b 3bc778bf55bddf9d0be09aa4155eb1ddfb29363f Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404125094 +0200	commit: trace
3bc778bf55bddf9d0be09aa4155eb1ddfb29363f f0991653f8cabe3b25a866af529ca8c757867cd0 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404125151 +0200	rebase -i (finish): refs/heads/master onto 456cabcb17556deae4732b7224629db400a64022
f0991653f8cabe3b25a866af529ca8c757867cd0 45d495e6792014d1916d54a7dc248822aeda08bd Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404138952 +0200	reset: moving to gerrit/master
45d495e6792014d1916d54a7dc248822aeda08bd 141075f797d31a703dfee2e5fe9e03177ef2b70c Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404139087 +0200	commit: trace-analyze: do not die on multiple syscalls in an interrupt
141075f797d31a703dfee2e5fe9e03177ef2b70c 58ee140e59a1afa05aa6fa66dc7a9d97f381d6c4 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404139164 +0200	commit (amend): trace-analyze: do not die on multiple syscalls in an interrupt
58ee140e59a1afa05aa6fa66dc7a9d97f381d6c4 7b0ac24fc8dca3303df7a004c31d29b631bf6ef6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404744046 +0200	commit: assert: introduce colored asserts
7b0ac24fc8dca3303df7a004c31d29b631bf6ef6 0ced0a2951875f354ff9cec9e22cb9401c16ead1 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404910803 +0200	commit: arch/i386: enable all redundancy measures only on ENCODED
0ced0a2951875f354ff9cec9e22cb9401c16ead1 756d5cb36c6d6f66deac2f45f82618f9c36bec42 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404910990 +0200	rebase finished: refs/heads/master onto 8fc6539dd74b7f8928fc93493d46d5019db3afb7
756d5cb36c6d6f66deac2f45f82618f9c36bec42 1ead955d15f7f3d37cdf0a5026abe59410fcb855 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404918363 +0200	commit: assert: use unique markers for color_assert
1ead955d15f7f3d37cdf0a5026abe59410fcb855 ccab1dba796c726786481254d26565835adaa039 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414078056 +0200	reset: moving to gerrit/master
ccab1dba796c726786481254d26565835adaa039 3f0bd2375f954907a61ba03b3eee643c3b46acdb Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414078323 +0200	commit: scripts/docker: A docker.io file for dOSEK
3f0bd2375f954907a61ba03b3eee643c3b46acdb 3dae1c647e69823e3e5765a46ae5f707bc4a81d7 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414145586 +0200	commit: rename source code from coredos -> dosek
3dae1c647e69823e3e5765a46ae5f707bc4a81d7 7e290f8e07a961455b2d415ffa5cb7ab82c0615a Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414145611 +0200	commit: Added more detailed readme
7e290f8e07a961455b2d415ffa5cb7ab82c0615a 886fb6102cb27adc5dd65999e24bd93a8fc90e14 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414145808 +0200	commit (amend): Added more detailed readme
886fb6102cb27adc5dd65999e24bd93a8fc90e14 c332f2e48c265ee766c3bfdf8644c8ff0449db51 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414146316 +0200	commit (amend): Added more detailed readme
c332f2e48c265ee766c3bfdf8644c8ff0449db51 b563ced9d6ccb20a137b03388a6edf0068b63b8b Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1414147946 +0200	reset: moving to b563ced9d6ccb20a137b03388a6edf0068b63b8b
