y/Professional Software Engineer/Evil Time-wasting Pedant/
Hmm bulk of core translation cludge is finished, (mostly buggy but i'll sort that tommorow)
Working on stuff to let you implicitly translate java runtime classes into promela using an XML..
it is really difficult to embed java/c language in xml without lots of entity translation.. ug.. currently i am on: <JAVABODY>[CDATA[ java.foo.bar ]]</JAVABODY> Seems the best way to have unmodified code (except for arrays inside arrays) preserving xml structural integrity.
should finish xml parser (weak,independant sax parser) in a few hours, then the generater for that, then onto embedded annotations (YACC hacking- easier than xml (surprisingly enough)(yay)) then i need to handle non-deterministic expressions (eek) and then the backend (easy (i hope))
all this by tommorow.
New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.
Keep up with the latest Advogato features by reading the Advogato status blog.
If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!