github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
3,069 Commits 544 Branches 9 Tags
noreth
Commit Graph

612 Commits

Author SHA1 Message Date
Georg Wiese
68a1ea374d Read bootloader inputs from write-once memory 2023-12-18 15:37:47 +01:00
Georg Wiese
4ce94ce455 VmProcessor: Reduce logging frequency 2023-12-15 12:08:56 +01:00
Georg Wiese
db352e9f35 Improve Error Message when providing external witness values 2023-12-14 12:12:34 +01:00
Georg Wiese
3908634133 Implement proving of continuations 2023-12-08 19:10:37 +01:00
Georg Wiese
04f4d07136 Pipeline: Refactor argument handling 2023-12-08 17:10:04 +01:00
Georg Wiese
54045fbcf7 Pipeline 2023-12-07 22:12:29 +01:00
Georg Wiese
3a249a3fd3 Use Processor by VmProcessor 2023-12-06 13:27:20 +01:00
Georg Wiese
93e38d4867 Change process_identity() interface 2023-12-05 14:28:32 +01:00
Georg Wiese
54ba4a7904 Fix vm_to_block_multiple_interfaces test 2023-12-01 12:02:54 +01:00
chriseth
53301117bc Implement if expression. 2023-11-29 18:32:05 +01:00
chriseth
9946b863b4 Remove macros. 2023-11-28 15:57:29 +01:00
chriseth
6a9fe3fd5e Move inlining function. 2023-11-27 20:15:45 +01:00
chriseth
86cf0df559 Replace Mapping enum alternative by Expression. 2023-11-24 17:57:41 +01:00
chriseth
66cf2364f6 Merge pull request #761 from powdr-labs/complete_evaluator 
Evaluate complex expressions including recursion and lambda functions
 2023-11-24 16:00:32 +00:00
chriseth
1a721b3fd7 Merge pull request #753 from powdr-labs/write-once-memory 
Write-Once Memory
 2023-11-24 15:27:53 +00:00
Georg Wiese
8c50681fc1 Write-Once Memory 2023-11-24 16:13:56 +01:00
chriseth
2fb26b5464 Evaluate complex expressions. 2023-11-24 16:00:23 +01:00
chriseth
f25800975c Allow prover query to return error. 2023-11-24 14:39:51 +01:00
chriseth
02947e8bd0 Use QueryCallback trait as much as possible. 2023-11-23 13:23:03 +01:00
chriseth
7fc93cc61e Transform references in query strings. 2023-11-21 16:34:16 +01:00
chriseth
716b7ba995 Remove degree as property of symbol. 2023-11-17 15:49:01 +01:00
Leo
78ad276ee4 Merge pull request #766 from powdr-labs/more_context_logging 
More context for logging.
 2023-11-15 12:57:56 +00:00
chriseth
3f4d2eb586 Retain column access by name. 2023-11-14 18:35:48 +01:00
chriseth
29e3f1c1f8 More context for logging. 2023-11-13 17:52:07 +01:00
chriseth
a69644935d Merge pull request #740 from powdr-labs/simplify-processors 
(3) Simplify processors
 2023-11-13 11:19:43 +00:00
chriseth
d94db64b6f Support arrays in witgen. 2023-11-08 21:31:49 +01:00
Thibaut Schaeffer
f5e176dee6 Merge pull request #749 from powdr-labs/get-degree-from-namespaces 
Get degree from namespaces
 2023-11-07 11:46:40 +00:00
Leo
e063f7e345 Merge pull request #734 from powdr-labs/namspace_and_index_access 
Parse index access as operator.
 2023-11-07 09:36:49 +00:00
schaeff
844dd39618 get degree from namespaces 2023-11-07 10:32:41 +01:00
Georg Wiese
7861da8013 Merge pull request #738 from powdr-labs/split-out-processor 
(2) Separate out `Processor` from `BlockProcessor`
 2023-11-02 17:16:58 +00:00
chriseth
e4d22a2fb9 Make index access a proper operation. 2023-11-02 17:47:52 +01:00
Leo
3f7faf19f3 Merge pull request #733 from powdr-labs/parse_next_as_operator 
Parse next as operator
 2023-11-02 16:31:05 +00:00
Georg Wiese
84000a754d Simplify Processors 2023-11-02 14:38:06 +00:00
Georg Wiese
0f093375e2 Separate out Processor from BlockProcessor 2023-11-02 14:35:16 +00:00
Georg Wiese
730706de0d Fix test: two_block_machine_functions.pil 2023-11-02 14:02:41 +00:00
chriseth
9a3c5e00ca Fix next access in query expressions. 2023-11-02 14:45:40 +01:00
Georg Wiese
ec8c9943f8 VM-to-VM Witness Generation 2023-11-02 11:22:25 +00:00
chriseth
7630446948 Parse next as operator. 2023-11-02 10:59:22 +01:00
chriseth
6eb5982fd0 Restrict operators on AlgebraicExpression. 2023-11-01 22:40:08 +01:00
Georg Wiese
eee5d8d9cc Change log level of transposing logs 2023-11-01 13:55:40 +00:00
Georg Wiese
72210fc0c6 Merge pull request #736 from powdr-labs/rename-block-processor 
(1) Rename `Processor` -> `BlockProcessor`
 2023-11-01 11:27:11 +00:00
Georg Wiese
3ded00ea2c Rename Processor -> BlockProcessor 2023-11-01 10:05:29 +00:00
Georg Wiese
f26a161ae3 Add SplitBN254 machine, use queries in SplitGL machine 2023-10-31 18:27:19 +00:00
Georg Wiese
88c578a22c Merge pull request #729 from powdr-labs/simplify_algebraic_expression 
Simplify algebraic expression
 2023-10-31 13:35:41 +00:00
chriseth
3429b8cf33 Simplify AlgebraicExpression. 2023-10-30 18:36:12 +01:00
chriseth
5ddf05ca95 Use expression_for_poly_id. 2023-10-30 18:33:32 +01:00
chriseth
0f3517386a Merge pull request #692 from powdr-labs/algebraic_expression 
Algebraic expression
 2023-10-30 16:03:25 +00:00
chriseth
960ed7c572 Introduce AlgebraicExpression. 2023-10-30 16:16:42 +01:00
Georg Wiese
2c699ce6a1 Improve witgen memory consumption by introducing FinalizableData 2023-10-30 12:27:55 +00:00
Georg Wiese
263d345903 Merge pull request #728 from powdr-labs/no_intermediates_in_eval 
Do not allow reference to intermediate columns for fixed evaluation.
 2023-10-27 10:30:40 +00:00