update urls
This commit is contained in:
parent
72e5987a28
commit
a76276451c
1
.gitignore
vendored
1
.gitignore
vendored
@ -5,3 +5,4 @@
|
|||||||
.vscode
|
.vscode
|
||||||
qemu
|
qemu
|
||||||
.Rhistory
|
.Rhistory
|
||||||
|
.RData
|
||||||
|
6
.gitmodules
vendored
6
.gitmodules
vendored
@ -1,10 +1,10 @@
|
|||||||
[submodule "LibAFL"]
|
[submodule "LibAFL"]
|
||||||
path = LibAFL
|
path = LibAFL
|
||||||
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-Qemu.git
|
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-LibAFL.git
|
||||||
[submodule "qemu-libafl-bridge"]
|
[submodule "qemu-libafl-bridge"]
|
||||||
path = qemu-libafl-bridge
|
path = qemu-libafl-bridge
|
||||||
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/qemu.git
|
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-qemu.git
|
||||||
[submodule "FreeRTOS"]
|
[submodule "FreeRTOS"]
|
||||||
path = FreeRTOS
|
path = FreeRTOS
|
||||||
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FreeRTOS.git
|
url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-FreeRTOS.git
|
||||||
branch = wcet-demo
|
branch = wcet-demo
|
||||||
|
4
graph2viz/Makefile
Normal file
4
graph2viz/Makefile
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
all(%):
|
||||||
|
target/debug/state2gantt $%_afl.ron > $%_afl.csv
|
||||||
|
target/debug/state2gantt $%_state.ron > $%_state.csv
|
||||||
|
target/debug/state2gantt $%_random.ron > $%_random.csv
|
1
input_crafter/.gitignore
vendored
Normal file
1
input_crafter/.gitignore
vendored
Normal file
@ -0,0 +1 @@
|
|||||||
|
target
|
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Loading…
x
Reference in New Issue
Block a user