 Ian Goldberg
|
cc1972fdf3
Bump version to 0.1.0-rc2
|
пре 9 месеци |
|
Ian Goldberg
|
f516821132
Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml
|
пре 10 месеци |
|
Ian Goldberg
|
9d64a63937
Small READMEs for -derive and -core
|
пре 10 месеци |
|
Ian Goldberg
|
b4d6cba6e3
A few stray sigma_rs -> sigma_proofs in docs
|
пре 10 месеци |
|
Ian Goldberg
|
3eeb404335
Add author/version to README, and a link to the main docs to the top-level module
|
пре 10 месеци |
|
Ian Goldberg
|
fa34ad9c55
The main documentation needs to be available in the sigma-compiler-derive directory
|
пре 10 месеци |
|
Ian Goldberg
|
cf41d6ee69
Add repository and description fields to the Cargo.toml files
|
пре 10 месеци |
|
Ian Goldberg
|
67803b7393
gitignore target
|
пре 10 месеци |
|
Ian Goldberg
|
7d61bcc09f
Use 0.1.0-rc1 as the version for the release candidate
|
пре 10 месеци |
|
Ian Goldberg
|
922a5276ad
Make the main macro documentation visible as README.md
|
пре 10 месеци |
|
Ian Goldberg
|
3d9908a4c4
Add MIT licence
|
пре 10 месеци |
|
Ian Goldberg
|
58c901854e
Commit Cargo.lock files to git
|
пре 10 месеци |
|
Ian Goldberg
|
62c3f53eb6
Use the now-published prerelease version of sigma-proofs
|
пре 10 месеци |
|
Ian Goldberg
|
b7919c12b2
Use kebab case for the package names
|
пре 10 месеци |
|
Ian Goldberg
|
d5683e25d2
The sigma-rs dependency has been renamed sigma-proofs
|
пре 10 месеци |
|
Ian Goldberg
|
d98e409ad9
Make the generated code a bit more compact using the new sigma_rs::errors API
|
пре 10 месеци |
|
Ian Goldberg
|
40cf47ac0b
Use new 'and' and 'or' convenience constructors for ComposedRelation
|
пре 10 месеци |
|
Ian Goldberg
|
d53071b359
Match updated sigma-rs API
|
пре 11 месеци |
|
Ian Goldberg
|
77d40c741d
Tests on vectors of length 0
|
пре 11 месеци |
|
Ian Goldberg
|
d1ea73312c
Add a binary that takes the macro input on stdin and outputs the macro output
|
пре 11 месеци |
|
Ian Goldberg
|
14c998d048
A little refactoring of the top-level sigma_compiler_core module
|
пре 11 месеци |
|
Ian Goldberg
|
fb69ebf940
Document AND and OR in the macro rustdoc
|
пре 11 месеци |
|
Ian Goldberg
|
7be6ffc378
clippy on the tests
|
пре 11 месеци |
|
Ian Goldberg
|
7c81911952
Add support for vector sums and dot products
|
пре 11 месеци |
|
Ian Goldberg
|
b5bd445d63
More vector tests
|
пре 11 месеци |
|
Ian Goldberg
|
0f2fdca04c
More support for vector variables
|
пре 11 месеци |
|
Ian Goldberg
|
f9832a0cb8
Refactor some code to generate TokenStreams of arithmetic possibly involving vectors
|
пре 11 месеци |
|
Ian Goldberg
|
1de1cc05c4
Improving support for vector variables
|
пре 11 месеци |
|
Ian Goldberg
|
ac2972bd57
basic vector operations test
|
пре 11 месеци |
|
Ian Goldberg
|
70172afea4
A few more tests
|
пре 11 месеци |
