Lucas Clemente Vella
|
9b2e180ab4
|
Merge pull request #778 from powdr-labs/zeroed_allocation
Providing alloc_zeroed instead of using default implementation.
|
2023-11-21 11:36:08 +00:00 |
|
Lucas Clemente Vella
|
27a2b006cd
|
Providing alloc_zeroed instead of using default implementation.
This may save some cycles of zeroing already zeroed memory.
|
2023-11-21 11:00:51 +00:00 |
|
Leo
|
f7670409cb
|
Merge pull request #770 from powdr-labs/allow_namespaced_to_be_function_called
Allow namespaced names to be function-called.
|
2023-11-20 10:52:39 +00:00 |
|
Leo
|
e17bc04d18
|
Merge pull request #758 from powdr-labs/arbitrary_expressions_at_statement_level
Arbitrary expressions at statement level
|
2023-11-20 09:29:16 +00:00 |
|
chriseth
|
38c1a46a82
|
Merge pull request #771 from powdr-labs/expression_folder
Expression folder.
|
2023-11-20 08:12:32 +00:00 |
|
Lucas Clemente Vella
|
aa3aedb666
|
Merge pull request #775 from powdr-labs/remove_degree
Remove degree as property of symbol.
|
2023-11-17 15:45:17 +00:00 |
|
chriseth
|
716b7ba995
|
Remove degree as property of symbol.
|
2023-11-17 15:49:01 +01:00 |
|
chriseth
|
4eb3be866d
|
Merge pull request #772 from powdr-labs/reuse_query_callback_impl
Reuse existing inputs to query callback utility.
|
2023-11-16 14:53:22 +00:00 |
|
chriseth
|
99ea18a17a
|
Allow namespaced names to be function-called.
|
2023-11-16 14:57:00 +01:00 |
|
chriseth
|
18d5b6095a
|
Reuse existing inputs to query callback utility.
|
2023-11-16 14:48:28 +01:00 |
|
chriseth
|
49ca9d371c
|
Expression folder.
|
2023-11-16 14:26:27 +01:00 |
|
chriseth
|
861e2c0bd9
|
Fix macro processing.
|
2023-11-15 16:55:46 +01:00 |
|
chriseth
|
d3de79ab98
|
Parse arbitrary expressions at pil statement level.
|
2023-11-15 16:55:46 +01:00 |
|
chriseth
|
8a85c0e633
|
Merge pull request #764 from powdr-labs/remove-tail
Removing `tail` instruction.
|
2023-11-15 15:54:58 +00:00 |
|
Lucas Clemente Vella
|
2ad7859e5b
|
Removing tail instruction.
In our label based implementation, tail should actually be
identical to jump.
|
2023-11-15 17:55:39 +03: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 |
|
Leo
|
cf7cae1f07
|
Merge pull request #768 from powdr-labs/column_by_name
Retain column access by name.
|
2023-11-15 12:56:15 +00:00 |
|
Lucas Clemente Vella
|
51c48e7833
|
Merge pull request #765 from powdr-labs/book_tests_as_individual
Run book tests as individual tests.
|
2023-11-15 11:19:29 +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
|
7f7c810a0c
|
Run book tests as individual tests.
|
2023-11-13 15:56:35 +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
|
c5d602f026
|
Merge pull request #762 from powdr-labs/fixing-sc
Regression: fixing instruction sc.w
|
2023-11-09 18:47:45 +00:00 |
|
Lucas Clemente Vella
|
ee67d365c5
|
Regression: fixing instruction sc.w
Failure to write without a reservation was not being reported.
|
2023-11-09 17:42:31 +00:00 |
|
chriseth
|
12add9ba8d
|
Merge pull request #745 from powdr-labs/witgen_for_arrays
Witgen for arrays
|
2023-11-08 20:51:10 +00:00 |
|
chriseth
|
d94db64b6f
|
Support arrays in witgen.
|
2023-11-08 21:31:49 +01:00 |
|
Leo
|
13d1f66e02
|
Merge pull request #754 from powdr-labs/ret-on-success
Instruction tests properly returning from __runtime_start.
|
2023-11-07 17:37:08 +00:00 |
|
Lucas Clemente Vella
|
f716768d9a
|
Instruction tests properly returning from __runtime_start.
|
2023-11-07 16:24:33 +00:00 |
|
Leo
|
18a34faf4b
|
Merge pull request #755 from powdr-labs/reorder-tests-ci
Placing faster checks first.
|
2023-11-07 14:11:42 +00:00 |
|
Lucas Clemente Vella
|
d1b74b7680
|
Placing faster checks first.
So that if they fail, they save waiting time.
|
2023-11-07 13:15:47 +00: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 |
|
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
|
d99187fd3a
|
Merge pull request #752 from powdr-labs/ret-on-success
On success, RV32 instruction tests returns from __runtime_start.
|
2023-11-06 19:24:47 +00:00 |
|
Lucas Clemente Vella
|
a798a73304
|
On success, RV32 instruction tests returns from __runtime_start.
|
2023-11-06 17:32:48 +00:00 |
|
Leo
|
1c5b64bd26
|
Merge pull request #750 from powdr-labs/compiler-remove-fs
compiler cleanup
|
2023-11-06 16:58:44 +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 |
|
chriseth
|
158a3aee5d
|
[SQUASH] Review comments.
|
2023-11-06 16:58:17 +01:00 |
|
Leo
|
b465f808d9
|
Merge pull request #748 from powdr-labs/fix-degree-cli
Fix degree passing in CLI
|
2023-11-06 09:33:35 +00:00 |
|
Leo Alt
|
e837eb777d
|
Fix degree passing in CLI
|
2023-11-03 18:50:45 +01:00 |
|
Georg Wiese
|
86cd4b68e9
|
Merge pull request #746 from powdr-labs/external-witgen-cli
Enable passing externally-generated witness via command line
|
2023-11-03 15:13:22 +00:00 |
|
Georg Wiese
|
9d518bc5be
|
Enable passing externally-generated witness via command line
|
2023-11-03 14:09:12 +00: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
|
ade10900e7
|
Merge pull request #693 from powdr-labs/fix-two-block-machine-functions
Fix test: `two_block_machine_functions.pil`
|
2023-11-02 15:11:19 +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 |
|