├── LICENSE ├── images ├── eq1.png ├── eq2.png ├── estimation_example1.png ├── estimation_example2.png ├── estimation_example3.png ├── estimation_example4.png └── estimation_example5.png ├── readme.md └── src ├── frama_numpy.py ├── frama_numpy_performance.py └── frama_use_case.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/LICENSE -------------------------------------------------------------------------------- /images/eq1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/eq1.png -------------------------------------------------------------------------------- /images/eq2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/eq2.png -------------------------------------------------------------------------------- /images/estimation_example1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/estimation_example1.png -------------------------------------------------------------------------------- /images/estimation_example2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/estimation_example2.png -------------------------------------------------------------------------------- /images/estimation_example3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/estimation_example3.png -------------------------------------------------------------------------------- /images/estimation_example4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/estimation_example4.png -------------------------------------------------------------------------------- /images/estimation_example5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/images/estimation_example5.png -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/readme.md -------------------------------------------------------------------------------- /src/frama_numpy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/src/frama_numpy.py -------------------------------------------------------------------------------- /src/frama_numpy_performance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/src/frama_numpy_performance.py -------------------------------------------------------------------------------- /src/frama_use_case.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/supernlogn/frama/HEAD/src/frama_use_case.py --------------------------------------------------------------------------------