[/] [trunk/] - Rev 29

  • Current Directory
  • View Log
  • Compare with Previous
  • RSS feed

Last modification (Rev 29, 2008-03-30 04:30:23 GMT)

Author:
tbourke
Log message:
Implement ATrans.reduceSelectIds so that Urpal is a bit more flexible about
selection bindings used around subexpressions without clocks in guards and
not in channel array subscripts. (see 20080329)
Path
/trunk/src/maketest/actiontrans.sml
/trunk/src/maketest/action_trans.sig
/trunk/src/maketest/clockexpression.sml
/trunk/src/maketest/maketest.sml
/trunk/src/maketest/transitionflipper.sml
/trunk/src/parse/environment.sig
/trunk/src/parse/environment.sml
/trunk/src/parse/expression.sig
/trunk/src/parse/expressionfn.sml
/trunk/src/TODO
Author: Timothy Bourke using WebSVN [trunk] This page was dynamically generated.

Site menu

  • Home
  • Publications
  • Software
    • FreeBSD
    • Standard ML
    • Svgtoquiz
    • Mnemogogo
    • Treeplate
    • Urpal
      • man page
      • source code
    • Miscellany
  • Esterel