Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / gsdlab/ClaferIDE issues and pull requests

#17 - Release 0.4.1

Pull Request - State: closed - Opened by mantkiew almost 10 years ago

#16 - Typo in installation instructions

Issue - State: closed - Opened by toeklk almost 10 years ago

#15 - ChocoSolver backend

Issue - State: closed - Opened by toeklk almost 10 years ago - 1 comment

#14 - Z3 backend installation instructions

Issue - State: closed - Opened by toeklk almost 10 years ago - 1 comment

#13 - Release 0.3.6.1

Pull Request - State: closed - Opened by mantkiew over 10 years ago

#12 - Hotfix: Commented out displaying args and ig_args

Pull Request - State: closed - Opened by AMurashkin about 11 years ago

#11 - Release 0.3.5

Pull Request - State: closed - Opened by mantkiew about 11 years ago

#10 - Core platform

Pull Request - State: closed - Opened by AMurashkin about 11 years ago

#9 - Transition to core platform

Pull Request - State: closed - Opened by AMurashkin about 11 years ago

#8 - Huge Improvement

Pull Request - State: closed - Opened by AMurashkin about 11 years ago

#7 - Fixed overlay properties

Pull Request - State: closed - Opened by AMurashkin over 11 years ago

#6 - IG Integration

Pull Request - State: closed - Opened by AMurashkin over 11 years ago

#5 - Integration with ClaferIG

Pull Request - State: closed - Opened by AMurashkin over 11 years ago

#4 - Examples

Pull Request - State: closed - Opened by mantkiew over 11 years ago

#3 - Clafer text editor

Pull Request - State: closed - Opened by AMurashkin over 11 years ago

#2 - Added error reporting to compilation

Pull Request - State: closed - Opened by AMurashkin over 11 years ago

#1 - Initial clone created

Pull Request - State: closed - Opened by AMurashkin over 11 years ago