Re: [Haskell-cafe] ANN: powerpc-0.0.1

Serguey, The system I'm writing has a type in place for the AVR instruction set. I'm working on writing an assembler/disassembler for it as well. It might make sense, if your employer deems it worthwhile to release the code, to collaborate. /jve On Thu, Mar 11, 2010 at 11:35 AM, Serguey Zefirov wrote:

2010/3/11 John Van Enk :

...

Serguey, I'm working on a similar project. What's the chance you have your source code in the open? /jve

I'll ask.

But chances are pretty small.

I'll think about reimplementing command description from scratch.

...

On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov wrote:

...

2010/3/10 Tom Hawkins :

...

On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning wrote:

...

Wow. Quite ambitious.

Was this inspired by work at your current employer like with Atom and some of the other stuff you've released?

Yes, we had an immediate need to debug some machine code. I looked around, but all the emulators I found (PSIM, et al.) were too complicated.

I'm also intrigued by the emphasis on software verification at the object code level for aerospace (DO-178). I figure better tools in this area may open the door to using advanced design methods like Atom for avionics. Of course it's unlikely this project will reach that level of maturity, but you never know.

We wrote the debugger and simulator for AVR line of microcontroller

cores.

...

We used a DSEL to describe inner workings of commands and now try to apply it to ARM ISA.

The Haskell code is heavy on the use of type-level computations and, especially, assiciated types. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe