Improve clarity of code in kappa compiler and counter compiler

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

Closed antoinepouille closed 11 months ago

antoinepouille commented 11 months ago

improve readability of code, by mainly :

Changing multiple variable and function names
Adding comments for helping understanding
Replacing long tuples by records, adding types for data that is often shared between functions
Renaming Locality.annot into Loc.annoted, in all the code, to explicit the type is adding info, and not only an annotation