[Haskell-cafe] ANN: powerpc-0.0.1

[Serguey Zefirov]

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
>
>