Revision 30f46c0c
Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
Files
- added
- modified
- copied
- renamed
- deleted
- Makefile.in (diff)
- include
- lustrec_math.lusi
- lustrec_math.smt2
- math.lusi
- math.smt2
- src
| ID | 30f46c0cf40a5e1822acb19e5b1c79b442bbf316 |
| Parent | 212d6eff |
| Child | 40ad675e |
Added by Pierre-Loïc Garoche about 2 years ago
Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>