Skip to content

About

Records extension for Event-B (developed for Hi-Class project)

Resources

Stars

0 stars

Watchers

4 watching

Forks

Latest commit

 

History

136 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Event-B EMF Record Feature

This feature provides records for modelling in machines and contexts.

Release history:

0.1.1 Maintenance release

  • Consistent naming for plug-ins and features.
  • Enhancement to improve its usability:
    • Issue #9: NullPointerException in Record generation.
    • Issue #11: Records generator causes Rodin files disappeared.

0.1.0

  • Initial Release

About

Records extension for Event-B (developed for Hi-Class project)

Resources

Stars

0 stars

Watchers

4 watching

Forks

Releases

Packages

Used by

Contributors

Languages