true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-13	ChipDesign: optimize, finish report part	Peter Wu	1	-6/+2
2016-12-12	ChipDesign: a bit more final?	Peter Wu	1	-1/+8
2016-12-12	ChipDesign: Working solution	Peter Wu	1	-6/+21
2016-12-12	ChipDesign: add FIXME and print coordinate	Peter Wu	2	-18/+20
2016-12-12	ChipDesign: Add text labels with size and number	Peter Wu	1	-0/+6
2016-12-12	ChipDesign: attempt at hitting the power resource	Peter Wu	2	-1/+16
2016-12-12	ChipDesign fixes	Peter Wu	2	-8/+102
2016-12-11	ChipDesign: added generator	Peter Wu	1	-0/+132
2016-12-11	Skeleton for Chip design	Koen van der Heijden	1	-2/+67
2016-12-11	Initialized Chip Design	Koen van der Heijden	2	-0/+6
2016-12-11	Correct format, just runs too slow...	Koen van der Heijden	1	-0/+0