annotate caching-tests/test.urs @ 2276:c05f9a5e0f0f
Progress on free paths, but consolidation seems to fail more with them.
author |
Ziv Scully <ziv@mit.edu> |
date |
Mon, 09 Nov 2015 13:37:31 -0500 |
parents |
ce96e166d938 |
children |
f8903af753ff |
rev |
line source |
ziv@2213
|
1 val cache : int -> transaction page
|
ziv@2276
|
2 val cacheR : {Id : int, FooBar : int} -> transaction page
|
ziv@2275
|
3 (* val cache2 : int -> int -> transaction page *)
|
ziv@2213
|
4 val flush : int -> transaction page
|
ziv@2275
|
5 val flash : int -> transaction page
|
ziv@2275
|
6 val floosh : int -> transaction page
|
ziv@2275
|
7 (* val flush17 : transaction page *)
|