2012-10-03 16:57:08 by Aleksej Saushev | Files touched by this commit (1) |
Log message: Support staged installation. |
2009-10-11 12:44:55 by Thomas Klausner | Files touched by this commit (222) |
Log message: Remove obsolete @dirrm lines. |
2006-12-17 22:42:34 by David Howland | Files touched by this commit (2) |
Log message: Compile on gcc4 |
2006-12-04 07:40:00 by David Howland | Files touched by this commit (2) |
Log message: Attempt to fix buik build failure fix redefinition of a function however, i dont have a -current machine to test this with |
2006-11-15 18:51:47 by David Howland | Files touched by this commit (4) | |
Log message: The MVSIS group at Berkeley studies logic synthesis and verification for VLSI design. The main focus is on new optimization algorithms that improve the quality of circuits generated by automatic synthesis tools and, at the same time, are scalable for practical use. |