Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

TTool
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

87a53cee

Commit 87a53cee authored 7 years ago by Ludovic Apvrille

Downloads
- Plain Diff

Merge branch 'labsoc_sec' into 'master'

Finished TML2Avatar  Translation

See merge request !13

parents 11e66f8b 3d02de97

No related branches found

No related tags found

1 merge request!13Finished TML2Avatar Translation

Changes 4

Hide whitespace changes

Inline Side-by-side

Showing

modeling/modelsForTestingTTool/TML2AvatarTestModel.xml 1070 additions, 0 deletions

modeling/modelsForTestingTTool/TML2AvatarTestModel.xml
src/main/java/tmltranslator/toavatar/TML2Avatar.java 54 additions, 16 deletions

src/main/java/tmltranslator/toavatar/TML2Avatar.java
src/main/java/ui/GTURTLEModeling.java 16 additions, 14 deletions

src/main/java/ui/GTURTLEModeling.java
src/main/java/ui/window/JDialogProverifVerification.java 29 additions, 6 deletions

src/main/java/ui/window/JDialogProverifVerification.java

with 1169 additions and 36 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment