schaeff
|
f8cd4e4e75
|
remove wrapping behavior
|
2023-05-24 15:03:41 +02:00 |
|
adria0
|
5e114fb6ba
|
halo2 backend
|
2023-05-24 15:02:53 +02:00 |
|
Leo
|
dc2e4ff0a1
|
Merge pull request #293 from powdr-org/combine_pil_and_asm
Combine CLI for pil and asm compilation.
|
2023-05-23 12:15:55 +02:00 |
|
Leo
|
5354213b03
|
Merge pull request #297 from powdr-org/update_sum_example
Update sum example and readme.
|
2023-05-23 12:13:12 +02:00 |
|
chriseth
|
d7105b5cd4
|
Merge pull request #299 from powdr-org/better_pattern
Improved dynamic reference replacement.
|
2023-05-23 11:11:40 +02:00 |
|
chriseth
|
6600ab1216
|
Improved dynamic reference replacement.
|
2023-05-22 22:53:45 +02:00 |
|
chriseth
|
82271913a7
|
Combine CLI for pil and asm compilation.
|
2023-05-22 17:00:21 +02:00 |
|
chriseth
|
bd15ce59bd
|
Update sum example and readme.
|
2023-05-22 16:59:47 +02:00 |
|
Leo
|
caad12c4de
|
Merge pull request #298 from powdr-org/less_logging
Less logging on witgen failure
|
2023-05-22 16:54:32 +02:00 |
|
chriseth
|
026524d9eb
|
Merge pull request #290 from powdr-org/asm_inside_pil
Allow assembly inside pil.
|
2023-05-22 16:32:32 +02:00 |
|
chriseth
|
0ea3663750
|
Less logging on witgen failure.
|
2023-05-22 16:29:57 +02:00 |
|
chriseth
|
847e3cf37e
|
Allow assembly inside pil.
|
2023-05-22 12:51:10 +02:00 |
|
Leo
|
77595d3b3d
|
Merge pull request #291 from powdr-org/direct_values_in_analyze
Use direct values in pil analyzer.
|
2023-05-20 20:48:05 +02:00 |
|
chriseth
|
c1828322fe
|
Merge pull request #288 from powdr-org/print-macros
Print macro.
|
2023-05-20 11:26:14 +02:00 |
|
chriseth
|
e17177aff0
|
Use direct values in pil analyzer.
|
2023-05-19 22:56:48 +02:00 |
|
Lucas Clemente Vella
|
1ce602d4af
|
Print macro and panic handler safety.
|
2023-05-19 17:36:11 +01:00 |
|
Leo
|
e36d3e1f59
|
Merge pull request #286 from chriseth/check_power_two
Better check for power of two.
|
2023-05-19 10:52:19 +02:00 |
|
chriseth
|
5d90cc6687
|
Merge pull request #285 from chriseth/bin-rename
Binary CLI renamed to `powdr`
|
2023-05-18 19:45:35 +02:00 |
|
Leo
|
6c260a9f85
|
Merge pull request #287 from chriseth/clippy
Clippy
|
2023-05-18 18:57:09 +02:00 |
|
Lucas Clemente Vella
|
fca134cb9d
|
Binary CLI renamed to powdr
|
2023-05-18 16:10:08 +01:00 |
|
chriseth
|
3b4c566d3b
|
clippy
|
2023-05-18 13:22:33 +02:00 |
|
chriseth
|
b8c1fe196a
|
Better check for power of two.
|
2023-05-18 13:18:50 +02:00 |
|
chriseth
|
b4ff289d8a
|
Merge pull request #282 from chriseth/use_compiler_builtins
Use compiler builtins
|
2023-05-17 19:11:07 +02:00 |
|
Lucas Clemente Vella
|
00c749b296
|
Using compiler_builtin functions instead of our own.
Also supporting multiple .set directive indirections.
|
2023-05-17 17:11:27 +01:00 |
|
Leo
|
f9bd40363d
|
Merge pull request #275 from chriseth/retain_object_order
Implement la and retain object order
|
2023-05-16 17:16:24 +02:00 |
|
chriseth
|
aca2675340
|
Retain object order.
|
2023-05-16 16:19:45 +02:00 |
|
chriseth
|
9c45b75fc8
|
Implement la
|
2023-05-16 16:19:44 +02:00 |
|
chriseth
|
09b4c1d25c
|
Merge pull request #266 from chriseth/allocating
Enabling global allocator
|
2023-05-16 16:17:42 +02:00 |
|
Lucas Clemente Vella
|
18c3a1c6e6
|
Implemented allocator and a test to use it.
A couple of missing instructions were added to as needed.
|
2023-05-16 16:15:39 +02:00 |
|
Leo
|
3ac4f6b19f
|
Merge pull request #255 from chriseth/debug_maybe_uninit
Debug out with MaybeUninit.
|
2023-05-16 15:43:00 +02:00 |
|
chriseth
|
dfc82cf063
|
Merge pull request #251 from chriseth/password_checker
add password checker example from risc0
|
2023-05-16 15:42:37 +02:00 |
|
chriseth
|
2702c67d09
|
Debug out with MaybeUninit.
|
2023-05-16 15:05:03 +02:00 |
|
chriseth
|
5afaff6a9e
|
Merge pull request #276 from chriseth/fix_print
fix riscv print test
|
2023-05-16 14:04:44 +02:00 |
|
chriseth
|
be2cc0eec3
|
Merge pull request #278 from chriseth/hi_lo_offsets
Parse hi and lo data reference offsets.
|
2023-05-16 12:24:19 +02:00 |
|
Leo
|
53af89edae
|
Merge pull request #279 from chriseth/clarify_erorr
Clarify error message.
|
2023-05-16 12:20:04 +02:00 |
|
Leo Alt
|
0a57d9daa7
|
fix riscv print test
|
2023-05-16 12:19:08 +02:00 |
|
Leo
|
b8e0112544
|
Merge pull request #245 from gballet/implement-srai
implement the srai instruction
|
2023-05-16 11:58:38 +02:00 |
|
Guillaume Ballet
|
6f4ee18a3b
|
implement the srai instruction
|
2023-05-16 11:32:44 +02:00 |
|
chriseth
|
bde0fcd5a8
|
Merge pull request #277 from chriseth/no_init_zero_mem
Do not explicitly initialize memory objects to zero.
|
2023-05-16 11:18:36 +02:00 |
|
chriseth
|
e4a48db176
|
Clarify error message.
|
2023-05-16 11:16:30 +02:00 |
|
chriseth
|
0aa5c50f4c
|
Do not explicitly initialize memory objects to zero.
|
2023-05-15 21:07:04 +02:00 |
|
chriseth
|
90ca93de5f
|
Parse hi and lo data reference offsets.
|
2023-05-15 18:19:58 +02:00 |
|
chriseth
|
5ce4e99ae9
|
Merge pull request #274 from chriseth/working_instruction_tests
Add instruction tests.
|
2023-05-15 11:57:28 +02:00 |
|
chriseth
|
4981199c65
|
Add tests.
|
2023-05-13 17:31:41 +02:00 |
|
chriseth
|
65d9104d25
|
Merge pull request #273 from chriseth/parse_constant_expressions_in_asm
Parse constant expressions in assembly.
|
2023-05-13 16:55:10 +02:00 |
|
chriseth
|
f9c7324467
|
Parse constant expressions in assembly.
|
2023-05-13 00:05:38 +02:00 |
|
Leo
|
d82b4a4533
|
Merge pull request #269 from chriseth/reachability_simplification
Simplifying reachability.
|
2023-05-12 21:37:04 +02:00 |
|
Leo
|
36a5bccefc
|
Merge pull request #272 from chriseth/update_readme
update readme
|
2023-05-12 16:20:56 +02:00 |
|
Leo Alt
|
232fb0c6b7
|
update readme
|
2023-05-12 16:14:00 +02:00 |
|
Leo
|
5198dacbd5
|
Merge pull request #261 from chriseth/some_risc_asm_impr
Some risc asm improvements
|
2023-05-12 15:16:43 +02:00 |
|