6 Sep
2012
6 Sep
'12
5:56 p.m.
It might be interesting in some cases to have very detailed moose
models, at the level of single instruction
(there is a loop, its test compares variable x to 5, ...)
That would generates incredibly huge models, of course, but for
localized tasks it could be useful.
Was there some work along these lines at any point in time?
Or are we the only one to think it could be useful?
nicolas