Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

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

Snippets Groups Projects

51472597

Commit 51472597 authored 14 years ago by Ludovic Apvrille

Downloads
- Patches
- Plain Diff

Update on AVATAR semantics (Broadcast channels for future pruposes)

parent cb27472b

No related branches found

No related tags found

Loading

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

modeling/proverif.xml 230 additions, 154 deletions

modeling/proverif.xml
src/avatartranslator/AvatarBroadcast.java 158 additions, 0 deletions

src/avatartranslator/AvatarBroadcast.java
src/avatartranslator/AvatarMethod.java 32 additions, 0 deletions

src/avatartranslator/AvatarMethod.java
src/avatartranslator/AvatarSpecification.java 13 additions, 0 deletions

src/avatartranslator/AvatarSpecification.java
src/ui/AvatarDesignPanelTranslator.java 2 additions, 0 deletions

src/ui/AvatarDesignPanelTranslator.java
src/ui/window/JDialogSystemCGeneration.java 1 addition, 0 deletions

src/ui/window/JDialogSystemCGeneration.java

with 436 additions and 154 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