Skip to content

Commit

Permalink
Merge pull request #548 from gizatechxyz/develop
Browse files Browse the repository at this point in the history 
Merge Develop into Main
  • Loading branch information
@raphaelDkhn
raphaelDkhn authored Jan 22, 2024
2 parents 3cfa610 + cb98cce commit 11e5799
Show file tree
Hide file tree
Showing 3,190 changed files with 55,628 additions and 59,396 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,5 @@ __pycache__

neural_network/.venv

.vscode/
Scarb.lock
2 changes: 1 addition & 1 deletion Scarb.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "orion"
version = "0.2.0"
version = "0.2.1"
cairo-version = "2.4.0"
edition = "2023_10"
description = "ONNX Runtime in Cairo for verifiable ML inference using STARK"
Expand Down
8 changes: 0 additions & 8 deletions docgen/src/main.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,14 +35,6 @@ fn main() {
doc_trait(trait_path, doc_path, label);
doc_functions(trait_path, doc_path, trait_name, label);

// SIGNED INTEGER DOC
let trait_path = "src/numbers/signed_integer/integer_trait.cairo";
let doc_path = "docs/framework/numbers/signed-integer";
let label = "int";
let trait_name: &str = "IntegerTrait";
doc_trait(trait_path, doc_path, label);
doc_functions(trait_path, doc_path, trait_name, label);

// COMPLEX NUMBER DOC
let trait_path = "src/numbers/complex_number/complex_trait.cairo";
let doc_path = "docs/framework/numbers/complex-number";
Expand Down
43 changes: 33 additions & 10 deletions docs/SUMMARY.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,6 @@
* [Contribute](framework/contribute.md)
* [Compatibility](framework/compatibility.md)
* [Numbers](framework/numbers/README.md)
* [Signed Integer](framework/numbers/signed-integer/README.md)
* [int.new](framework/numbers/signed-integer/int.new.md)
* [int.div\_rem](framework/numbers/signed-integer/int.div\_rem.md)
* [int.abs](framework/numbers/signed-integer/int.abs.md)
* [int.max](framework/numbers/signed-integer/int.max.md)
* [int.min](framework/numbers/signed-integer/int.min.md)
* [int.sign](framework/numbers/signed-integer/int.sign.md)
* [Fixed Point](framework/numbers/fixed-point/README.md)
* [fp.new](framework/numbers/fixed-point/fp.new.md)
* [fp.new\_unscaled](framework/numbers/fixed-point/fp.new\_unscaled.md)
Expand All @@ -36,6 +29,37 @@
* [fp.sin](framework/numbers/fixed-point/fp.sin.md)
* [fp.atan](framework/numbers/fixed-point/fp.atan.md)
* [fp.sign](framework/numbers/fixed-point/fp.sign.md)
* [Complex Number](framework/numbers/complex-number/README.md)
* [complex.acos](framework/numbers/complex-number/complex.acos.md)
* [complex.acosh](framework/numbers/complex-number/complex.acosh.md)
* [complex.arg](framework/numbers/complex-number/complex.arg.md)
* [complex.asin](framework/numbers/complex-number/complex.asin.md)
* [complex.asinh](framework/numbers/complex-number/complex.asinh.md)
* [complex.atan](framework/numbers/complex-number/complex.atan.md)
* [complex.atanh](framework/numbers/complex-number/complex.atanh.md)
* [complex.conjugate](framework/numbers/complex-number/complex.conjugate.md)
* [complex.cos](framework/numbers/complex-number/complex.cos.md)
* [complex.cosh](framework/numbers/complex-number/complex.cosh.md)
* [complex.exp](framework/numbers/complex-number/complex.exp.md)
* [complex.exp2](framework/numbers/complex-number/complex.exp2.md)
* [complex.from\_polar](framework/numbers/complex-number/complex.from\_polar.md)
* [complex.img](framework/numbers/complex-number/complex.img.md)
* [complex.ln](framework/numbers/complex-number/complex.ln.md)
* [complex.log2](framework/numbers/complex-number/complex.log2.md)
* [complex.log10](framework/numbers/complex-number/complex.log10.md)
* [complex.mag](framework/numbers/complex-number/complex.mag.md)
* [complex.new](framework/numbers/complex-number/complex.new.md)
* [complex.one](framework/numbers/complex-number/complex.one.md)
* [complex.pow](framework/numbers/complex-number/complex.pow.md)
* [complex.real](framework/numbers/complex-number/complex.real.md)
* [complex.reciprocal](framework/numbers/complex-number/complex.reciprocal.md)
* [complex.sin](framework/numbers/complex-number/complex.sin.md)
* [complex.sinh](framework/numbers/complex-number/complex.sinh.md)
* [complex.sqrt](framework/numbers/complex-number/complex.sqrt.md)
* [complex.tan](framework/numbers/complex-number/complex.tan.md)
* [complex.tanh](framework/numbers/complex-number/complex.tanh.md)
* [complex.to\_polar](framework/numbers/complex-number/complex.to\_polar.md)
* [complex.zero](framework/numbers/complex-number/complex.zero.md)
* [Operators](framework/operators/README.md)
* [Tensor](framework/operators/tensor/README.md)
* [tensor.new](framework/operators/tensor/tensor.new.md)
Expand Down Expand Up @@ -122,13 +146,13 @@
* [tensor.reduce\_log\_sum](framework/operators/tensor/tensor.reduce\_log\_sum.md)
* [tensor.unique](framework/operators/tensor/tensor.unique.md)
* [tensor.compress](framework/operators/tensor/tensor.compress.md)
* [tensor.layer_normalization](framework/operators/tensor/tensor.layer_normalization.md)
* [tensor.layer\_normalization](framework/operators/tensor/tensor.layer\_normalization.md)
* [Neural Network](framework/operators/neural-network/README.md)
* [nn.relu](framework/operators/neural-network/nn.relu.md)
* [nn.leaky\_relu](framework/operators/neural-network/nn.leaky\_relu.md)
* [nn.sigmoid](framework/operators/neural-network/nn.sigmoid.md)
* [nn.softmax](framework/operators/neural-network/nn.softmax.md)
* [nn.softmax_zero](framework/operators/neural-network/nn.softmax_zero.md)
* [nn.softmax\_zero](framework/operators/neural-network/nn.softmax\_zero.md)
* [nn.logsoftmax](framework/operators/neural-network/nn.logsoftmax.md)
* [nn.softsign](framework/operators/neural-network/nn.softsign.md)
* [nn.softplus](framework/operators/neural-network/nn.softplus.md)
Expand Down Expand Up @@ -157,7 +181,6 @@
* [sequence.sequence\_insert](framework/operators/sequence/sequence.sequence\_insert.md)
* [sequence.concat\_from\_sequence](framework/operators/sequence/sequence.concat\_from\_sequence.md)


## 🏛 Hub

* [Models](hub/algorithms.md)
Expand Down
2 changes: 1 addition & 1 deletion docs/academy/tutorials/mnist-classification-with-orion.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -458,7 +458,7 @@ fn fc1_bias() -> Tensor<i32> {

#### Signed Integer in Orion

In Cairo, there are no built-in signed integers. However, in the field of machine learning, they are very useful. So Orion introduced a full implementation of [Signed Integer](../../framework/numbers/signed-integer/). It is represented by a struct containing both the magnitude and its sign as a boolean.
In Cairo, there are no built-in signed integers. However, in the field of machine learning, they are very useful. So Orion introduced a full implementation of [Signed Integer](broken-reference). It is represented by a struct containing both the magnitude and its sign as a boolean.

The magnitude represents the absolute value of the number, and the sign indicates whether the number is positive or negative.

Expand Down
1 change: 0 additions & 1 deletion docs/framework/get-started.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,6 @@ use core::array::{ArrayTrait, SpanTrait};

use orion::operators::tensor::{TensorTrait, Tensor, I32Tensor};
use orion::operators::nn::{NNTrait, I32NN};
use orion::numbers::signed_integer::i32::{i32, IntegerTrait};

fn relu_example() -> Tensor<i32> {
let tensor = TensorTrait::<i32>::new(
Expand Down
2 changes: 1 addition & 1 deletion docs/framework/numbers/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

A full implementation of Signed Integer, Fixed Point and Complex Number in Cairo.

<table data-card-size="large" data-view="cards"><thead><tr><th align="center"></th><th align="center"></th><th></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td align="center"></td><td align="center"><strong>Signed Integer</strong></td><td></td><td><a href="signed-integer/">signed-integer</a></td></tr><tr><td align="center"></td><td align="center"><strong>Fixed Point</strong></td><td></td><td><a href="fixed-point/">fixed-point</a></td></tr><tr><td align="center"></td><td align="center"><strong>Complex Number</strong></td><td></td><td><a href="complex-number/">complex-number</a> </td></tr></tbody></table>
<table data-card-size="large" data-view="cards"><thead><tr><th align="center"></th><th align="center"></th><th></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td align="center"></td><td align="center"><strong>Signed Integer</strong></td><td></td><td><a href="broken-reference">Broken link</a></td></tr><tr><td align="center"></td><td align="center"><strong>Fixed Point</strong></td><td></td><td><a href="fixed-point/">fixed-point</a></td></tr><tr><td align="center"></td><td align="center"><strong>Complex Number</strong></td><td></td><td><a href="complex-number/">complex-number</a></td></tr></tbody></table>
80 changes: 0 additions & 80 deletions docs/framework/numbers/signed-integer/README.md
View file

This file was deleted.

28 changes: 0 additions & 28 deletions docs/framework/numbers/signed-integer/int.abs.md
View file

This file was deleted.

34 changes: 0 additions & 34 deletions docs/framework/numbers/signed-integer/int.div_rem.md
View file

This file was deleted.

30 changes: 0 additions & 30 deletions docs/framework/numbers/signed-integer/int.max.md
View file

This file was deleted.

31 changes: 0 additions & 31 deletions docs/framework/numbers/signed-integer/int.min.md
View file

This file was deleted.

38 changes: 0 additions & 38 deletions docs/framework/numbers/signed-integer/int.new.md
View file

This file was deleted.

Loading

0 comments on commit 11e5799

Please sign in to comment.