→ tomap41017:感謝老師!!!整理真是一件辛苦的事! 01/13 14:09
(請大家不要看到標題就興奮... 請仔細看下文)
Spec:
=====
如果你之前已經看過 spec 的話，你只要看一下最下面的 "spec change"
以及內文中紅色的部分 (只有一小段)
* 加入 3003 篇的說明: 請不要把 PI/PO/Const/Undef gates 加入 FEC pairs 裡，
因為他們不能被 optimized 掉。
Ref src:
========
1. "cirSim.cpp:line 348" 加一行:
cirMgr->setSimLog(0);
也就是說 simulate 完之後把 _simLog 歸成 0.
雖然不這麼做也是沒有關係啦，但是設回成 0 可以強制你不會再用這個 ofstream.
2. 修改了 "SatSolver::addXorCNF()" 的參數，好讓 IFEC pair 也可以比較。
(check "sat.h")
3. "sat/Makefile" 裏頭的 "EXTHDRS" 必須要把所有的 header files 加入，
否則 compile 不會過。
Ref prog:
=========
1. 完成 "CIRFraig" 並新增 "CIRWrite" (optional) comands.
請注意 cirfraig 完成之後還可以再 cirsim 然後 cirfraig...
2. 新增一些 testcases 以及 scripts 到 "tests.fraig" 裏頭。
3. 針對上幾篇有提到的 bug fixes.
待完成:
=======
1. Define "MustExist.txt" & "MustRemove.txt"
2. Provide more testcases.
3. 提供 implementation 的攻略。 (especially for those who just started)
4. More tests on ref prog.
5. 上傳注意事項。
6. 準備 grading testcases & dofiles...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.51.20