https://github.com/eth-srl/ELINA
Revision 53f18e475e72271c55ef4378d6960975e80671c9 authored by Christoph Müller on 23 October 2019, 01:52:57 UTC, committed by Christoph Müller on 26 October 2019, 03:49:59 UTC
- Try to only load weights once if there are non-zero coeffs - Not clear if this really improves performance - Possible pipeline stall if all 4 coeffs need to be loaded at the same time
1 parent 6c233d4
Tip revision: 53f18e475e72271c55ef4378d6960975e80671c9 authored by Christoph Müller on 23 October 2019, 01:52:57 UTC
Possible performance optimization in coeffs methods (still needs proof)
Possible performance optimization in coeffs methods (still needs proof)
Tip revision: 53f18e4
| File | Mode | Size |
|---|---|---|
| apron_interface | ||
| elina_auxiliary | ||
| elina_linearize | ||
| elina_oct | ||
| elina_poly | ||
| elina_zones | ||
| elina_zonotope | ||
| fppoly | ||
| fppoly_gpu | ||
| java_interface | ||
| ocaml_interface | ||
| partitions_api | ||
| python_interface | ||
| zonoml | ||
| .gitignore | -rw-r--r-- | 295 bytes |
| LICENSE | -rw-r--r-- | 14.9 KB |
| Makefile | -rw-r--r-- | 2.9 KB |
| README.md | -rw-r--r-- | 523 bytes |
| configure | -rwxr-xr-x | 15.1 KB |
| opam | -rw-r--r-- | 837 bytes |
| rdtsc.h | -rw-r--r-- | 1.9 KB |
Computing file changes ...
