0 Replies Latest reply on Nov 30, 2008 11:47 AM by (Tom_Harwood)

    [svn] 4200: Updated the verifier simulation's constraint engine: it looks at predecessor

      Revision: 4200
      Author: tharwood@adobe.com
      Date: 2008-11-30 11:47:06 -0800 (Sun, 30 Nov 2008)

      Log Message:
      -----------
      Updated the verifier simulation's constraint engine: it looks at predecessor
      edges instead of successor edges, and forms a target type for each livein
      local based on the types of the local in the predecessor exblocks.

      Also, updated the type meet logic to be closer to the verifier's logic.

      Modified Paths:
      --------------
      flex/sdk/trunk/modules/asc/src/java/adobe/abc/GlobalOptimizer.java