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...
  Stars    Summary + Labels Addons  Type  Status  Milestone  Owner  ...
0   Conceptual view design finished ---- Other Fixed ---- Jianp....@gmail.com  
0   Module view design finished ---- Other Fixed ---- Jianp....@gmail.com  
0   Execution view design finished ---- Other Fixed ---- Jianp....@gmail.com  
0   BUG: 'firstflag' bug ---- Defect Fixed ---- Jianp....@gmail.com  
0   FEATURE: Request for OGA algorithm support. ---- Enhancement Fixed ---- Jianp....@gmail.com  
0   FEATURE: Request for WCP algorithm. ---- Enhancement Fixed ---- Jianp....@gmail.com  
0   BUG: Message dispatcher ---- Defect Fixed ---- Jianp....@gmail.com  
0   BUG: IndexOutOfBoundsException throwed out by sub checker of OGA ---- Defect Fixed ---- Jianp....@gmail.com  
0   BUG: Start script problem in Windows ---- Defect Fixed ---- jpyu.m...@gmail.com  
1   BUG: check message in receive function ---- Defect Fixed ---- huatingt...@gmail.com  
1   TEST: test result of support for multi modes of MIPA ---- Other Fixed ---- csyly...@gmail.com  
1   BUG: Buffer repeat triggering new CGS ---- Defect Accepted ---- huatingt...@gmail.com  
1   ENHANCEMENT: redundancy in buffer storage can be removed ---- Enhancement Accepted ---- huatingt...@gmail.com  
1   BUG: Guarantee the "Linear-Extension-FIFO" on the checker ---- Defect Accepted ---- csyuhu...@gmail.com  
1   ENHANCEMENT: Linear-Extension-Buffer to be improved ---- Enhancement Fixed ---- csyuhu...@gmail.com  
1   ENHANCEMENT: Evolution of the lattice ---- Enhancement New ---- csyuhu...@gmail.com  
1   BUG: Flexible deletion and re-construction of the lattice required ---- Defect New ---- csyuhu...@gmail.com  
1   BUG: cannot use Event and State simultaneously ---- Defect Accepted ---- csyuhu...@gmail.com  
1   BUG: AbstractFIFOChecker ---- Defect Fixed ---- csyly...@gmail.com  
0   TASK: migrate system architecture from rmi-communication to RESTful ---- Enhancement New ---- jpyu.m...@gmail.com  
0   FEATURE: unregistry of predicate ---- Enhancement Fixed ---- jpyu.m...@gmail.com  
CSV
  
Powered by Google Project Hosting