tammok / prisma Goto Github PK

View Code? Open in Web Editor NEW

22.0 22.0 15.0 1.25 MB

Protocol Inspection and State Machine Analysis

R 100.00%

prisma's People

Contributors

Stargazers

Watchers

Forkers

gwinel triplekill enjoyhacking gitcollect bigbuilding jiaojiaoswin roelvdp craighays sandy4321 boofish liupanlongg yigechen1 rmallof fkerem

prisma's Issues

Which version of sally is supposed to work with which version of PRISM ?

It seems sally and PRISM are totally out of sync. I couldn't find any doc telling me which version of sally is required for working with PRISM (for example loading asap data)

Error: Your configuration is missing the new 'granularity' parameter. Please consult the manual page and upgrade your configuration. (sally_load_config)

Index larger than maximal 0 error

Hi, I am using PRISMA to load data, when I use the function loadPrismaData, I come up with the exception below

> data = loadPrismaData(capture_dir)
Reading data...
Splitting ngrams...
Calc indices...
Setup matrix...
to check: 2 
Error in intI(i, n = x@Dim[1], dn[[1]], give.dn = FALSE) : 
index larger than maximal 0
Calls: loadPrismaData ... callGeneric -> eval -> eval -> [ -> [ -> subCsp_rows -> intI
Execution halted

Do you know what the cause is. I noticed the program crashed at curCor = sparse.cor(mat[toCheck, ]). I was wondering whether you need more information or you can give me some suggestions. Many Thanks

Recommend Projects