Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

caisar
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents

Snippets Groups Projects

f8151d30

Commit f8151d30 authored 2 years ago by Michele Alberti

Downloads
- Plain Diff

Merge branch 'feature/michele/remove-dataset-normalization' into 'master'

Remove dataset normalization

See merge request laiser/caisar!72

parents 4a0a71a3 12434ca5

No related branches found

No related tags found

Loading

Changes 11

Expand all Hide whitespace changes

Inline Side-by-side

Showing

doc/mnist.rst 6 additions, 11 deletions

doc/mnist.rst
examples/mnist/csv/mnist_test.csv 100 additions, 100 deletions

examples/mnist/csv/mnist_test.csv
examples/mnist/csv/single_image.csv 1 addition, 1 deletion

examples/mnist/csv/single_image.csv
examples/mnist/property.why 1 addition, 2 deletions

examples/mnist/property.why
src/JSON.ml 0 additions, 21 deletions

src/JSON.ml
src/JSON.mli 0 additions, 1 deletion

src/JSON.mli
src/dataset.ml 8 additions, 144 deletions

src/dataset.ml
src/dataset.mli 0 additions, 5 deletions

src/dataset.mli
stdlib/caisar.mlw 0 additions, 3 deletions

stdlib/caisar.mlw
tests/dataset.t 3 additions, 5 deletions

tests/dataset.t
tests/pyrat_verify_json.t 2 additions, 2 deletions

tests/pyrat_verify_json.t

with 121 additions and 295 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment