search

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
112 stars 41 forks source link

Better error diagnostic is KaSa... #131

Open feret opened 8 years ago

feret commented 8 years ago

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

feret commented 8 years ago

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

pirbo commented 8 years ago

1) is now done. What about 2)?

feret commented 8 years ago

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