为了避免有人没有注意到，特发文公告一下:
关于期末专题，请注意底下的更新/更正:
[2013-01-14]
1. Spec 补充说明 (关于 PI & PO 不会出现在 FEC pair 的规定)
In "1. Problem Description", 第 6 点 (补充):
In this project, only AIG and “const 0” gates will be included in the
FEC pairs. PIs and POs won’t be in any FEC pair, even if their values
are the same as other gates.
[2012-12-31]
1. deleteCircuit() 时忘记 reset _const0 造成 reprtGate() 的 crash (FEC data)
已上传新版的 ref prog fraig-{32,64} 至 ceiba 的公告栏，
并同时更新作业区的 fraig.tgz
其他详情请见 #3845, #3846 篇。
[2012-12-27]
1. 最初上传的 32-bit ref prog 以及 libcmd-32.a 有误，
不小心弄成 64-bit 了，请重新下载。
2. src/Makefile.in 里头的 CFLAGS 定义成 "-O3 -Wall -DTA_KB_SETTING $(PKGFLAG)"
这样会导致 compile 后没有 debugging message 而无法 debug,
请将第 15 行的 "CFLAGS = -g -Wall -DTA_KB_SETTING $(PKGFLAG)"
搬下来!

推