Use better defaults for top-down cache size.
authorKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 13:34:41 +0000 (15:34 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 13:57:29 +0000 (15:57 +0200)
commit0c50360a781f9c1048ac84d90561cdd5a6fb34ac
treeb6dd657eae2ba9dbc1961acd34990fc5f7eab483
parentfcdb6b70f80c4777e319917e9318fc8d54e3a28f
Use better defaults for top-down cache size.
src/cache.ml
src/l2JIT.ml