ipc/ipdl/ipdl/ast.py
c3b494310a9ff401ca9c2bbbf14666a5bc7a18a1
created 2009-08-19 21:21 -0500
pushed unknown
Chris Jones Chris Jones - add IPDL front-end support for transitioning to one of a set of states
0f9546f174946f6238b0300eca3a44f787c03a54
created 2009-08-19 18:35 -0500
pushed unknown
Chris Jones Chris Jones - add real front-end support for multiple start states in IPDL
9969da8c718a88e7f97d2422288c21f42c7c4a64
created 2009-07-27 20:49 -0500
pushed unknown
Chris Jones Chris Jones - bug 506788: fix stupid typo
fe5cf51fb70af0ceb6e432727a788dde2bc1b1a7
created 2009-07-17 18:10 -0500
pushed unknown
Chris Jones Chris Jones - check that protocol state machines are race-free. fix race in test-harness (whoops).
f73725286bc67acc119d3ac5866dcc3014da50d4
created 2009-07-17 14:22 -0500
pushed unknown
Chris Jones Chris Jones - check reachability of states in IPDL protocols. clean up type checking a little.
a22c2cc3af1f0df92134b804aa6d2cf38f7e4302
created 2009-07-10 19:19 -0500
pushed unknown
Chris Jones Chris Jones - remove in/out/inout syntax in favor of parent:, child:, and both: labels
5e73cb310bddace1b684274e32c2f0b66fe26ed2
created 2009-07-09 13:11 -0500
pushed unknown
Chris Jones Chris Jones - final frontend support for protocol state machines. patch includes a minor refactoring as well.
c9176c61346b625798d12c103b48f6a71ffbbd02
created 2009-07-08 18:03 -0500
pushed unknown
Chris Jones Chris Jones - add parsing and type-checking of protocol state machines in preparation for codegen of dynamic FSM checker. fix a couple of bugs here and there.
042ca6009da4e1e8b55390544a9a38aa3e1dc846
created 2009-06-30 15:38 -0400
pushed unknown
Benjamin Smedberg Benjamin Smedberg - Import IPDL from cjones' working repo, revision 282b4211d881. New IPDL work will take place in electrolysis.
less more (0) tip