Gianluca Aguzzi issues

Results 4 issues of


                                            Gianluca Aguzzi

build: add scafi-all-jvm project to create a fatjar of the main project

ScaFi documentation site could be improved

The [ScaFi documentation](https://scafi.github.io/) contains different parts that are not currently written (the meaning of BlockG, BlockC, ...). Furthermore, the documentation structure could be confusing for the beginner. We can consider...

scafi-simulator: simulations are not reproducible

Tests involving simulations fail randomly. - test failed: https://github.com/scafi/scafi/runs/3966460660?check_suite_focus=true#stecherp:4:1790 - test passed: https://github.com/scafi/scafi/runs/3965384323?check_suite_focus=true This problem could be linked to: - misconfiguration of some simulation seeds - time abstraction: currently, the...

pip install numpy (and others) does not work in arch linux

I am trying to use graalpy in arch linux. Although the interpreter works, the patches applied seem to lead to compilation errors when trying to install numpy (torch, pandas). In...