TTool merge requestshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests2018-07-10T14:54:09Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/66Added Figure to SysML-Sec tutorial and Firewall generation2018-07-10T14:54:09ZLetitia LiAdded Figure to SysML-Sec tutorial and Firewall generationHalf-finished firewall addition and missing tutorial figure addedHalf-finished firewall addition and missing tutorial figure addedLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/67Firewall Generation on syntax analysis is now working2018-07-11T11:41:47ZLetitia LiFirewall Generation on syntax analysis is now workingWell, it seems to be working, though it needs further testing.Well, it seems to be working, though it needs further testing.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/68Action state translation and backtracing on ports2018-07-13T10:59:36ZLetitia LiAction state translation and backtracing on portsSymbols within action states are removed since ProVerif can't understand them, and Proverif Result traces are displayed on ports with 'Show ProVerif Trace'.
No luck with fork channels however...Symbols within action states are removed since ProVerif can't understand them, and Proverif Result traces are displayed on ports with 'Show ProVerif Trace'.
No luck with fork channels however...https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/69Finding time between corresponding requests and Avatar ProVerif trace display2018-07-18T07:07:09ZLetitia LiFinding time between corresponding requests and Avatar ProVerif trace displayAlso, models with forks and joins should work now.Also, models with forks and joins should work now.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/70Added save trace in png capability2018-07-18T14:53:54ZLetitia LiAdded save trace in png capabilityA small commit to save diplodocus simulation traces in png.A small commit to save diplodocus simulation traces in png.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/71Security generation fixes and Security testing model2018-09-10T09:40:37ZLetitia LiSecurity generation fixes and Security testing modelConfidentiality is now only allowed on origin channels, Authenticity is only on destination channels.
Security generation now works on channels with different port names, and also on fork/join channels.
Also, a security testing model h...Confidentiality is now only allowed on origin channels, Authenticity is only on destination channels.
Security generation now works on channels with different port names, and also on fork/join channels.
Also, a security testing model has been added.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/72Syscams2018-09-10T13:27:24ZDaniela GeniusSyscamsLip6 work of last 2 months : SsytemC-AMS (TDF and ELN), clustered (yet incomplete), OSLip6 work of last 2 months : SsytemC-AMS (TDF and ELN), clustered (yet incomplete), OSDaniela GeniusDaniela Geniushttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/73Latency fix2018-09-18T12:11:12ZLetitia LiLatency fixLatency fix and some other old changes to traces and lossy channels.Latency fix and some other old changes to traces and lossy channels.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/78Diplodocus latency fix2018-09-18T15:29:21ZLetitia LiDiplodocus latency fixDiplodocus latencies should be fixed so events correspond 1-to-1.Diplodocus latencies should be fixed so events correspond 1-to-1.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/76Resolve "Hidden component still clickable"2018-09-18T15:29:42ZArthur VuagniauxResolve "Hidden component still clickable"Closes #73Closes #73https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/79Corrected latency measurements2018-09-19T10:05:48ZLetitia LiCorrected latency measurementsMeasures trans1.endTime -> trans2.endTimeMeasures trans1.endTime -> trans2.endTimeLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/80Fixed proverif trace missing2018-09-26T14:54:47ZLetitia LiFixed proverif trace missingThe jsimulationsdpanel should show traces correctly now for simulation and proverif traces.The jsimulationsdpanel should show traces correctly now for simulation and proverif traces.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/81Fixed proverif result trace display2018-09-27T07:27:21ZLetitia LiFixed proverif result trace displayTraces should now be displayed, and on the correct port.Traces should now be displayed, and on the correct port.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/82Update doc but issue not close2018-10-12T10:27:29ZArthur VuagniauxUpdate doc but issue not closeI update the doc, but some TODO still remain (part 6.4, 7.2).
And the part for the installer and for the automated tests cannot be written now, they'll be written laterI update the doc, but some TODO still remain (part 6.4, 7.2).
And the part for the installer and for the automated tests cannot be written now, they'll be written laterhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/83Javier testing2018-11-14T12:44:31ZJavier.Errea-MorenoJavier testinghttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/87Test merge gui2018-12-06T13:13:04ZArthur VuagniauxTest merge guiMerge GUI partMerge GUI partLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/88Issue #71: Merge gradle2018-12-06T13:55:43ZArthur VuagniauxIssue #71: Merge gradleLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/89Update all description warnings & errors when making javadoc2018-12-21T12:26:04ZMinh Hiep Phamminh.pham@telecom-paristech.frUpdate all description warnings & errors when making javadocwarning : update @return, @param & @throws descriptions
error : - use of "<p> </p>" to separate paragraphs instead of using "<p/>"
- replace "->" symbol by "to"
- don't use "&" symbol to write description for jav...warning : update @return, @param & @throws descriptions
error : - use of "<p> </p>" to separate paragraphs instead of using "<p/>"
- replace "->" symbol by "to"
- don't use "&" symbol to write description for javadoc
Minh Hiep Phamminh.pham@telecom-paristech.frMinh Hiep Phamminh.pham@telecom-paristech.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/92Resolve "Update developper documentation"2019-01-25T15:23:27ZArthur VuagniauxResolve "Update developper documentation"Closes #155 for nowCloses #155 for nowhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/98CompareTML test2019-01-31T08:09:57ZMinh Hiep Phamminh.pham@telecom-paristech.frCompareTML testLudovic ApvrilleLudovic Apvrille