YellowGrass

Issues of Project EpiSpin

57
Oct '15
problem in install EpiSpinerror
56
Feb '14
Epispin in Eclipse keplererror
55
Apr '12
wrong error messageerror
54
Mar '12
call to #define not properly recognizederror
53
Mar '12
priority indicator must be a number; not an undeclared identifiererror
52
Dec '11
Scalar objects are treated as shorthands for array objects with just one elementerror
51
Nov '11
Option screen saved & Spin syntax checkerfeature fixed1.0.4
50
Nov '11
ltlclaims do not handle 'undersore' variables correctlyerror fixed1.0.4 ltl
49
Nov '11
associativity of U operatorerror fixed1.0.4 ltl
48
Nov '11
type in option screenerror fixed1.0.4
47
Nov '11
epispin ltl doesn't detect multiple labels (p4)error fixed1.0.4 ltl
46
Oct '11
epispin version number requestedimprovement
45
Oct '11
Atomic block does not have its own scopeerror fixed1.0.4
44
Sep '11
declaration in never claimerror
43
Sep '11
cancelling dot generation does not work?error
42
Sep '11
names in Outline Viewerror
41
Sep '11
labels at block beginerror
40
Sep '11
strange error message w.r.t. local decles with initializingerror
39
Sep '11
sequence needs at least one statementerror fixed1.0.3
38
Sep '11
epispin accepts inlane calls with no bracketserror fixed1.0.3
37
Sep '11
epispin/eclipse runs out of steamerror
36
Aug '11
eclipse doen't close all windowserror opt_screen
35
Aug '11
sca misses channel polls in never claimserror sca
34
Aug '11
multiple never claims do not give error messageerror errormessage fixed1.0.3
33
Aug '11
assignment to _pid ?question
32
Aug '11
undeclared variable _nr_prerror fixed1.0.2
31
Aug '11
undeclared variable not detectederror fixed1.0.2
30
Aug '11
_pid handlingerror fixed1.0.2
29
Aug '11
underscore not supported??error fixed1.0.2
28
Aug '11
existing files zeroederror fixed1.0.3
27
Aug '11
checking of xr xserror errormessage fixed1.0.3
26
Aug '11
spin invocation stringimprovement fixed1.0.3 opt_screen
25
Aug '11
handling of verification runs and output (1)error fixed1.0.3 fixed1.0.4 opt_screen
24
Aug '11
wizard for renamin/deleting files?improvement opt_screen
23
Aug '11
sandglass wantedimprovement opt_screen
22
Aug '11
synchronization problem on .dot fileserror sca
21
Aug '11
Auto complete for quotesquestion @lennartkats
20
Aug '11
support voor unsignederror fixed1.0.2
19
Aug '11
error stackoverflowerror
18
Aug '11
support for cr/lf pairerror
17
Aug '11
#include support?error fixed1.0.3 grammar
16
Aug '11
filenames not recognizederror @bdevos1 fixed1.0.2
15
Aug '11
inlines with parameters (1)error @bdevos1 fixed1.0.3
14
Aug '11
strange place for error indicatorerror @bdevos1 fixed1.0.2
13
Aug '11
strange behaviour of error indicatorerror fixed1.0.2
12
Aug '11
eclipse lock-uperror @bdevos1
11
Aug '11
backslash supporterror fixed1.0.3 macros
10
Aug '11
saving output filesfeature @bdevos1 opt_screen
9
Aug '11
auto-completionerror @bdevos1
8
Aug '11
a small change in error semanticserror @bdevos1
7
Aug '11
which syntax check is used?question @bdevos1
6
Aug '11
Layout issueimprovement @bdevos1 opt_screen
5
Aug '11
Onterechte error message bij array zonder indexerror arrays fixed1.0.3
4
Aug '11
Save Project As knopfeature @bdevos1 opt_screen
3
Aug '11
"of" als variabeleerror @bdevos1 fixed1.0.2
2
Aug '11
Geen error bij aanroepen proctypeerror errormessage fixed1.0.3
1
Aug '11
Comments on the first lineerror @bdevos1 comments