 Jan Enders
|
76b18d8c4c
Merge remote-tracking branch 'origin/Jascha'
|
7 years ago |
 Julian Ohl
|
eac34a8abe
Changed invalid input for attribute type msg to severity 2
|
7 years ago |
 jascha Bohne
|
efb59fb95c
# WARNING: head commit changed in the meantime
|
7 years ago |
|
jascha Bohne
|
f27a84ffa7
added input for process-need/max at Node creation
|
7 years ago |
|
jascha Bohne
|
273acd0a5a
autoformat
|
7 years ago |
|
jascha Bohne
|
aaccb0673d
added Operators
|
7 years ago |
|
jascha Bohne
|
7add696091
added input for process-need/max at Node creation
|
7 years ago |
|
Julian Ohl
|
88a9d136e4
Made several small fixes
|
7 years ago |
 dominik
|
daafcbb6c4
Bug fix in Symbol rep
|
7 years ago |
|
dominik
|
b6f0727df9
Mutliple Bug fixes
|
7 years ago |
|
jascha Bohne
|
72ea3d3485
autoformat
|
7 years ago |
|
jascha Bohne
|
97c7e7785f
added Operators
|
7 years ago |
|
MW
|
62aeb6b8a9
super easy CSS
|
7 years ago |
|
MW
|
bcf380f0f4
renamed Condition to Selector as per usual CSS naming
|
7 years ago |
|
MW
|
4a015e58b2
Merge branch 'Matthias' of https://git.tk.informatik.tu-darmstadt.de/julien.gedeon/bp-scopviz into Matthias
|
7 years ago |
|
MW
|
5d441f7448
CSS zwischenstand
|
7 years ago |
|
Matthias
|
dca0fce0c0
work work
|
7 years ago |
|
Matthias
|
cb9c720b68
fixed CSS parsing with whitespace
|
7 years ago |
|
Jan Enders
|
3c3776e199
Merged Jascha
|
7 years ago |
|
jascha Bohne
|
94dc71ee1a
added multiple export Types
|
7 years ago |
|
MW
|
0d5a91364d
CSS zwischenstand
|
7 years ago |
|
jascha Bohne
|
b523fbedcb
added new Version of multigraph export
|
7 years ago |
|
Julian Ohl
|
bf116a4ce9
Added ugly layer buttons
|
7 years ago |
|
Julian Ohl
|
3e41d771e6
Added ">" to console text for better distinguishing the individual
|
7 years ago |
|
Julian Ohl
|
085a6f9695
Fixed Domis bugs by making very difficult changes
|
7 years ago |
|
Julian Ohl
|
36ca65817a
Prepared operator graph selection box for graph switching logic
|
7 years ago |
|
Julian Ohl
|
8d166c053c
Added a combo box for selecting an operator graph
|
7 years ago |
|
Julian Ohl
|
69e8215fb8
Added holding down ctrl for creating mapping edges functionality
|
7 years ago |
|
jascha Bohne
|
83865d4289
added button for mapping
|
7 years ago |
|
dominik
|
7feb2730b7
Fixed unselect Node bug, when edge creation aborted
|
7 years ago |
