Ecosyste.ms: Issues

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

GitHub / kelvich/tlaplus_jupyter issues and pull requests

#9 - Update TLA+ version to 1.7.2

Pull Request - State: closed - Opened by ligurio about 2 years ago - 1 comment

#8 - Load a module from other Notebook

Issue - State: open - Opened by josedusol about 3 years ago

#7 - Add libffi-dev to Dockerfile

Pull Request - State: closed - Opened by Alexander-N almost 4 years ago - 1 comment

#6 - FileNotFoundError: [WinError 2]

Issue - State: open - Opened by josedusol over 4 years ago

#5 - TLC execution stats

Pull Request - State: closed - Opened by kelvich almost 5 years ago

#4 - Installation complains about error: invalid command 'bdist_wheel'

Issue - State: open - Opened by lemmy almost 5 years ago - 1 comment

#3 - Instructions how to install into python3 virtualenv on Ubuntu 18.04

Pull Request - State: open - Opened by lemmy almost 5 years ago

#2 - Correct typo in intro notebook

Pull Request - State: closed - Opened by ajdavis almost 5 years ago - 1 comment

#1 - Asks users to activate TLC execution statistics

Issue - State: closed - Opened by lemmy almost 5 years ago - 7 comments