Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tomgr/libcspm issues and pull requests
#18 - Update dependencies
Pull Request -
State: closed - Opened by tomgr almost 2 years ago
#17 - Update for GHC 8.10.2
Pull Request -
State: open - Opened by georgefst about 4 years ago
- 1 comment
#16 - Add optional CSPM stack tracing.
Pull Request -
State: closed - Opened by sashabu almost 8 years ago
#15 - Unable to run assertions on processes using built-in function RUN
Issue -
State: closed - Opened by pefribeiro about 8 years ago
- 3 comments
#14 - literate CSPm
Issue -
State: open - Opened by andrewbutterfield over 8 years ago
#13 - Change ProfilerThunks.hs to use Template Haskell to make it easier to…
Pull Request -
State: closed - Opened by sashabu over 8 years ago
#12 - Feature/lazy compile
Pull Request -
State: closed - Opened by sashabu over 9 years ago
- 2 comments
#11 - Fix some typos.
Pull Request -
State: closed - Opened by sashabu over 9 years ago
#10 - Add a new evaluator
Pull Request -
State: closed - Opened by tomgr almost 10 years ago
#9 - Segmentation fault?
Issue -
State: closed - Opened by annonymouse almost 11 years ago
- 5 comments
#8 - Fix libcspm warning about deprecated bitsize function.
Pull Request -
State: closed - Opened by PhilArmstrong almost 11 years ago
#7 - Update dependencies for GHC 7.8
Pull Request -
State: closed - Opened by tomgr almost 11 years ago
#6 - Add partial order reduction parsing support
Pull Request -
State: closed - Opened by tomgr almost 11 years ago
#5 - Remove ' character from cpp source file.
Pull Request -
State: closed - Opened by PhilArmstrong over 11 years ago
#4 - Add dbisim
Pull Request -
State: closed - Opened by sashabu over 11 years ago
#3 - Add determinism to libcspm
Pull Request -
State: closed - Opened by PhilArmstrong almost 12 years ago
- 4 comments
#2 - Fix cspmcheckeri dependencies.
Pull Request -
State: closed - Opened by PhilArmstrong over 12 years ago
- 4 comments
#1 - cspmchecker fails on duplicate assertions
Issue -
State: closed - Opened by mcclurmc almost 13 years ago
- 2 comments