Merge requests · Eclipse Projects

Shorten the test traversal

eclipse/autowrx/ui-automation-test!8 · created Jun 19, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Update test sign in, sign up ang log out

eclipse/autowrx/ui-automation-test!7 · created Jun 19, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Add tests for prototype testing, reduce unnecessary functions

eclipse/autowrx/ui-automation-test!11 · created Jun 28, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Update test model and test prototype

eclipse/autowrx/ui-automation-test!9 · created Jun 21, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Test Dashboard, send email, delete testing objects

eclipse/autowrx/ui-automation-test!10 · created Jun 27, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Test SignIn SignUp Model and No Data Cases

eclipse/autowrx/ui-automation-test!5 · created Jun 11, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Test Model, Prototype and Page Traversal

eclipse/autowrx/ui-automation-test!6 · created Jun 17, 2024 by Giang My Vu
- Merged
updated Aug 15, 2024
Use -j flag for 'make dep' when building project

eclipse/titan/titan.EclipsePlug-ins!1431 · created Aug 14, 2024 by Miklos Magyari
- Merged
updated Aug 14, 2024
#949 Improve and add descriptions to CIF benchmark models.

eclipse/escet/escet!1031 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Aug 14, 2024
#353 CIF to mCRL2: add 'marked' action

eclipse/escet/escet!1032 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Aug 14, 2024
#938 Improved data-based synthesis and controller properties checker debug/warning output

eclipse/escet/escet!1026 · created Aug 11, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Aug 14, 2024
#841 develop to master for v5.0-M1

eclipse/escet/escet!1033 · created Aug 14, 2024 by Dennis Hendriks v5.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Aug 14, 2024
#841 Update release notes for v5.0-M1.

eclipse/escet/escet!1025 · created Aug 10, 2024 by Dennis Hendriks v5.0
RelEng/DevOps TypeEnhancement
- Merged
- 3
updated Aug 14, 2024
#935 PLCgen: CifProcessor collects results, target distributes them.

eclipse/escet/escet!1029 · created Aug 12, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 21
- Approved
updated Aug 13, 2024
#948 CIF to mCRL2 precheck/docs: div/mod for positive divisor.

eclipse/escet/escet!1030 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 13, 2024
Temporarily increase fetch user to 50

eclipse/autowrx/autowrx!92 · created Aug 13, 2024 by Tam Thai Hoang Minh
- Merged
updated Aug 13, 2024
Improve handling of case user don't have permission to navigate

eclipse/autowrx/autowrx!91 · created Aug 13, 2024 by Tam Thai Hoang Minh
- Merged
updated Aug 13, 2024
#948 CIF to mCRL2 supports div/mod on positive divisors

eclipse/escet/escet!1027 · created Aug 11, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 8
- Approved
updated Aug 13, 2024
Add stop loading handler for proposal prototypes

eclipse/autowrx/autowrx!90 · created Aug 13, 2024 by Tam Thai Hoang Minh
- Merged
updated Aug 13, 2024
Remove non-sense error log. Prevent unauthorized access any feature

eclipse/autowrx/autowrx!89 · created Aug 12, 2024 by Tam Thai Hoang Minh
- Merged
updated Aug 12, 2024