issues
search
UoY-RoboStar
/
robocert-textual
Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Resolve semantics of gaps across n-lifeline sequences
#92
MattWindsor91
closed
2 years ago
1
Scope explicit edges to/validate against lifelines
#91
MattWindsor91
opened
2 years ago
1
Add lifeline scoping
#90
MattWindsor91
opened
2 years ago
0
Replace CSPNormaliser with Hamcrest matcher
#89
MattWindsor91
closed
2 years ago
0
Separate module targets and system targets
#88
MattWindsor91
closed
2 years ago
2
Generalise world to context
#87
MattWindsor91
closed
2 years ago
1
Implement closed form of target
#86
MattWindsor91
closed
2 years ago
0
De-merge StandardActor
#85
MattWindsor91
closed
2 years ago
0
Derived groups
#84
MattWindsor91
opened
2 years ago
0
Should unnamed Groups insert into global scope?
#83
MattWindsor91
opened
2 years ago
0
Generalise notion of groups with targets?
#82
MattWindsor91
closed
2 years ago
1
CSP output for assertion groups calls them 'sequence groups'
#81
MattWindsor91
closed
2 years ago
0
Memory channels are the wrong way round
#80
MattWindsor91
closed
2 years ago
0
Memory load calculations are generating duplicate reads
#79
MattWindsor91
closed
2 years ago
0
Implement ElseGuard
#78
MattWindsor91
closed
2 years ago
1
Implement conjunction and disjunction expressions
#77
MattWindsor91
closed
2 years ago
1
Sequence semantics allow events in backwards directions
#76
MattWindsor91
opened
2 years ago
0
Implement model refinement assertions
#75
MattWindsor91
opened
2 years ago
0
Overhaul side-information in textual notation
#74
MattWindsor91
closed
2 years ago
2
BranchStepGenerator is missing
#73
MattWindsor91
closed
2 years ago
1
Add guards
#72
MattWindsor91
closed
2 years ago
3
Rename InterleaveStep to ParallelStep
#71
MattWindsor91
closed
2 years ago
1
Make branch and loop steps inherit from block step class
#70
MattWindsor91
closed
2 years ago
1
Singleton groups
#69
MattWindsor91
closed
2 years ago
2
Assertion groups
#68
MattWindsor91
closed
2 years ago
0
Capture distinction between provisional and mandatory arrows
#67
MattWindsor91
closed
2 years ago
1
Partiality is lost in the tick-tock model
#66
MattWindsor91
closed
2 years ago
0
Gaps can timestop but nothing else can
#65
MattWindsor91
closed
2 years ago
1
Interrupts have strange refusal interaction with gaps
#64
MattWindsor91
closed
2 years ago
1
Gaps possibly overspecify wrt refusals
#63
MattWindsor91
closed
2 years ago
0
Allow context at CSP group scope
#62
MattWindsor91
closed
2 years ago
2
Allow naming of CSP groups
#61
MattWindsor91
closed
2 years ago
1
Add shorthand for csp-begin/csp-end
#60
MattWindsor91
closed
2 years ago
1
Decide on plugin division and naming
#59
MattWindsor91
closed
2 years ago
1
Fix prefix capitalisation
#58
MattWindsor91
closed
2 years ago
0
Re-enable names for target actors
#57
MattWindsor91
closed
3 years ago
1
Devise replacements for 'in the X model' for sequences
#56
MattWindsor91
opened
3 years ago
1
Consider handling 'anything, but only one of them'
#55
MattWindsor91
opened
3 years ago
0
Handle sync/async distinction
#54
MattWindsor91
opened
3 years ago
0
Consider allowing specialised instantiation of sequence groups
#53
MattWindsor91
opened
3 years ago
1
Consider adding mandatory choice (xalt)
#52
MattWindsor91
closed
2 years ago
1
Allow lower bound on deadline blocks?
#51
MattWindsor91
opened
3 years ago
3
Consider `as N` notation for named loops
#50
MattWindsor91
closed
2 years ago
1
Add or capture probabilistic blocks
#49
MattWindsor91
opened
3 years ago
0
Add nondeterministic waits
#48
MattWindsor91
opened
3 years ago
0
Add par blocks
#47
MattWindsor91
closed
2 years ago
1
Add or capture opt blocks
#46
MattWindsor91
closed
2 years ago
2
Add alt blocks
#45
MattWindsor91
closed
3 years ago
1
Single-action deadlines?
#44
MattWindsor91
opened
3 years ago
0
Deadline notation isn't quite aligned with UML
#43
MattWindsor91
closed
3 years ago
1
Previous
Next