- May 22, 2020
-
-
Alberto Debiasi authored
-
Alberto Debiasi authored
-
- May 21, 2020
-
-
Pietro Braghieri authored
-
- May 20, 2020
-
-
Luca Cristoforetti authored
Resolve "Review checkers execution" Closes #253 See merge request CPS_Design/CHESS!61
-
Luca Cristoforetti authored
-
Luca Cristoforetti authored
-
- May 19, 2020
-
-
Luca Cristoforetti authored
-
- May 12, 2020
-
-
Luca Cristoforetti authored
-
- May 08, 2020
-
-
Alberto Debiasi authored
Resolve "Create CHESS Bundle via Maven" Closes #251 See merge request CPS_Design/CHESS!59
-
Alberto Debiasi authored
-
- May 07, 2020
-
-
Alberto Debiasi authored
Change-Id: If35f9beee35b7366d1a7327235ecee8ffbb04a9c
-
Alberto Debiasi authored
-
Alberto Debiasi authored
Change-Id: I4f309ffa4fd58f6eb1f365a1181fb211ae252d18
-
Pietro Braghieri authored
-
- May 06, 2020
-
-
Alberto Debiasi authored
Change-Id: I0ae22fc052cc23f5a377a6a36d553e538f206fb2
-
Pietro Braghieri authored
-
Alberto Debiasi authored
Change-Id: Ic93726f17b4db7fa8926d4c505a3f037a58f7bcb
-
Alberto Debiasi authored
Change-Id: I57accfabe9ed7980b8184754673dc0d25811a136
-
Alberto Debiasi authored
feature. Change-Id: I058ab16f63ce5a94a4370be388a7f2f3720b67c0
-
Alberto Debiasi authored
Merge branch '251-create-chess-bundle-via-maven' of git@gitlab.fbk.eu:CPS_Design/CHESS.git into 251-create-chess-bundle-via-maven
-
Alberto Debiasi authored
-
Alberto Debiasi authored
Change-Id: I5409d8d57a33344c87e2b2bd0f78be740bd22d90
-
Pietro Braghieri authored
-
Pietro Braghieri authored
-
- May 05, 2020
-
-
Pietro Braghieri authored
-
Luca Cristoforetti authored
Resolve "Add new constructors to StateStatus checker" Closes #252 See merge request CPS_Design/CHESS!60
-
Luca Cristoforetti authored
-
Pietro Braghieri authored
-
- May 04, 2020
-
-
Alberto Debiasi authored
-
- Apr 23, 2020
-
-
Luca Cristoforetti authored
Resolve "Add new constructors to NameDistance checker" Closes #250 See merge request CPS_Design/CHESS!58
-
Luca Cristoforetti authored
-
- Apr 19, 2020
-
-
Pietro Braghieri authored
-
Pietro Braghieri authored
-
Pietro Braghieri authored
Resolve "Mavenize FLA DSL Plugins" Closes #248 See merge request CPS_Design/CHESS!57
-
Pietro Braghieri authored
-
- Apr 15, 2020
-
-
Alberto Debiasi authored
Change-Id: Ib69399c07cfa42b3e16f90a3c2e973189e35bbfc
-
Alberto Debiasi authored
Change-Id: I5e46dca891d1b4b2525ddc1767649fb3cc3870ac
-
- Apr 02, 2020
-
-
Luca Cristoforetti authored
Resolve "Implement a checker for identifiers validity" Closes #245 See merge request CPS_Design/CHESS!56
-
Luca Cristoforetti authored
-
- Mar 31, 2020
-
-
Luca Cristoforetti authored
Merge branch '244-improve-imarker-handling-in-problems-view-and-update-checker-manager' into 'master' Resolve "Improve IMarker handling in Problems View and update Checker Manager" Closes #244 See merge request CPS_Design/CHESS!55
-