litmus: correct scan array size of pre-si
litmus: more on pre-si
litmus: more of pre-si, transfert.
litmus: more pre-si, more or less working.
litmus-presi: works for C, more or less.
litmus-presi: transfert add pointer values, not finished.
litmus-presi: handle pointer values.
litmus-presi: similar output for both modes (std & presi)
Also supressed 'signaling' made obsolete by pre-si mode.
litmus-presi: add selection of parameters on the command-line...
litmus-presi: added random paramater scanning and a few command-line options
for executables.
litmus-presi: transfert
litmus-presi: transfert
litmus-presi: better control of cache directive, depending upon topology allocation.
Merge branch 'presi'
herdtools: Use shared IntSet and IntMap modules.