Dennis Kuhnert e3727858ab Finish parser implementation for complete grammar (pow, ifelse, brackets) ... Add case to r1cs swap_sub Add fmt::Debug implementation for absy Rewrite exampe simple_ifelse.code for new IfElse syntax Add example brackets.code		2017-02-06 00:39:32 +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
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
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