Version bump

Changes

@@ -3,7 +3,7 @@ Revision history for Verilator
 The contributors that suggested a given feature are shown in [].  [by ...]
 indicates the contributor was also the author of the fix; Thanks!
 
-* Verilator 3.712 2009/**
+* Verilator 3.712 2009/07/14
 
 **   Patching SystemC is no longer required to trace sc_bvs.
 

src/V3Table.cpp

@@ -291,7 +291,7 @@ private:
 	}
     }
     virtual void visit(AstNodeCond* nodep, AstNUser*) {
-	// We could use above visit(AstNodeTriop), but it's slower to evaluate
+	// We could use above visit(AstNodeTriop), but it's slower even O(n^2) to evaluate
 	// both sides when we really only need to evaluate one side.
 	if (m_checking) {
 	    if (!optimizable()) return;  // Accelerate
@@ -328,7 +328,7 @@ private:
 	    nodep->rhsp()->iterateAndNext(*this);
 	    AstVarScope* vscp = nodep->lhsp()->castVarRef()->varScopep();
 	    if (nodep->castAssignDly()) {
-		// Don't do setNumber, as value isn't visible to new statements
+		// Don't do setNumber, as value isn't yet visible to following statements
 		setOutNumber(vscp, fetchNumber(nodep->rhsp()));
 	    } else {
 		setNumber(vscp, fetchNumber(nodep->rhsp()));

src/config_build.h.in

@@ -25,7 +25,7 @@
 //**********************************************************************
 //**** Version and host name
 
-#define DTVERSION	"Verilator 3.711 2009/05/19"
+#define DTVERSION	"Verilator 3.712 2009/07/14"
 
 //**********************************************************************
 //**** Functions