issues
search
symphonytool
/
symphony
The Symphony IDE
5
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Parser crashes
#256
pglvdm
closed
10 years ago
2
Type Checker: The type checker finds unresolved action parameter when searching for a type name
#255
lausdahl
closed
10 years ago
1
Model Checker: The context menu for invoking the model checker should be at the project levet
#254
lausdahl
closed
10 years ago
0
Model Checker: Bug or problem
#253
caspaolo
closed
10 years ago
1
Incorrect POGging of atomic assignments
#252
ldcouto
closed
10 years ago
1
POG crashes on the Frogs.cml standard example
#251
pglvdm
closed
10 years ago
1
Interpreter: gives exception in main thread for combination of alphabetised and generalised parallelism
#250
alvarohm
closed
10 years ago
2
Interpreter: ACompVarsetExpression case is not yet implemented at null
#249
pglvdm
closed
9 years ago
9
Interpreter: In indexed interleaved processes an order of elaboration is imposed
#248
pglvdm
closed
10 years ago
1
Interpreter: Invariants seem to be checked in a strange way
#247
pglvdm
closed
10 years ago
4
Interpreter: Variables cannot be inspected at breakpoints
#246
pglvdm
closed
10 years ago
2
MC gets null ob ject in Formula generation
#245
pglvdm
closed
10 years ago
1
Browse for 'Top Process' not working in Definition of run/debug configurations
#244
UweSchulze
closed
10 years ago
1
Interpreter accepts invalid event
#243
lucasalbertins
closed
10 years ago
1
Interpreter: Not all external choices offered when in parallel with another action
#242
bandurvp
closed
10 years ago
1
Fault tolerance verification plugin showing incorrect results
#241
andredidier
closed
10 years ago
1
Model checker finds deadlock but cannot show counter example
#240
pglvdm
closed
10 years ago
4
Multiple null's in generated POs
#239
pglvdm
closed
10 years ago
1
null included inside generated PO
#238
pglvdm
closed
10 years ago
0
Interpreter: Null pointer when executing .. caseReplicated
#237
lausdahl
closed
10 years ago
1
Hide static field and methods should probably be removed
#236
pglvdm
closed
10 years ago
2
Interpreter: process state update error using replicated external choices
#235
beokrt
closed
10 years ago
11
Interpreter: Strange error in error log when launching simple Alarm test case
#234
pglvdm
closed
10 years ago
1
Problem when opening the Properties/RT-Tester window
#233
pglvdm
closed
10 years ago
3
Implicit function interpretation using ProB crashes
#232
pglvdm
closed
10 years ago
0
Type Checker: reports null when a AIdentifierVarsetExpression fails to resolve
#231
lausdahl
closed
10 years ago
0
ProB-based set element selection for implicit functions defaults to off
#230
joey-coleman
closed
10 years ago
1
Type checker crashes with wrong function type
#229
pglvdm
closed
10 years ago
1
Model checker crash on Simpler-register example
#228
pglvdm
closed
10 years ago
1
A MATH library can be added from a type check but not for the interpreter
#227
pglvdm
closed
10 years ago
4
is not yet specified is not highlighted in the IDE editor
#226
pglvdm
closed
10 years ago
1
Type check gives warning for state component if a frame reference is made
#225
pglvdm
closed
9 years ago
6
Pre-condition context should be used for POs inside a post-condition
#224
pglvdm
closed
10 years ago
1
State invariant shall only hold at the end of atomic
#223
pglvdm
closed
10 years ago
1
PO wrong if no result for implicit operation
#222
pglvdm
closed
10 years ago
6
Backend of POG should use "@" instead of "&" in Symphony
#221
pglvdm
closed
10 years ago
2
Protect against launching the theorem prover multiple times
#220
pglvdm
opened
10 years ago
1
Interpreter does not seem to evaluate pre-conditions
#219
pglvdm
closed
10 years ago
3
Interpreter: Unable to new classes with invariants associated
#218
lausdahl
closed
10 years ago
1
Highlighting keywords in the CML PO Details window
#217
pglvdm
closed
10 years ago
1
TypeChecker: What is an instantiated process/action and how does it differ from reference
#216
lausdahl
closed
10 years ago
2
Channel parsing `c.1.2` produces unexpected results
#215
joey-coleman
closed
10 years ago
1
Renamings do not accept multiple parameters
#214
joey-coleman
closed
10 years ago
0
Type Checker: Missing type check for AAlphabetisedParallelismReplicatedAction
#213
lausdahl
closed
10 years ago
1
Interpreter: internal error
#212
lausdahl
closed
10 years ago
1
Interpreter: unable to access local state
#211
lausdahl
closed
10 years ago
0
Parser: channel name expressions does not parse a b.1.2 and b.1.2.3 correctly in channel comprehensions
#210
lausdahl
closed
10 years ago
1
Null errors given on model
#209
joey-coleman
closed
10 years ago
4
is subclass responsibility is not highlighted
#208
pglvdm
closed
10 years ago
3
Sorting in the outline of the Telephone exchange CML model does not work
#207
pglvdm
closed
10 years ago
2
Previous
Next