TTool merge requestshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests2023-06-20T12:20:07Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/464Parser 06 20232023-06-20T12:20:07ZSophie CoudertParser 06 2023override "protected void report_expected_token_ids() {}" in javacup parser sources (IBSOptParser.jcup and IBSStdParser.jcup) to inhibit error messages on stdout (previous fix should have inhibited error messages on stderr).override "protected void report_expected_token_ids() {}" in javacup parser sources (IBSOptParser.jcup and IBSStdParser.jcup) to inhibit error messages on stdout (previous fix should have inhibited error messages on stderr).Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/462Parser 06 20232023-06-20T09:17:51ZSophie CoudertParser 06 2023Fix issue #385 "Remove errors messages printed in the console by IBSStdParser". Suppress error on unknown tokens. Suppress one warning at compilation time (hack: add "break;" to behavior on spaces in lexer IBSStdLexer.jflex).Fix issue #385 "Remove errors messages printed in the console by IBSStdParser". Suppress error on unknown tokens. Suppress one warning at compilation time (hack: add "break;" to behavior on spaces in lexer IBSStdLexer.jflex).Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/461Clear authenticity results in AD when pressing "Clear verification results" b...2023-06-07T15:35:11ZJawher JerrayClear authenticity results in AD when pressing "Clear verification results" buttonhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/460Check Authenticity in AD + other updates2023-06-06T15:08:25ZJawher JerrayCheck Authenticity in AD + other updates- Display Authenticity locks in AD
- Fix a bug in the display of authenticity and confidentiality locks when zooming
- Fix a bug in avatar attribute name when creating an AvatarAttributeState instance.
- Keys name cant be duplicated.
- P...- Display Authenticity locks in AD
- Fix a bug in the display of authenticity and confidentiality locks when zooming
- Fix a bug in avatar attribute name when creating an AvatarAttributeState instance.
- Keys name cant be duplicated.
- Put date and hour in the panel name of the new generated model with security.
- Add Panel name when mapping a keyhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/459Adding AMULET features to AI module and enriching manual2023-06-02T16:16:43ZBastien SultanAdding AMULET features to AI module and enriching manualhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/457IntBoolSolver (IBS) version 1.0 completed2023-06-02T12:44:22ZSophie CoudertIntBoolSolver (IBS) version 1.0 completedfirst version of IBS. partially integrated in AVATAR. Provided with an instantiation for closed formulas that may be used in DIPLODOCUS.first version of IBS. partially integrated in AVATAR. Provided with an instantiation for closed formulas that may be used in DIPLODOCUS.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/456Fix backtracing authenticity and mapping keys2023-05-25T07:34:42ZJawher JerrayFix backtracing authenticity and mapping keys* Fix bugs in backtracing of authenticity status.
* Keep verifying authenticity for channels (that have check authenticity on) with no security pattern by adding a authenticity pragma.
* Fix bug in mapping automatically nonce channels in...* Fix bugs in backtracing of authenticity status.
* Keep verifying authenticity for channels (that have check authenticity on) with no security pattern by adding a authenticity pragma.
* Fix bug in mapping automatically nonce channels in memories.
* Change algo of mapping keys into memories.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/455Add a function to compare two buffers with a regex replace option2023-05-17T11:02:31ZJawher JerrayAdd a function to compare two buffers with a regex replace optionhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/454Security generation mapping new tasks2023-05-15T06:24:12ZJawher JerraySecurity generation mapping new tasksMajor updates:
* Add confidentiality pragma only for channels with the option check confidentiality
* Map automatically nonce channels in memories and buses
* Update AliceAndBobHW models + Update architectures
* Update diplodocus tu...Major updates:
* Add confidentiality pragma only for channels with the option check confidentiality
* Map automatically nonce channels in memories and buses
* Update AliceAndBobHW models + Update architectures
* Update diplodocus tutorial + Add new figureshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/453Fix some bugs in the translation from TML to AVATAR Sec2023-05-02T15:56:52ZJawher JerrayFix some bugs in the translation from TML to AVATAR Sec- Fix identification of encryption operator and decryption operator when translating to AVATAR Sec.
- Fix authenticity pragmas.
- Fix a bug in events name.- Fix identification of encryption operator and decryption operator when translating to AVATAR Sec.
- Fix authenticity pragmas.
- Fix a bug in events name.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/452Update docs and models and fix bugs for security verification2023-03-27T14:57:17ZJawher JerrayUpdate docs and models and fix bugs for security verificationThis merge request aims to update docs and models and fix bugs for security verification.
The main changes are:
- Add help buttons in security Tab for channels operations windows.
- Fix a bug when displaying the architecture name durin...This merge request aims to update docs and models and fix bugs for security verification.
The main changes are:
- Add help buttons in security Tab for channels operations windows.
- Fix a bug when displaying the architecture name during the backtracing.
- Update and fix warnings in SysMLSecTutorial model (in the folder modeling/SysMLSec).
- Update SysMLSec doc and add figures.
- Update and fix warnings in AliceAndBobHW model (in the folder modeling/SysMLSec).
- Update diplodocus tutorial doc and add figures.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/451[AMULET] Patching a bug affecting signal operators modifications2023-01-20T08:22:47ZBastien Sultan[AMULET] Patching a bug affecting signal operators modificationshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/450Patching a bug on modifications of signals with several parameters in AMULET ...2023-01-17T16:44:07ZBastien SultanPatching a bug on modifications of signals with several parameters in AMULET compilerhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/449Fix memory leak on transactions2022-12-01T12:54:08ZJawher JerrayFix memory leak on transactionsTo fix memory leak on transactions due to strings allocationTo fix memory leak on transactions due to strings allocationhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/448Sophie wrk2022-11-23T11:01:25ZSophie CoudertSophie wrkupdate documentation in TTool/doc/diplodocus_simulatorupdate documentation in TTool/doc/diplodocus_simulatorLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/447Fix length commands in trace2022-10-13T20:17:07ZJawher JerrayFix length commands in traceJawher JerrayJawher Jerrayhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/446Undo changes from commit 383566722022-10-13T13:56:02ZJawher JerrayUndo changes from commit 38356672Jawher JerrayJawher Jerrayhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/445Fix avs command and add new command rvs2022-10-13T11:17:55ZJawher JerrayFix avs command and add new command rvs* Fix a bug in avs command
* Add new command rvs (remove virtual signals) to remove signals from event* Fix a bug in avs command
* Add new command rvs (remove virtual signals) to remove signals from eventJawher JerrayJawher Jerrayhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/444Specify port to run simulator2022-10-07T15:36:52ZJawher JerraySpecify port to run simulatorAdd the possibility to specify a port number in which the simulator will be launched by adding the option "-port PORT_NUM" after the command "./run.x -server".
If no -port option is set after the command "./run.x -server", the simulator ...Add the possibility to specify a port number in which the simulator will be launched by adding the option "-port PORT_NUM" after the command "./run.x -server".
If no -port option is set after the command "./run.x -server", the simulator will be launched in the default port "3490".Jawher JerrayJawher Jerrayhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/merge_requests/443Disable width field for destination channel2022-10-07T15:18:54ZJawher JerrayDisable width field for destination channelJawher JerrayJawher Jerray