My favorites
▼
|
Sign in
mipa
Middleware Infrastructure for Predicate detection in Asynchronous environments
Project Home
Downloads
Wiki
Issues
Source
Export to GitHub
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
List
Grid
16 issues of 16 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Opsys
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Opsys
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
4
Fixed
BUG: 'firstflag' bug
5
Fixed
FEATURE: Request for OGA algorithm support.
6
Fixed
FEATURE: Request for WCP algorithm.
7
Fixed
BUG: Message dispatcher
8
Fixed
BUG: IndexOutOfBoundsException throwed out by sub checker of OGA
9
Fixed
BUG: Start script problem in Windows
10
Fixed
BUG: check message in receive function
11
Fixed
TEST: test result of support for multi modes of MIPA
12
Accepted
BUG: Buffer repeat triggering new CGS
13
Accepted
ENHANCEMENT: redundancy in buffer storage can be removed
14
Accepted
BUG: Guarantee the "Linear-Extension-FIFO" on the checker
15
Fixed
ENHANCEMENT: Linear-Extension-Buffer to be improved
16
New
ENHANCEMENT: Evolution of the lattice
17
New
BUG: Flexible deletion and re-construction of the lattice required
18
Accepted
BUG: cannot use Event and State simultaneously
20
Fixed
BUG: AbstractFIFOChecker
Powered by
Google Project Hosting