max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src
History
Leonardo de Moura ed3df178ac Improve hash for hierarchical names. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-07-24 14:56:32 -07:00
..
cmake Add separate cmake files for GMP and Tcmalloc 2013-07-19 10:04:08 -07:00
interval Add neg, div, power to interval. Fix bug in -= operator at interval. Add some unit tests for interval class 2013-07-19 19:24:38 -07:00
kernel Add deep copy for kernel expressions 2013-07-24 14:56:32 -07:00
numerics Fix bugs in mpbq. 2013-07-21 20:12:04 -07:00
sexpr Improve hash for hierarchical names. 2013-07-24 14:56:32 -07:00
shell Clean white-spaces 2013-07-19 10:29:33 -07:00
tests Improve hash for hierarchical names. 2013-07-24 14:56:32 -07:00
util Improve hash for hierarchical names. 2013-07-24 14:56:32 -07:00
CMakeLists.txt Add expressions (dependent type theory) 2013-07-22 12:46:11 -07:00
Doxyfile Add Doxyfile (configuration file for Doxygen) 2013-07-24 08:22:12 -04:00