README.md 586 Bytes
Newer Older
Mateusz Rychlicki's avatar
test    
Mateusz Rychlicki committed
1
2
##TODO List

Mateusz Rychlicki's avatar
Mateusz Rychlicki committed
3
4
5
6
7
8
9
- FixPoint<BaseUBDD> in FairSyn [FM]
  - Translate to ubdd and add to FairSyn [F]
    - Add tests [F]
  - Applying to Mascot [FM]
    - Add tests [M]
  - Applying to Synthesis [FS]
    - Add tests [S]
Mateusz Rychlicki's avatar
test    
Mateusz Rychlicki committed
10
- Pipeline
Mateusz Rychlicki's avatar
Mateusz Rychlicki committed
11
12
  - clean dirs [SM]
  - clean code [S]
Mateusz Rychlicki's avatar
test    
Mateusz Rychlicki committed
13
14
  - CMakelist
      - FairSyn::CuddUBDD and FairSyn::SylvanUBDD [F]
Mateusz Rychlicki's avatar
Mateusz Rychlicki committed
15
16
      - Doxygen [FMS]
        - Change comments style [SM]
Mateusz Rychlicki's avatar
test    
Mateusz Rychlicki committed
17
18
19
20
  - README
    - How to install thinks [FM]
    - How to use Fairsyn [F]
    - Directory thinks [FM]
Mateusz Rychlicki's avatar
Mateusz Rychlicki committed
21
22
  - MascotSDS or Mascot-SDS or mascotsds etc
  - consistent names
Mateusz Rychlicki's avatar
test    
Mateusz Rychlicki committed
23
- Analysis MEXfiles etc [M]