Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

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

Snippets Groups Projects

f7dcf5d6

Commit f7dcf5d6 authored 9 years ago by Florian Lugou

Downloads
- Patches
- Plain Diff

enabled reachability proof with ProVerif on selected only states and added...

enabled reachability proof with ProVerif on selected only states and added PrivateConstant and PublicConstant pragmas

parent 27e9b25c

No related branches found

No related tags found

Loading

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

src/avatartranslator/AvatarPragma.java 12 additions, 5 deletions

src/avatartranslator/AvatarPragma.java
src/avatartranslator/AvatarPragmaConstant.java 19 additions, 5 deletions

src/avatartranslator/AvatarPragmaConstant.java
src/avatartranslator/toproverif/AVATAR2ProVerif.java 28 additions, 13 deletions

src/avatartranslator/toproverif/AVATAR2ProVerif.java
src/ui/AvatarDesignPanelTranslator.java 5 additions, 6 deletions

src/ui/AvatarDesignPanelTranslator.java
src/ui/GTURTLEModeling.java 1 addition, 1 deletion

src/ui/GTURTLEModeling.java
src/ui/TDiagramPanel.java 1 addition, 1 deletion

src/ui/TDiagramPanel.java
src/ui/avatarbd/AvatarBDPragma.java 1 addition, 1 deletion

src/ui/avatarbd/AvatarBDPragma.java
src/ui/window/JDialogPragma.java 2 additions, 2 deletions

src/ui/window/JDialogPragma.java
src/ui/window/JDialogProVerifGeneration.java 34 additions, 9 deletions

src/ui/window/JDialogProVerifGeneration.java

with 103 additions and 43 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