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
1,149 Commits 544 Branches 9 Tags
a352ccaa3515c3ffd99fe09dbb3198ad35cbcf96
Commit Graph

75 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
50d08cd5a7 Pipeline Artifacts: Include name 2023-12-12 23:24:57 +01:00
Georg Wiese
6698ce15a6 Refactor artifact writing 2023-12-12 16:39:54 +01:00
Georg Wiese
23ee897878 More concise argument calls 2023-12-11 17:35:07 +01:00
Georg Wiese
376019c7eb Refactor 2023-12-11 16:45:29 +01:00
Georg Wiese
41a28a75f7 External Witness Values as String 2023-12-11 15:29:46 +01:00
Georg Wiese
522efdca4a Pull aggregation into pipeline 2023-12-11 14:00:31 +01:00
Georg Wiese
54a5791902 Pull more serialization into pipeline 2023-12-11 12:38:53 +01:00
Georg Wiese
12919853ae Pull CSV export into pipeline 2023-12-11 11:28:14 +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
Leo Alt
88206d3ca3 new data input 2023-12-04 13:35:23 +01:00
Georg Wiese
85b5ef030e Continuations Prototype 2023-11-29 16:23:14 +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
Lucas Clemente Vella
cd4449e65f RISCV executor 2023-11-24 11:42:35 +01:00
chriseth
02947e8bd0 Use QueryCallback trait as much as possible. 2023-11-23 13:23:03 +01:00
chriseth
d94db64b6f Support arrays in witgen. 2023-11-08 21:31:49 +01:00
schaeff
844dd39618 get degree from namespaces 2023-11-07 10:32:41 +01:00
Leo
93cf6d720d Merge pull request #751 from powdr-labs/allow_println 
Explicitly allow printing to stdout.
 2023-11-06 19:24:56 +00:00
Leo Alt
f08f24443c compiler cleanup 2023-11-06 17:26:22 +01:00
chriseth
1ce585d724 Explicitly allow printing to stdout. 2023-11-06 17:04:29 +01:00
Georg Wiese
9d518bc5be Enable passing externally-generated witness via command line 2023-11-03 14:09:12 +00:00
Georg Wiese
75c4fc2ce7 Make query callback non-optional 2023-10-23 13:18:38 +00:00
Georg Wiese
02b404ffe4 External Witness Generation 2023-10-18 11:32:35 +00:00
chriseth
b6450fa9fe Merge pull request #697 from powdr-labs/hint-query 
Implement hint query
 2023-10-12 13:35:11 +00:00
Georg Wiese
67a582698c Implement hint query 2023-10-12 13:13:23 +00:00
Georg Wiese
51af91a9b1 Define QueryCallback trait 2023-10-12 09:19:43 +00:00
Georg Wiese
a28a037f19 Disallow prints in all crates 2023-10-05 08:11:23 +00:00
chriseth
a3921535c7 Generalize definitions. 2023-09-29 12:36:45 +02:00
Lucas Clemente Vella
52bca1b07f STARK prover 2023-09-26 15:03:29 +02:00
Thibaut Schaeffer
17d22ed552 Module system (#558) 
* implement import system

* address review comments

* use folder in macro expansion

* use folder in file loader

* use folder in canonicalizer

* use parse_absolute_path
 2023-09-13 17:47:29 +02:00
Leo
1068e55bb6 Merge pull request #599 from powdr-labs/add_newline 
Fixed missing endline.
 2023-09-13 15:44:52 +02:00
schaeff
8191e8d009 support intermediate polynomials 2023-09-12 19:26:05 +02:00
Lucas Clemente Vella
69402c37a5 Fixed missing endline. 2023-09-12 19:15:15 +02:00
Thibaut Schaeffer
b80686a880 VM to VM calls (#392) 
* implement call from vm to vm

* address review

* reduce diff in pilgen

* address review

* address more comments

* clean up readme, fix tests

* keep only one machine type for the block enforcer readme
 2023-08-21 16:23:25 +02:00
Thibaut Schaeffer
306b6e07df Extract airgen (#505) 
* extract airgen

* address review
 2023-08-18 12:06:59 +00:00
Lucas Clemente Vella
e2541f5e82 Humoring the lint. 2023-08-16 17:09:03 +01:00
Lucas Clemente Vella
3f02e878b0 Unifying similar functions. 2023-08-16 16:19:45 +01:00
Lucas Clemente Vella
c81757143f Backend unification (#417) 
* Mostly done.

* With all features enabled, it at least compiles.

* Fixed some bugs.

* Being explicit about degree type.

* More tests passing.

* Even more tests passing.

* Restoring optional Halo2 compilation.

* Fixing bad merge.

* Fixing lint errors.

* More lint fixes.

* Split of the backend implementations into trait categories.

* Some renamings.

* Much better function names.

* Removed option from witness.

* Pleasing the lint.

* Returning the proof.

* Removing filesystem stuff from backend.

* Renaming function.

* Another function rename.

---------

Co-authored-by: Leo <me@leoa.lt>
 2023-08-08 12:14:24 +00:00
Thibaut Schaeffer
e658dbd43c Fallible linker (#467) 
* make linker fallible, propagate errors, add book entry about linker

* Apply suggestions from code review

Co-authored-by: Leo <me@leoa.lt>

* add test

---------

Co-authored-by: Leo <me@leoa.lt>
 2023-08-07 23:40:39 +02:00
Lucas Clemente Vella
9306361dc4 Enabling Halo2 via cargo feature. (#406) 
* Enabling Halo2 via cargo feature.

* Enabling Halo2 by default.

* Renaming get_prover.
 2023-07-21 17:57:40 +02:00
Georg Wiese
4fdea44740 Fix CSV export #380 (#380) 2023-07-20 10:58:17 +02:00
Georg Wiese
5d14f71e53 Add logging to witness generation code (#382) 
* Add logging to witness generation code #382

* EvalError::FixedLookupFailed: Format query only on display
 2023-07-13 10:39:59 +02:00
schaeff
fc8ba429df modular powdr syntax, basic romgen, and basic linker for single machine 2023-07-10 17:56:29 +02:00
Georg Wiese
84ee15c360 Move CSV export to pil command 2023-07-10 06:51:07 +00:00