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