issues
search
habtom
/
factum
Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Limited data type mapping for nuXmv
#86
awoc
opened
5 years ago
0
nuXmv - Nondeterministic state machines
#85
awoc
closed
5 years ago
0
Xtext Sirius integration - Text boxes
#84
awoc
opened
5 years ago
0
Xtext / Sirius integration - New State
#83
awoc
opened
5 years ago
0
Implement proof step and added case study file
#82
GencBlakqori
closed
5 years ago
0
Implement Case Study
#81
awoc
closed
5 years ago
0
Edit Isabelle Text Generator
#80
awoc
closed
5 years ago
0
Sirius Integration
#79
awoc
closed
5 years ago
0
Add contracts implementation
#78
GencBlakqori
closed
5 years ago
0
Extend code validation
#77
awoc
closed
5 years ago
0
Add nuXmv code generator
#76
awoc
closed
5 years ago
0
Merge Ports
#75
dmarmsoler
opened
5 years ago
0
Guards for Statemachines
#74
awoc
closed
5 years ago
0
Problem Generating Pattern.xtext artifacts
#73
kei-nan
closed
5 years ago
3
Rudimentary support for Statemachines
#72
dmarmsoler
closed
5 years ago
0
Type checking for ports
#71
dmarmsoler
opened
5 years ago
1
Constraints for DataTypeSpec
#70
dmarmsoler
closed
5 years ago
1
Remove val
#69
dmarmsoler
opened
5 years ago
0
Remove generated files from repository
#68
dmarmsoler
opened
5 years ago
1
Constants withouth input parameters should be usable
#67
dmarmsoler
opened
5 years ago
1
Predicates are basic architecture assertions and behavior assertions
#66
dmarmsoler
opened
5 years ago
1
Tutorial setup problem
#65
dmarmsoler
opened
5 years ago
2
Generate code from behavior assertions
#64
dmarmsoler
opened
5 years ago
0
The order of the "Predicate" and "Operation" in "DataTypeSpec"
#63
iraklitchedia
opened
5 years ago
0
Negation operator with temporal operators
#62
iraklitchedia
opened
5 years ago
0
Constraint with predicates
#61
iraklitchedia
opened
5 years ago
0
Newest version of obeo designer
#60
dmarmsoler
closed
6 years ago
1
Add instructions to download XText and XTend
#59
dmarmsoler
closed
6 years ago
1
Adapt Import
#58
dmarmsoler
closed
6 years ago
0
Brackets missing in guarantee
#57
dmarmsoler
closed
6 years ago
2
Additional Bracket for predicate terms
#56
dmarmsoler
closed
6 years ago
0
Additional Bracket at conn
#55
dmarmsoler
closed
6 years ago
0
Extra Bracket for val
#54
dmarmsoler
closed
6 years ago
1
Bracket at the end of act_pb missing
#53
dmarmsoler
closed
6 years ago
0
Bracket for W is placed in wrong position
#52
dmarmsoler
closed
6 years ago
1
Wrong code for parameter in val
#51
dmarmsoler
closed
6 years ago
0
Add binary operator precedence
#50
habtom
opened
6 years ago
1
fixes for parameter missing
#49
dmarmsoler
closed
6 years ago
0
Unsub should be changes
#48
dmarmsoler
closed
6 years ago
0
after shows in delivery there should be no name.
#47
dmarmsoler
closed
6 years ago
0
Missing implication in delivery
#46
dmarmsoler
closed
6 years ago
0
delivery generates \<in> instead of =
#45
dmarmsoler
closed
6 years ago
0
Theorem should end with "sorry", not with "and"
#44
dmarmsoler
closed
6 years ago
0
Terminal \<WW>\<^sup>c should be \<WW>\<^sub>c
#43
dmarmsoler
closed
6 years ago
0
<\in> should be \<in>
#42
dmarmsoler
closed
6 years ago
0
conn_sbssb_pbpsb must generate output \in input
#41
dmarmsoler
closed
6 years ago
0
conn_sbssb_pbpsb must generate p instead of q
#40
dmarmsoler
closed
6 years ago
0
act_pb generates forall p instead of forall q
#39
dmarmsoler
closed
6 years ago
1
space after . in forall and exists
#38
dmarmsoler
closed
6 years ago
0
conn_sbssb_pbpsb misses a dot
#37
dmarmsoler
closed
6 years ago
0
Next