為了避免有人沒有注意到，特發文公告一下:
關於期末專題，請注意底下的更新/更正:
[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)"
搬下來!