[Haskell-cafe] ANN: powerpc-0.0.1

[John Van Enk]

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 <sergueyz at gmail.com>wrote:

> 2010/3/11 John Van Enk <vanenkj at gmail.com>:
> > 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 <sergueyz at gmail.com>
> wrote:
> >>
> >> 2010/3/10 Tom Hawkins <tomahawkins at gmail.com>:
> >> > On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning
> >> > <warren.henning at gmail.com> 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 at haskell.org
> >> http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100311/f502ad86/attachment-0001.html