Promela: Separator Tests for Promela
Promela: Some Documentation and refactoring
Promela: Refactoring: Renamed FieldInfo to SimpleGlobalField
Promela: Refactor: ContextHelper added
Promela: Finished first refactoring
Promela: Encapsulate a bit functionality
Promala, Spin: Recovered Translation-Sketch
NuXmv: this.generateFieldDeclarationsOfPartition written. Made some adjustments to the simplified Metamodel to make the transformation nicer
NuXmv: Formula translation
NuXmv: Before next Simplified Metamodel Refactor.
Promela: Refactored SimpleExpression
NuXmv, Promela: Converted SimpleGlobalField into a discriminated union
NuXmv: Refactor some methods to be able to support artificial fields
NuXmv, Promela: Refactored Context-Type
NuXmv: transformWriteOnceStatement implemented, fixed the ast
NuXmv, Promela: Split SimpleExpression
NuXmv, Promela: Refactored SimpleGlobalField. SimpleGlobalFieldWithContext is structurally compareable
NuXmv: Concept for the implementation of the flattening function for statements
NuXmv: Foundation for the implementation of conversion to WriteOnceStatement
NuXmv: Convert WriteOnceStatement into discriminated union