Re: [公告] BDD reference code and program UPDATE

[ric2k1 (Ric)]

※ 引述《ric2k1 (Ric)》之銘言：
1. 忘記 initialize BddNodeInt::_visited.

   > 影響: BddNode::print()

   > update "bddNode.h".

   > upload new bdd.tgz and reference program (bdd).

2. "CREPort" command 忘記去檢查 "沒有argument" 的情形, 導致segmentation fault.

   In "bdd/test.cpp", 新增加 "BddNode::_debugRefCount = true;"

   > Update “libcir.a”

   > Upload new bdd.tgz and reference program (bdd)

3. [01/11/2007] (9:30pm)

   > 更正: The "bsetv" command, when used with the

     "< <(size_t level)> <(string name)> >" option, needs to make sure

     "name" is not associated with any circuit gate, no matter what the gate

     type of "name" is.

     This can be checked by "if (cirMgr != 0 && cirMgr->getGate(name) != 0)".

   > Update: reference program on ccws*.

   > NOTE: reference source code "bdd.tgz" does NOT change.

4. [01/11/2007] (10:15pm)

   >更正: Command "BREPort" help message.

   > Update: reference program on ccws*.

   > NOTE: reference source code "bdd.tgz" does NOT change.

5. [01/17/2007] (5:20pm)

   > 更正: When the command "BREPort" is used with illegal options (e.g.

     "brep var -add"), it should output "Illegal option" instead of "Extra

     option".

   > Update: reference program on ccws*.

   > NOTE: reference source code "bdd.tgz" does NOT change.

6. [01/17/2007] (11:40pm)

   > 更正: After the command "cread" is used with illegal filename, it

     should allow the program to read in circuit with another filename.

   > Update: reference program on ccws*.

   > Upload new bdd.tgz. However, if you don't want to download the whole

     bdd.tgz again, you can just download lib-011707.tgz.

7. [01/20/2007] (12:30am) --- ref: post 466

   > 更正: In ref program, for BSim command, if the length of the input

     pattern is 1-bit less than the BddNode level, the ref program should

    report a "pattern too short" error.

   > 更正: In ref program, for BSim command, if the input pattern is illegal,

     we should return "CmdExec::errorOption(CMD_OPT_ILLEGAL, pattern)"

   > Update: reference program on ccws*.

   > NOTE: reference source code "bdd.tgz" does NOT change.

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.21.240

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.129.139

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.62
推 samuelduan:之前 BReport的 help message 也還有一點問題
推 ric2k1:謝謝提醒. 已更正.
※ 編輯: ric2k1          來自: 59.121.130.62        (01/11 23:14)
※ 編輯: ric2k1          來自: 59.121.130.62        (01/13 07:43)

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.128.158
→ ric2k1:Website has been updated too...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.221.91.113
※ 編輯: ric2k1          來自: 61.221.91.113        (01/20 00:55)
推 Aweather:請問一下如果想修正的話要改哪裡呢 :)
推 timrau:改自己寫的code...