mirror of
https://github.com/Echtzeitsysteme/timed-automata-analysis-frontend.git
synced 2024-09-16 16:58:08 +00:00
change to ClauseManip and -ViewModel. maybe revert? idk
pipeline.yaml #16 -Commit
bb5e527c0b
pushed by
Echtzeitsysteme
check for resets again + integrate while, if, then etc...
pipeline.yaml #15 -Commit
35b2929a22
pushed by
Echtzeitsysteme
tweak to automatic Automaton Layout
pipeline.yaml #13 -Commit
b8b421be7d
pushed by
Echtzeitsysteme
automatic layout. edges still overlapping
pipeline.yaml #12 -Commit
480ebb9401
pushed by
Echtzeitsysteme
fixed sync constraint for later use
pipeline.yaml #9 -Commit
efee8925e4
pushed by
Echtzeitsysteme
tried to implement Element-Table for integer values. => TODO: ManipulateIntegerDialog quasi alles noch zu tun
pipeline.yaml #8 -Commit
631b50c219
pushed by
Echtzeitsysteme
delete unnecessary css content, revert to ESNext
pipeline.yaml #5 -Commit
76f241b4cc
pushed by
Echtzeitsysteme