EpiSpin on YellowGrass.org

EpiSpin is an Eclipse plug-in to edit Promela models and execute Spin simulation and verification runs. It is built using the Spoofax language workbench.

http://epispin.ewi.tudelft.nl/

57

Oct '15

problem in install EpiSpinerror

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

46

Oct '11

epispin version number requestedimprovement

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

error fixed1.0.3 fixed1.0.2 opt_screen fixed1.0.4 improvement question errormessage feature ltl sca comments grammar macros arrays

Bob de Vos, Lennart Kats