Merge requests · TASTE

ModelChecker: added simple syntax coloring for .scl files

spacecreator!750 · created Oct 28, 2022 by Igor Jarek
- Merged
- 2
- Approved
updated Oct 31, 2022
TMC: Change from QRegExp to QRegularExpression

spacecreator!749 · created Oct 28, 2022 by Rafal Babski
- Merged
- 14
- Approved
updated Oct 31, 2022
TMC: Add constraint checks for real data type

spacecreator!748 · created Oct 27, 2022 by Arkadiusz Koszewski
- Merged
- 31
- Approved
updated Nov 03, 2022
N7s tmc#240 trace reports

spacecreator!747 · created Oct 27, 2022 by Bartosz Wojczyński
- Merged
- 2
- Approved
updated Nov 02, 2022
sync TASTE-Runtime-Common

taste-setup!199 · created Oct 26, 2022 by Filip Florczyk feature_bullseye
- Merged
updated Oct 27, 2022
N7s tmc#200 stop condition

spacecreator!746 · created Oct 26, 2022 by Bartosz Wojczyński
- Merged
- 15
- Approved
updated Oct 31, 2022
[AUR-141] Fixed failing tests

kazoo!124 · created Oct 25, 2022 by Filip Florczyk feature_bullseye
- Merged
- 2
- Approved
updated Oct 26, 2022
ModelChecker: added "Boolean Stop Condition - LTL" property

spacecreator!745 · created Oct 25, 2022 by Igor Jarek
- Merged
- 12
- Approved
updated Oct 25, 2022
n7s-tmc#233: added when-then-property-tmpl.msc file for Model Checker

taste-setup!198 · created Oct 21, 2022 by Igor Jarek feature_bullseye
- Merged
- 2
- Approved
updated Nov 04, 2022
N7s tmc#233 message sequence chart when then

spacecreator!744 · created Oct 21, 2022 by Igor Jarek
- Merged
- 4
- Approved
updated Oct 22, 2022
N7S ETB#227 - Failure reporting

spacecreator!743 · created Oct 21, 2022 by Filip Demski
- Merged
- 10
- Approved
updated Nov 03, 2022
N7S TMC#179 - Added debug prints for measuring elapsed time for sdl2promela commands

spacecreator!742 · created Oct 21, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Oct 21, 2022
N7s tmc#184 support for real in environment

spacecreator!741 · created Oct 19, 2022 by Arkadiusz Koszewski
- Merged
- 17
- Approved
updated Oct 26, 2022
N7S AUR#141 Get sender implementation

kazoo!123 · created Oct 19, 2022 by Filip Florczyk feature_bullseye
- Merged
- 6
- Approved
updated Oct 21, 2022
N7S AUR#128: added manual tests for SimulinkImporterPlugin

spacecreator!740 · created Oct 18, 2022 by Igor Jarek
- Merged
- 12
- Approved
updated Oct 22, 2022
N7s tmc#200 html report

spacecreator!739 · created Oct 17, 2022 by Bartosz Wojczyński
- Merged
- 12
- Approved
updated Oct 18, 2022
N7S TMC#236 - Fix problems with subtyping

spacecreator!738 · created Oct 14, 2022 by Filip Demski
- Merged
- Approved
updated Oct 14, 2022
N7s aur#128 simulink importer plugin fixed

spacecreator!737 · created Oct 14, 2022 by Igor Jarek
- Merged
- Approved
updated Oct 18, 2022
N7S ETB#226 - Transactions refactor

spacecreator!736 · created Oct 14, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Oct 17, 2022
N7S AUR#150 - Fixed linker issue, names mismatch

spacecreator!735 · created Oct 13, 2022 by Filip Florczyk
- Merged
- Approved
updated Oct 13, 2022