37 Commits

Author SHA1 Message Date
Leo
85bcab38df update readme (#3239)
The image was gone with the cleanup, bringing it back + adjusting text.
2025-08-29 10:10:07 +00:00
Leo
47bcbf8c71 update README (#2742) 2025-05-21 08:19:49 +00:00
Thibaut Schaeffer
aafe2570be Remove estark (#2739)
Following #2735 , remove all of estark
2025-05-20 17:50:33 +00:00
Leo
65a8d835ae update readme nov 2024 (#2104) 2024-11-18 13:14:38 +00:00
Thibaut Schaeffer
93770dd02a Ignore licenses in link check (#1912)
Judging from the build failures of
https://github.com/powdr-labs/powdr/pull/1686 our requests to
https://opensource.org/license/MIT are being blocked.

Ignore the license URLs when checking the links.
2024-10-16 09:09:08 +00:00
Leo
bcfee63ae5 Dual license (#1377)
Followed https://github.com/arnavyc/dual-licensed-mit-apache
2024-05-14 16:29:23 +00:00
Leo
dce4f985c7 update readme (#1375) 2024-05-14 12:56:53 +00:00
Lucas Clemente Vella
ac9dcfda87 zkEVM prover backend (#1211)
Similar to #1193, but in here I am just interested in having it working
end-to-end, at least for a few cases, so that everybody can try it and
build upon.

<!--

Please follow this protocol when creating or reviewing PRs in this
repository:

- Leave the PR as draft until review is required.
- When reviewing a PR, every reviewer should assign themselves as soon
as they
start, so that other reviewers know the PR is covered. You should not be
discouraged from reviewing a PR with assignees, but you will know it is
not
  strictly needed.
- Unless the PR is very small, help the reviewers by not making forced
pushes, so
that GitHub properly tracks what has been changed since the last review;
use
  "merge" instead of "rebase". It can be squashed after approval.
- Once the comments have been addressed, explicitly let the reviewer
know the PR
  is ready again.

-->

---------

Co-authored-by: Leo <leo@powdrlabs.com>
2024-04-18 09:16:09 +00:00
Leo
098e65c6dd mention matrix more explicitly in readme (#1265) 2024-04-10 10:57:23 +00:00
Leo Alt
ba727c68c2 adjust reamde 2023-10-05 12:38:27 +02:00
schaeff
a3ebf460fd remove constraints blocks 2023-10-04 12:52:59 +02:00
Thibaut Schaeffer
c3c49ac884 Check for dead links in markdown (#506)
* check for dead links in markdown

* fix dead links

* ignore twitter checks

* ignore license
2023-08-18 15:05:02 +02:00
Leo
44916004c5 remove old lang docs and adjust README (#466) 2023-08-07 11:02:47 +02:00
schaeff
88dfdea0a5 create powdr book
Co-authored-by: Leo <me@leoa.lt>
2023-07-27 14:51:22 +02:00
Leo Alt
ea6283e591 add badges to README 2023-07-25 17:44:06 +02:00
schaeff
30915a0132 optional halo2 proving in cli 2023-06-02 16:05:25 +02:00
chriseth
bd15ce59bd Update sum example and readme. 2023-05-22 16:59:47 +02:00
Leo Alt
232fb0c6b7 update readme 2023-05-12 16:14:00 +02:00
Guillaume Ballet
e374b420aa fix a couple typos in README 2023-05-10 14:43:40 +02:00
Guillaume Ballet
5d5ab18d7b add a runtime crate
Update riscv/runtime/src/lib.rs

Co-authored-by: chriseth <chris@ethereum.org>

package runtime lib to compile single files

Remove need for loop{} in main

Remove 'extern "C"' from main declaration

implement mem* funcs in the runtime

Co-Authored-by: chriseth <chris@ethereum.org>

fix a couple endianness and alignment issues

remove unused build entry in compiler/Cargo.toml

more review feedback

fix clippy linter error

update README

Remove all #[no_main]

Add test runner for memfuncs.
2023-05-08 22:42:54 +02:00
Maddiaa
345268e1de Update README.md
example compilation has moved dir
2023-04-29 21:27:47 +01:00
schaeff
82cfa54696 split into small crates 2023-04-21 17:16:22 +02:00
chriseth
a9cdc0ecda More text on assembly and rust frontend. 2023-03-24 22:34:27 +01:00
chriseth
1adcc5e082 Allow different terms for pol, constant and commit. 2023-02-15 14:18:28 +01:00
chriseth
387ee636fe Disclaimer and some changes in asm 2023-02-15 14:02:09 +01:00
chriseth
052c1e5736 Macros 2023-02-14 18:13:07 +01:00
chriseth
bc15a2cfa7 Update README.md 2023-02-09 10:34:59 +01:00
chriseth
b02a569bc7 Immediates for instructions 2023-01-27 16:47:00 +01:00
chriseth
eb9042d5bf More details for assembly. 2023-01-26 14:22:25 +01:00
Leo Alt
93d4c4f439 pre and post conditions 2023-01-23 19:22:20 +01:00
chriseth
3a5ce18b12 Cross product. 2023-01-23 17:53:54 +01:00
chriseth
1a93b337ca Array example. 2023-01-23 15:46:50 +01:00
chriseth
f59882c7e4 state machine counters 2023-01-19 11:09:14 +01:00
chriseth
0cb2cb1e03 Save and restore registers. 2023-01-19 09:05:19 +01:00
chriseth
ed29148635 Thoughts about assembly 2023-01-18 15:30:31 +01:00
chriseth
781b684dc4 Add some ideas 2023-01-18 11:08:29 +01:00
chriseth
4c62f49709 Initial commit 2023-01-06 09:56:44 +01:00