darcs - INblobs

repos / INblobs / commit

author	Miguel Vilaca <jmvilaca@di.uminho.pt>
local date	Fri, 27 Jul 2007 11:53:34
date	Fri, 27 Jul 2007 10:53:34
hash	20070727105334-970b1-1a89c7497b8e5f68b7e68a14c9b8e0d1a9e1246b

Checks

Machinery to add checks over nets, plus a simple operation that checks if every port is connected exactly once.

10 file(s) changed:

Makefile	+20 -0	diff \| history \| annotate
src/Common.hs	+13 -0	diff \| history \| annotate
src/Constants.hs	+5 -0	diff \| history \| annotate
src/GUIEvents.hs	+1 -0	diff \| history \| annotate
src/INChecks.hs	[added]	diff \| history \| annotate
src/INChecksUI.hs	[added]	diff \| history \| annotate
src/INReduction.hs	+3 -3	diff \| history \| annotate
src/INReductionStrategies.hs	+7 -5	diff \| history \| annotate
src/Network.hs	+9 -0	diff \| history \| annotate
src/NetworkUI.hs	+27 -12	diff \| history \| annotate

Crece desde el pueblo el futuro / crece desde el pie

RSS