KappaTools icon indicating copy to clipboard operation
KappaTools copied to clipboard

Better error diagnostic is KaSa...

Open feret opened this issue 10 years ago • 3 comments

  1. KaSa should use LOC everywhere when launching alarms.
  2. KaSa frontend should connect alarms to locations in kappa files.

feret avatar Nov 20 '15 06:11 feret

  1. is not allowed until a decent version of OCAML is easily available in Windows.

feret avatar Nov 22 '15 06:11 feret

  1. is now done. What about 2)?

pirbo avatar Sep 08 '16 15:09 pirbo

Not done yet. But we will work on it (hopefully) soon.

feret avatar Sep 08 '16 15:09 feret