23 Jun
2010
23 Jun
'10
3:05 a.m.
On Tue, Jun 22, 2010 at 9:08 PM, Ivan Miljenovic
For those others like me who have no idea what s-record files are: http://en.wikipedia.org/wiki/S-record
Sorry, I should have been more clear. In embedded systems development, s-records are typically used to hold the ROM image of a processor. It is the last file produced by the compiler tool chain and the file that is loaded (aka. flashed) into the processor. My interest, and hence the motivation for the library, is to conduct software verification on machine code. This library may soon be tied in with my powerpc instruction set simulator [1]. -Tom [1] http://hackage.haskell.org/package/powerpc