search

chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Rename InvDFAMinimization project code to use InvariMint #225

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Change source to use InvariMint instead of InvDFAMinimization.

Original issue reported on code.google.com by bestchai on 24 Feb 2012 at 3:02

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision 7db0ed64fe6d.

Original comment by bestchai on 25 Feb 2012 at 2:16