Projects
Filters
Dashboards
Apps
Create
CSPM-cspm
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
CSPM
-
10
Alphabet mismatch when CSPm assertion checking CSP||B models
Ivaylo Dobrikov
David M. Williams
Resolved
Nov 8, 2012
CSPM
-
9
replace cabal-dev with builtin sandbox of cabal
Marc Fontaine
Marc Fontaine
Open
Aug 27, 2012
CSPM
-
8
include without a filename (CSPM Parser Problem)
Marc Fontaine
Marc Fontaine
Resolved
Jul 24, 2012
CSPM
-
7
Install Haskell-platform with interger-simple on jenkins-build-agents that cannot use integer-gmp
Marc Fontaine
Marc Fontaine
Resolved
Jun 15, 2012
CSPM
-
6
clean up alex-wrapper use only bytestrings
Marc Fontaine
Marc Fontaine
Open
Jun 12, 2012
CSPM
-
5
bottom in sourcelocations
Marc Fontaine
Marc Fontaine
Open
Jun 6, 2012
CSPM
-
4
cspm testscripts
Marc Fontaine
Marc Fontaine
Reopened
Jun 5, 2012
CSPM
-
3
building of cspm-documentation (haddock) on jenkins
Marc Fontaine
Marc Fontaine
Resolved
Jun 5, 2012
CSPM
-
2
refactor Lexer to alex-3
Marc Fontaine
Marc Fontaine
Resolved
Jun 5, 2012
CSPM
-
1
parser incompatibility FDR/hiding operator
Marc Fontaine
Marc Fontaine
Open
Jun 1, 2012
Give feedback
Showing 1-10 of 10
1
