Merge requests · Eclipse Projects

Relocating antlr sources for maven build

eclipse/titan/titan.language-server!30 · created Feb 01, 2023 by Adam Knapp
- Merged
updated Feb 01, 2023
Implemented window/showMessage

eclipse/titan/titan.language-server!29 · created Feb 01, 2023 by Miklos Magyari
- Merged
- Approved
updated Feb 01, 2023
Change the construction of login link path

eclipse/xfsc/tsa/login!7 · created Feb 01, 2023 by Cristina Pauna
updated Feb 01, 2023
Basic documentation and flows in README.md

eclipse/xfsc/tsa/login!6 · created Jan 31, 2023 by Cristina Pauna
updated Feb 01, 2023
Refactor table implementation

eclipse/set/set!62 · created Jan 26, 2023 by Pascal Stücker
- Merged
- 1
updated Jan 31, 2023
Adding missing antlr parts and preparing them for automated building

eclipse/titan/titan.language-server!28 · created Jan 31, 2023 by Adam Knapp
- Merged
updated Jan 31, 2023
Adding default port for LS launcher

eclipse/titan/titan.language-server!27 · created Jan 31, 2023 by Adam Knapp
- Merged
updated Jan 31, 2023
Project parsing 3

eclipse/titan/titan.language-server!26 · created Jan 31, 2023 by Miklos Magyari
- Merged
- Approved
updated Jan 31, 2023
test all cases in login method

eclipse/xfsc/tsa/login!5 · created Jan 30, 2023 by Cristina Pauna
- Merged
- 1
- Approved
updated Jan 31, 2023
Integrate model 1.10.0.1

eclipse/set/set!61 · created Jan 25, 2023 by Pascal Stücker
- Merged
- 14
updated Jan 31, 2023
Add login email policy

eclipse/xfsc/tsa/policies!8 · created Jan 31, 2023 by Cristina Pauna
updated Jan 31, 2023
Add experimental login service to compose environment

eclipse/xfsc/tsa/workspace!6 · created Jan 25, 2023 by Cristina Pauna
- Merged
- 1
- Approved
updated Jan 31, 2023
#198 State requirement invariants per edge: replace simplify by a skip.

eclipse/escet/escet!494 · created Jan 27, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- 4
- Approved
updated Jan 30, 2023
Project parsing 2: added ttcn3 analyzer

eclipse/titan/titan.language-server!25 · created Jan 30, 2023 by Miklos Magyari
- Merged
- Approved
updated Jan 30, 2023
Project parsing 1: added outdated file collector

eclipse/titan/titan.language-server!24 · created Jan 30, 2023 by Miklos Magyari
- Merged
- Approved
updated Jan 30, 2023
Send login link via SMTP email server

eclipse/xfsc/tsa/login!4 · created Jan 30, 2023 by Cristina Pauna
- Merged
- 1
- Approved
updated Jan 30, 2023
Resolve "Invalid info on non-passive claims of 'collision areas'"

eclipse/lsat/lsat!51 · created Jan 17, 2023 by Yuri Blankenstein v0.2
CompSpecification TypeBug
- Merged
- Approved
updated Jan 30, 2023
HTTP endpoint to retrieve public keys for verification of JWT tokens

eclipse/xfsc/tsa/login!3 · created Jan 30, 2023 by Cristina Pauna
- Merged
- 1
- Approved
updated Jan 30, 2023
Send login link with JWT to user email

eclipse/xfsc/tsa/login!2 · created Jan 27, 2023 by Cristina Pauna
updated Jan 30, 2023
#109 Integrate Cookie Settings

eclipse/xfsc/por/portal-integration!70 · created Jan 25, 2023 by Cristina Pauna
- Merged
- Approved
updated Jan 30, 2023