102 clock values/constraints in trace#110

Closed

APaludan wants to merge 153 commits intoEcdar:mainfrom

Ecdar-SW5:102-clock-values-in-trace

Commits on Jul 12, 2022

WIP: Merging Ecdar 2.2 simulator into main
Nielswps
committed

Commits on Jul 14, 2022

Commits on Jul 15, 2022

Commits on Aug 9, 2022

Comment updated in preparation for query implementation in simulator view
Nielswps
committed

Commits on Aug 19, 2022

WIP: Toggle for GUI mode added (sizing of toggle not working)
Nielswps
committed

Commits on Aug 22, 2022

WIP: Dialog for initializing simulation added
Nielswps
committed

Commits on Sep 26, 2022

Commits on Sep 29, 2022

changeRefinementSymbols added to display >= and <= correctly
jhbengtsson
committed

Commits on Sep 30, 2022

refactoring
APaludan
committed

Commits on Oct 3, 2022

Commits on Oct 11, 2022

Simulator merge
Nielswps
committed

Commits on Oct 13, 2022

Commits on Oct 14, 2022

Merge pull request #33 from Ecdar-SW5/19-it-should-not-be-possible-to-run-a-query-when-pressing-enter-and-no-querytype-is-chosen
jhbengtsson
authored

Commits on Oct 25, 2022

Commits on Oct 27, 2022

Commits on Oct 28, 2022

Commits on Nov 7, 2022

Variante, nickname sign replacenment

Ibra4i
authored and
mads256h
committed
Re-replace unicode to <= and >= before serializing

EmilieSonne
authored and
mads256h
committed
Replace Signes to guard fields

Ibra4i
authored and
mads256h
committed
lav static class to refactor code (using two methods only)

EmilieSonne
authored and
mads256h
committed
Use StringHelper for queries

EmilieSonne
authored and
mads256h
committed
Refacorizing Guard/Invarient code

Ibra4i
authored and
mads256h
committed
Ooops!

Ibra4i
authored and
mads256h
committed
StringHelperTest

Ibra4i
authored and
mads256h
committed
Parameterized test

EmilieSonne
authored and
mads256h
committed
Parameterized test af convert unicode to symbol

EmilieSonne
authored and
mads256h
committed
minor fixes for PR

EmilieSonne
authored and
mads256h
committed
Deleted

Ibra4i
authored and
mads256h
committed
Make parameterized tests run with gradle
mads256h
committed
Paint locations red on failure response.

Sigurd00
and
Victor Doré Hansen
committed
Reset color and failing state on new query.

Sigurd00
and
VictorDore
committed
displays failure message, still needs component name
martin
committed
Fixed java.util.ConcurrentModificationException
Sigurd00
committed
Modified build.gradle, fixes java.lang.illegalAccessError
martin
committed
Revert "Modified build.gradle, fixes java.lang.illegalAccessError"
martin
committed
Remove unused imports and fields
Sigurd00
committed

Commits on Nov 9, 2022

Commits on Nov 15, 2022

Keep red color when selecting nails. Keep red color when swapping components
Sigurd00
committed

Commits on Nov 16, 2022

Commits on Nov 17, 2022

Commits on Nov 18, 2022

Commits on Nov 23, 2022

reachability check på én location i sim med flere components. mangler clocks og anden startstate end initial.
EmilieSonne
committed

Commits on Nov 28, 2022

Merge pull request #82 from Ecdar-SW5/reachability_simulation
jhbengtsson
authored

Commits on Nov 30, 2022

Commits on Dec 2, 2022

clock names added + formatting
WassawRoki
committed

Commits on Dec 5, 2022