Subject: [Srcomp] 2020-10-28 Minutes for DT meeting

From: "Darren Dukes (ddukes)" <[email-masked]>
Date: Wed, 28 Oct 2020 20:12:19 +0000

Attendees: Weiqiang, Cheng, PSF, Darren, Ron, Wim, Chongfeng

I've attached the document we reviewed today.  Thanks everyone for the review of this text!

Minutes:
- Darren walked through the intent of the attached document
  - Re-edit to provide clear direction for revision 0
  - Identify what must be compressed
  - List goals for the DT
  - Identify key requirements
- Ron to propose an alternative to a couple of paragraphs in the introduction
- Reviewed section 3
- Reviewed section 4
  - 4.1.1
    - Ron asserts this is out of scope, + reasons
    - Darren asserts it is in scope, + reasons
    - Weiqiang requests Darren and Ron to discuss after meeting
  - 4.2.1
    - Add the following to each F.* metric "...*, this functionality is* described in [ref]"
  - 4.1.5
    - Noted that DT did not close on this requirement
    - Request to remove
  - FLEX-ADDRESS-PLANNING was not included
    - Request to add this
    - noted that no further discussion occurred on the list from 10-21.
  - No more requirements need to be added, keeping them separate for the next rev
  - Meeting again Friday then Monday same time to close rev00

Thanks
  Darren