https://github.com/ibex-team/ibex-lib
Revision 456170ef19f656537f750d040854c1ee1ad9acc2 authored by gchabert on 20 October 2016, 18:56:11 UTC, committed by gchabert on 20 October 2016, 18:56:11 UTC
1 parent 0d217e0
Tip revision: 456170ef19f656537f750d040854c1ee1ad9acc2 authored by gchabert on 20 October 2016, 18:56:11 UTC
Continuation: fix bugs in "check linearization", rename it "is_homeomorph_half_ball" and moves it to ParametricProof. Add first test
Continuation: fix bugs in "check linearization", rename it "is_homeomorph_half_ball" and moves it to ParametricProof. Add first test
Tip revision: 456170e
| File | Mode | Size |
|---|---|---|
| 3rd | ||
| benchs | ||
| doc | ||
| examples | ||
| newdoc | ||
| plugins | ||
| src | ||
| tests | ||
| .gitignore | -rw-r--r-- | 353 bytes |
| .travis.yml | -rw-r--r-- | 1.1 KB |
| COPYING.LESSER | -rw-r--r-- | 7.5 KB |
| Doxyfile | -rw-r--r-- | 8.8 KB |
| LICENSE | -rw-r--r-- | 7.5 KB |
| README.md | -rw-r--r-- | 164 bytes |
| ibexutils.py | -rw-r--r-- | 1.5 KB |
| waf | -rwxr-xr-x | 87.5 KB |
| wscript | -rw-r--r-- | 4.9 KB |
Computing file changes ...
