Dennis Kuhnert
|
e815ee7590
|
Add Field and its missing functionalities to the program workflow
Division not correct yet
|
2017-02-18 23:02:28 +01:00 |
|
Dennis Kuhnert
|
e1e309a296
|
Add Field and the implementation FieldPrime (not used yet)
|
2017-02-17 16:48:49 +01:00 |
|
Dennis Kuhnert
|
d8987ccabb
|
Add support of simple conditions in flatten and r1cs
|
2017-02-17 16:46:29 +01:00 |
|
Dennis Kuhnert
|
2c65673d4a
|
Add flattening of variable reassignment (#1)
|
2017-02-16 15:43:31 +01:00 |
|
Dennis Kuhnert
|
2378525d9c
|
Add Flattener struct for saving variables in struct through all functions
|
2017-02-16 14:34:06 +01:00 |
|
Dennis Kuhnert
|
7d5c4d6bd0
|
Unify error passing syntax
|
2017-02-16 13:11:02 +01:00 |
|
Dennis Kuhnert
|
10c5f6c429
|
Add Condition statement to parser (#1)
|
2017-02-16 12:53:29 +01:00 |
|
Dennis Kuhnert
|
3dde176888
|
Add basic parse_factor tests
|
2017-02-15 17:00:50 +01:00 |
|
Dennis Kuhnert
|
1b3760f4a6
|
Add <=, ==, >=, > to parser
|
2017-02-15 15:18:28 +01:00 |
|
Dennis Kuhnert
|
5b091638fd
|
Add reworked function head parsing
Add examples wavelets, empty
Remove Regex from parser
|
2017-02-15 14:54:53 +01:00 |
|
Dennis Kuhnert
|
5ef1ae51b7
|
Add first tests of parser and equality of structs
|
2017-02-08 22:06:38 +01:00 |
|
Dennis Kuhnert
|
9fd6e96c3c
|
Fix missing box feature caused by copyright comment
|
2017-02-07 17:59:11 +01:00 |
|
Dennis Kuhnert
|
175ed352bf
|
Add @author and grammar notes
|
2017-02-07 11:53:42 +01:00 |
|
Dennis Kuhnert
|
cb97093697
|
Add lines to example wrongsyntax.code
|
2017-02-07 11:39:23 +01:00 |
|
Dennis Kuhnert
|
ac374bb11b
|
Add more expected tokens to 'line not fully parsed' error
|
2017-02-07 11:34:18 +01:00 |
|
Dennis Kuhnert
|
6268f070a1
|
Add parser error when line not fully read or multiple return; Extend example wrongsyntax.code
|
2017-02-07 11:24:14 +01:00 |
|
Dennis Kuhnert
|
ee1fbad3f3
|
Add parser error and display for error
Add wrong syntax example
|
2017-02-07 10:41:02 +01:00 |
|
Dennis Kuhnert
|
4c68fc8f47
|
Add two's complement
|
2017-02-06 18:09:44 +01:00 |
|
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 |
|
Dennis Kuhnert
|
ccb55f64be
|
Add correct parsing of mutliple subtractions, e.g., a - b - c = (a - b) - c
|
2017-02-05 23:03:21 +01:00 |
|
Dennis Kuhnert
|
cae9142e30
|
First version of new parser, containing Add, Sub, Mult, Div; With Operator Preceedence Rules
Without if-then-else-fi, pow
|
2017-02-05 20:11:09 +01:00 |
|
Dennis Kuhnert
|
2f0a85c5db
|
Update README with features and examples
|
2017-02-02 16:26:54 +01:00 |
|
Dennis Kuhnert
|
372d23729d
|
Calculate bools while solve(); Add multiple cases while r1cs generation
IfElse only generates flattened code
|
2017-02-02 01:03:49 +01:00 |
|
Dennis Kuhnert
|
92e3ede5c0
|
Add build feature: nolibsnark
|
2017-02-01 23:18:52 +01:00 |
|
Dennis Kuhnert
|
f31e109413
|
Add Sub to R1CS; Add Dockerfile
Change CURVE to ALT_BN128
Remove 'Expression::' with import
|
2017-02-01 17:24:44 +01:00 |
|
Dennis Kuhnert
|
6bcf021124
|
Add new flattening for Add & Mult; Add new examples
|
2017-02-01 11:56:48 +01:00 |
|
Dennis Kuhnert
|
8ca116cd3e
|
Add Expression is_linear & is_flattened; Add solve for IfElse and Condition
|
2017-02-01 01:34:33 +01:00 |
|
Dennis Kuhnert
|
009dd168bd
|
Add ifelse parser, start flattening
|
2017-01-31 21:09:49 +01:00 |
|
Dennis Kuhnert
|
330e347e3b
|
Split functions to modules
|
2017-01-30 16:06:44 +01:00 |
|
Dennis Kuhnert
|
016e5e1caa
|
Fix wrong assertion of program args
|
2017-01-30 10:54:26 +01:00 |
|
Dennis Kuhnert
|
f132c9fbea
|
Code cleanup, fix typos
|
2017-01-30 01:08:59 +01:00 |
|
Dennis Kuhnert
|
9e3d4bed6b
|
Add witness calculation; Add complete run of libsnark
|
2017-01-30 00:50:35 +01:00 |
|
Dennis Kuhnert
|
9d6991784b
|
Add libsnark "is_satisfied" binding with [0, 0, .., 0] solution vector test.
|
2017-01-29 16:59:13 +01:00 |
|
Dennis Kuhnert
|
840ba4b57b
|
First basic implemntation for code to r1cs
|
2017-01-27 23:45:24 +01:00 |
|
Dennis Kuhnert
|
cabe205949
|
Initial commit
|
2017-01-27 19:08:59 +01:00 |
|