5 commits

Author	SHA1	Message	Date
Simon Cruanes	f561e7af7c	changed interface of Cache.S.with_cache_rec	2013-03-07 18:12:35 +01:00
Simon Cruanes	001e28ad5f	LRU cache implemented	2013-03-06 15:43:54 +01:00
Simon Cruanes	694b4929b0	Cache.S2 can cache pair of heterogeneous arguments; ... Cache.Dummy and Cache.Dummy2 (no caching); benchmarking Cache	2013-03-06 15:14:48 +01:00
Simon Cruanes	22e948e374	big changes in the Cache module, with clean signatures and several ... functors that implement distinct policies	2013-03-06 12:28:09 +01:00
Simon Cruanes	d6d149e549	moved everything to the root directory	2013-03-04 13:25:25 +01:00