search

lambdaclass / concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
Apache License 2.0
123 stars 11 forks source link

First version of a functional linear checker #138

Closed kenarab closed 3 months ago

kenarab commented 3 months ago

It includes the option --check for running linear checker algorithms which will run only for variables of a type named "Linear".

It includes 3 linearExamples in example path. This examples are included as testcases and are useful for testing and developing

linearExample02.con & linearExample03if.con fails linearityChecks by the moment.