Dennis Kuhnert 2c65673d4a Add flattening of variable reassignment (#1)		2017-02-16 15:43:31 +01:00
..
add.code	Add new flattening for Add & Mult; Add new examples	2017-02-01 11:56:48 +01:00
brackets.code	Finish parser implementation for complete grammar (pow, ifelse, brackets)	2017-02-06 00:39:32 +01:00
conditions.code	Add Condition statement to parser (#1)	2017-02-16 12:53:29 +01:00
empty.code	Add reworked function head parsing	2017-02-15 14:54:53 +01:00
example.code	Add Sub to R1CS; Add Dockerfile	2017-02-01 17:24:44 +01:00
flatten.code	Add new flattening for Add & Mult; Add new examples	2017-02-01 11:56:48 +01:00
no_flatten.code	Add Expression is_linear & is_flattened; Add solve for IfElse and Condition	2017-02-01 01:34:33 +01:00
reassignment.code	Add flattening of variable reassignment (#1)	2017-02-16 15:43:31 +01:00
simple_ifelse.code	Finish parser implementation for complete grammar (pow, ifelse, brackets)	2017-02-06 00:39:32 +01:00
sub.code	Add Sub to R1CS; Add Dockerfile	2017-02-01 17:24:44 +01:00
wavelets.code	Add <=, ==, >=, > to parser	2017-02-15 15:18:28 +01:00
wrongsyntax.code	Add reworked function head parsing	2017-02-15 14:54:53 +01:00