Sign in
Register
Home
Projects
Help
Search
:
Analysis of Concurrent Systems
» McScM
Overview
Download
Activity
Roadmap
Issues
Documents
Wiki
Files
Issues
View all issues
Summary
Issues
Filters
Status
open
is
is not
closed
all
New
In Progress
Resolved
Feedback
Closed
Rejected
Tracker
is
is not
Bug
Feature
Support
Priority
is
is not
Low
Normal
High
Urgent
Immediate
Assignee
is
is not
none
all
Alexander Heußner
Grégoire Sutre
Tristan Le Gall
Author
is
is not
Alexander Heußner
Grégoire Sutre
Tristan Le Gall
Assignee's role
is
is not
none
all
Manager
Developer
Reporter
Target version
is
is not
none
all
McScM - 1.0
McScM - 1.1
McScM - 1.2
McScM - 1.3
McScM - 1.x
McScM - 2.0
Subject
contains
doesn't contain
Created
less than days ago
more than days ago
days ago
today
this week
days
Updated
less than days ago
more than days ago
days ago
today
this week
days
Start date
in less than
in more than
in
today
this week
less than days ago
more than days ago
days ago
days
Due date
in less than
in more than
in
today
this week
less than days ago
more than days ago
days ago
days
Estimated time
is
>=
<=
none
all
Subproject
all
none
is
% Done
is
>=
<=
none
all
Add filter
:
Tracker
Priority
Assignee
Author
Assignee's role
Target version
Subject
Created
Updated
Start date
Due date
Estimated time
Subproject
% Done
Options
Columns
Parent task
Updated
Category
Target version
Start date
Due date
Estimated time
% Done
Created
Project
Tracker
Status
Priority
Subject
Author
Assignee
Group results by
Project
Tracker
Status
Priority
Assignee
Category
Target version
% Done
Apply
Clear
#
Project
Tracker
Status
Priority
Subject
Author
Assignee
59
McScM
Bug
New
Normal
Account for k-max in trace-checking engines
Grégoire Sutre
Grégoire Sutre
58
McScM
Feature
New
Normal
Separate queue representation
Tristan Le Gall
Tristan Le Gall
40
McScM
Feature
New
Normal
Source-code documentation (ocamldoc) in src/svar
Grégoire Sutre
29
McScM
Feature
In Progress
Normal
Support Promela Input
Grégoire Sutre
Alexander Heußner
26
McScM
Feature
New
Normal
Optimize scm cartesian product (or avoid it)
Grégoire Sutre
Tristan Le Gall
25
McScM
Bug
New
High
Scm consistency check takes too long
Grégoire Sutre
Tristan Le Gall
24
McScM
Feature
New
Low
Optimize result verification
Grégoire Sutre
22
McScM
Bug
New
Normal
--help output not sensitive to terminal's characterwidth
Alexander Heußner
Alexander Heußner
21
McScM
Feature
New
Normal
redesign of command line parameters with respect to different checker-modules
Alexander Heußner
Alexander Heußner
(1-9/9) | Per page: 25,
50
,
100
Also available in:
Atom
CSV
PDF
Loading...