<div>Serguey,</div><div><br></div>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.<div>
<br></div><div>/jve<br><br><div class="gmail_quote">On Thu, Mar 11, 2010 at 11:35 AM, Serguey Zefirov <span dir="ltr"><<a href="mailto:sergueyz@gmail.com">sergueyz@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
2010/3/11 John Van Enk <<a href="mailto:vanenkj@gmail.com">vanenkj@gmail.com</a>>:<br>
<div class="im">> Serguey,<br>
> I'm working on a similar project. What's the chance you have your source<br>
> code in the open?<br>
> /jve<br>
<br>
</div>I'll ask.<br>
<br>
But chances are pretty small.<br>
<br>
I'll think about reimplementing command description from scratch.<br>
<div><div></div><div class="h5"><br>
> On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov <<a href="mailto:sergueyz@gmail.com">sergueyz@gmail.com</a>> wrote:<br>
>><br>
>> 2010/3/10 Tom Hawkins <<a href="mailto:tomahawkins@gmail.com">tomahawkins@gmail.com</a>>:<br>
>> > On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning<br>
>> > <<a href="mailto:warren.henning@gmail.com">warren.henning@gmail.com</a>> wrote:<br>
>> >> Wow. Quite ambitious.<br>
>> >><br>
>> >> Was this inspired by work at your current employer like with Atom and<br>
>> >> some of the other stuff you've released?<br>
>> ><br>
>> > Yes, we had an immediate need to debug some machine code. I looked<br>
>> > around, but all the emulators I found (PSIM, et al.) were too<br>
>> > complicated.<br>
>> ><br>
>> > I'm also intrigued by the emphasis on software verification at the<br>
>> > object code level for aerospace (DO-178). I figure better tools in<br>
>> > this area may open the door to using advanced design methods like Atom<br>
>> > for avionics. Of course it's unlikely this project will reach that<br>
>> > level of maturity, but you never know.<br>
>><br>
>> We wrote the debugger and simulator for AVR line of microcontroller cores.<br>
>><br>
>> We used a DSEL to describe inner workings of commands and now try to<br>
>> apply it to ARM ISA.<br>
>><br>
>> The Haskell code is heavy on the use of type-level computations and,<br>
>> especially, assiciated types.<br>
>> _______________________________________________<br>
>> Haskell-Cafe mailing list<br>
>> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
><br>
</div></div></blockquote></div><br></div>