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
108 stars 40 forks source link

Add > as syntactic sugar for >= in counters #668

Open ethulhu opened 1 year ago

ethulhu commented 1 year ago

This patch adds support for greater-than (>) as syntactic sugar for greater-than-or-equal (>=).

This patch is a precursor for an upcoming patch to add less-than-or-equal (<=) to counters. I am sending this smaller patch first to confirm that my approach & style is correct, and that I haven't missed any important code features, because the less-than-or-equal patch will be similar but larger.