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,139 Commits 544 Branches 9 Tags
cd629ea7cd85ca50939554f97b4c459dab6bd8cf
Commit Graph

1139 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Leo
cd629ea7cd Merge pull request #848 from powdr-labs/reduce-logging-frequency 
VmProcessor: Reduce logging frequency
 2023-12-15 12:23:44 +00:00
Georg Wiese
4ce94ce455 VmProcessor: Reduce logging frequency 2023-12-15 12:08:56 +01:00
Leo
48a5407c24 Merge pull request #845 from powdr-labs/improve-error-message 
Improve Error Message when providing external witness values
 2023-12-14 14:41:31 +00:00
Leo
c233eeb3c6 Merge pull request #838 from powdr-labs/continuations-bug-fix 
Fix continuations
 2023-12-14 14:40:56 +00:00
Georg Wiese
db352e9f35 Improve Error Message when providing external witness values 2023-12-14 12:12:34 +01:00
Georg Wiese
2f9dc9d370 Fix continuations 2023-12-13 17:06:33 +01:00
Leo
a309c6674a Merge pull request #842 from powdr-labs/pipeline-include-name 
Pipeline Artifacts: Include name
 2023-12-13 12:48:30 +00:00
Georg Wiese
50d08cd5a7 Pipeline Artifacts: Include name 2023-12-12 23:24:57 +01:00
Leo
bcb3bb054a Merge pull request #837 from powdr-labs/clean-up-main-rs 
Refactor `main.rs`
 2023-12-12 19:55:19 +00:00
Georg Wiese
6698ce15a6 Refactor artifact writing 2023-12-12 16:39:54 +01:00
Georg Wiese
05b6f154d8 Small fixes 2023-12-12 13:10:05 +01:00
Georg Wiese
23ee897878 More concise argument calls 2023-12-11 17:35:07 +01:00
Georg Wiese
c69f1b3bdc CSV export for Rust code as well 2023-12-11 17:31:08 +01:00
Georg Wiese
d31c82bcfb No, test not working 2023-12-11 17:22:32 +01:00
Georg Wiese
726b414e4e Test now working? 2023-12-11 17:19:13 +01:00
Georg Wiese
8e6ec62fb5 Refactor 2023-12-11 17:15:32 +01:00
Georg Wiese
7e1793475d Refactor 2023-12-11 17:06:41 +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
17325699aa Merge pull request #835 from powdr-labs/proof-continuations 
Implement proving of continuations
 2023-12-08 20:57:30 +00:00
Leo
aabddd5d3f Merge pull request #834 from powdr-labs/pipeline-refactor 
Pipeline: Refactor argument handling
 2023-12-08 18:33:21 +00: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
13450ebcde Merge pull request #833 from powdr-labs/add-continuations-test 
Add continuations test
 2023-12-08 14:59:22 +00:00
Leo
87bafcfad3 Merge pull request #826 from powdr-labs/pipeline 
Pipeline
 2023-12-08 14:58:48 +00:00
Georg Wiese
54045fbcf7 Pipeline 2023-12-07 22:12:29 +01:00
Georg Wiese
f46ac125ed Merge pull request #832 from powdr-labs/move-continuations 
Move continuations into `riscv` crate
 2023-12-07 17:32:48 +00:00
Georg Wiese
4967ccefd7 Add continuations test 2023-12-07 17:43:39 +01:00
Georg Wiese
bfff61516e Move continuations into riscv crate 2023-12-07 17:31:03 +01:00
Leo
59cacc4ae6 Merge pull request #829 from powdr-labs/executor-lean 
Fast executor without trace
 2023-12-07 14:27:57 +00:00
Leo Alt
80ce5ca097 lean executor without trace 2023-12-07 13:06:38 +01:00
Georg Wiese
f2fb60bb41 Merge pull request #743 from powdr-labs/use-processor 
(4) Use `Processor` by `VmProcessor`
 2023-12-06 17:57:06 +00:00
Georg Wiese
3a249a3fd3 Use Processor by VmProcessor 2023-12-06 13:27:20 +01:00
Georg Wiese
bf1ee5b6ce Merge pull request #827 from powdr-labs/change-processor-interface 
Change `Processor::process_identity()` interface
 2023-12-05 13:59:09 +00:00
Georg Wiese
93e38d4867 Change process_identity() interface 2023-12-05 14:28:32 +01:00
Leo
3c58993fcc Merge pull request #825 from powdr-labs/simplify_check_path 
Simplify check_path.
 2023-12-04 16:31:23 +00:00
chriseth
3b665b0ef0 Simplify check_path. 2023-12-04 15:42:27 +01:00
chriseth
1c3bb52439 Merge pull request #815 from powdr-labs/data-input 
New data input coprocessors
 2023-12-04 14:13:14 +00:00
Leo
89655cf488 Merge pull request #822 from powdr-labs/block-machine-multiple-lookups 
Fix `vm_to_block_multiple_interfaces` test
 2023-12-04 14:13:06 +00:00
Leo Alt
88206d3ca3 new data input 2023-12-04 13:35:23 +01:00
Georg Wiese
18b773a48c Merge pull request #823 from powdr-labs/proof-time 
log proof time for estark
 2023-12-04 10:06:51 +00:00
Leo Alt
5382fe15d9 log proof time 2023-12-01 17:50:22 +01:00
Leo
a148aaa64a Merge pull request #819 from powdr-labs/bootloader-merkle-proof 
Bootloader: Add Merkle proofs
 2023-12-01 12:40:26 +00:00
Leo
7c021e983c Merge pull request #813 from powdr-labs/hash-pages 
Bootloader: Hash pages
 2023-12-01 11:45:58 +00:00
Leo
640bad9021 Merge pull request #816 from powdr-labs/remove_some_derived_impls 
Remove some unneeded (and misleading) derived implementations.
 2023-12-01 11:36:26 +00:00
Leo
aa89112896 Merge pull request #809 from powdr-labs/disentangle_analyzer 
Disentangle analyzer
 2023-12-01 11:35:12 +00:00
Georg Wiese
54ba4a7904 Fix vm_to_block_multiple_interfaces test 2023-12-01 12:02:54 +01:00