My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
ListGrid
   
Loading...
  ID Type  Status  Priority  Milestone  Owner    Summary + Labels ...
4 Defect Fixed Medium ---- Jianp....@gmail.com   BUG: 'firstflag' bug  
5 Enhancement Fixed Medium ---- Jianp....@gmail.com   FEATURE: Request for OGA algorithm support.  
6 Enhancement Fixed Medium ---- Jianp....@gmail.com   FEATURE: Request for WCP algorithm.  
7 Defect Fixed Medium ---- Jianp....@gmail.com   BUG: Message dispatcher  
8 Defect Fixed Medium ---- Jianp....@gmail.com   BUG: IndexOutOfBoundsException throwed out by sub checker of OGA  
9 Defect Fixed Medium ---- jpyu.m...@gmail.com   BUG: Start script problem in Windows  
10 Defect Fixed Medium ---- huatingt...@gmail.com   BUG: check message in receive function  
11 Other Fixed Medium ---- csyly...@gmail.com   TEST: test result of support for multi modes of MIPA  
12 Defect Accepted Medium ---- huatingt...@gmail.com   BUG: Buffer repeat triggering new CGS  
13 Enhancement Accepted Medium ---- huatingt...@gmail.com   ENHANCEMENT: redundancy in buffer storage can be removed  
14 Defect Accepted Medium ---- csyuhu...@gmail.com   BUG: Guarantee the "Linear-Extension-FIFO" on the checker  
15 Enhancement Fixed Medium ---- csyuhu...@gmail.com   ENHANCEMENT: Linear-Extension-Buffer to be improved  
16 Enhancement New Medium ---- csyuhu...@gmail.com   ENHANCEMENT: Evolution of the lattice  
17 Defect New Medium ---- csyuhu...@gmail.com   BUG: Flexible deletion and re-construction of the lattice required  
18 Defect Accepted Medium ---- csyuhu...@gmail.com   BUG: cannot use Event and State simultaneously  
20 Defect Fixed Medium ---- csyly...@gmail.com   BUG: AbstractFIFOChecker  
CSV
  
Powered by Google Project Hosting