Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • O Ocarina
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • TASTE
  • Ocarina
  • Repository
Switch branch/tag
  • ocarina
  • src
  • backends
  • ocarina-backends-replication_properti...
Find file BlameHistoryPermalink
  • Bechir Zalila's avatar
    * New Backend to support fault tolerence in Ocarina. Using the EMv2 · b719f735
    Bechir Zalila authored Jun 30, 2016
    	annex and a new property set, this backend expands AADL models having
    	replication properties into classic AADL models that can be handled
    	with code generators.
    
    	(Phd thesis work of Wafa Gabsi)
    b719f735

Replace ocarina-backends-replication_properties.adb

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.