2010/3/11 John Van Enk <[email protected]>: > 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 <[email protected]> wrote: >> >> 2010/3/10 Tom Hawkins <[email protected]>: >> > On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning >> > <[email protected]> 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 >> [email protected] >> http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
