Ecosyste.ms: Issues

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

GitHub / squareslab/houston issues and pull requests

#100 - Add type to State variables

Issue - State: closed - Opened by afsafzal over 6 years ago - 1 comment
Labels: enhancement

#100 - Add type to State variables

Issue - State: closed - Opened by afsafzal over 6 years ago - 1 comment
Labels: enhancement

#99 - Create Idle specification dynamically

Issue - State: open - Opened by afsafzal over 6 years ago
Labels: refactoring

#99 - Create Idle specification dynamically

Issue - State: open - Opened by afsafzal over 6 years ago
Labels: refactoring

#98 - Added Z3 to Travis configuration (fixes #97)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: travis

#98 - Added Z3 to Travis configuration (fixes #97)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: travis

#97 - Build and cache Z3 from source in Travis config

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#97 - Build and cache Z3 from source in Travis config

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#96 - Specification and symbolic execution

Pull Request - State: closed - Opened by afsafzal over 6 years ago - 3 comments

#96 - Specification and symbolic execution

Pull Request - State: closed - Opened by afsafzal over 6 years ago - 3 comments

#95 - Used metaclasses to bake command schemas into Command

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 2 comments
Labels: refactoring

#95 - Used metaclasses to bake command schemas into Command

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 2 comments
Labels: refactoring

#94 - Replace all absolute imports with relative equivalents (fixes #29)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#94 - Replace all absolute imports with relative equivalents (fixes #29)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#93 - Renamed actions to commands (fixes #39)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#93 - Renamed actions to commands (fixes #39)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#92 - Simplified and tidied up implementation of Specification

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#92 - Simplified and tidied up implementation of Specification

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#91 - Updated super calls to use Python 3 syntax (fixes #38)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#91 - Updated super calls to use Python 3 syntax (fixes #38)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#90 - Removed generate methods

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#90 - Removed generate methods

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#89 - Rename branch to specification

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#89 - Rename branch to specification

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#88 - Removed action generators

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#88 - Removed action generators

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#87 - Removed BranchID and BranchPath

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#87 - Removed BranchID and BranchPath

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#86 - Removed circular dependency between Schema and Branch

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago

#86 - Removed circular dependency between Schema and Branch

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago

#85 - Integrated Configuration (fixes #78)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#85 - Integrated Configuration (fixes #78)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment

#83 - Destroy ActionGenerator and completely rewrite as CommandGenerator

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#83 - Destroy ActionGenerator and completely rewrite as CommandGenerator

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#81 - WIP: Added equiv and exact methods to State (fixes #80)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: enhancement

#81 - WIP: Added equiv and exact methods to State (fixes #80)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: enhancement

#80 - Implement State.equivalent or alter semantics of equality

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#80 - Implement State.equivalent or alter semantics of equality

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#79 - Added unused but functional Configuration data structure

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: enhancement

#79 - Added unused but functional Configuration data structure

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: enhancement

#78 - Add first-class support for configuration options

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: enhancement, refactoring

#78 - Add first-class support for configuration options

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: enhancement, refactoring

#77 - Added basic System meta-class

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#77 - Added basic System meta-class

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#76 - Remove dependency between System and ActionSchema

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#76 - Remove dependency between System and ActionSchema

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#75 - Removed BugZoo daemon from System (fixes #73)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#75 - Removed BugZoo daemon from System (fixes #73)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#74 - Lift "schemas" instance variable into a class variable for System

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#74 - Lift "schemas" instance variable into a class variable for System

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#73 - Remove BugZoo daemon from System class

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#73 - Remove BugZoo daemon from System class

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#72 - Updated System constructor to accept a Snapshot rather than the name of a snapshot (fixes #71)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#72 - Updated System constructor to accept a Snapshot rather than the name of a snapshot (fixes #71)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#71 - System constructor should accept a snapshot rather than a snapshot name

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#71 - System constructor should accept a snapshot rather than a snapshot name

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#70 - WIP: Added mypy integration into Travis config (fixes #25)

Pull Request - State: open - Opened by ChrisTimperley over 6 years ago
Labels: travis

#70 - WIP: Added mypy integration into Travis config (fixes #25)

Pull Request - State: open - Opened by ChrisTimperley over 6 years ago
Labels: travis

#69 - WIP: Moved Environment into its own module (fixes #58)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#69 - WIP: Moved Environment into its own module (fixes #58)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#68 - pymavlink does not support dynamic parameter adjustment when using Python 3

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: bug, pymavlink

#68 - pymavlink does not support dynamic parameter adjustment when using Python 3

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: bug, pymavlink

#67 - Fixed hardcoded paths (fixes #48 and fixes #50)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#67 - Fixed hardcoded paths (fixes #48 and fixes #50)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago - 1 comment
Labels: refactoring

#66 - Allow a custom parameter file to be provided to a system instance

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: enhancement

#66 - Allow a custom parameter file to be provided to a system instance

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: enhancement

#65 - Wrap Sandbox.provision inside a context manager

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#65 - Wrap Sandbox.provision inside a context manager

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#64 - Added coveralls integration (fixes #62)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#64 - Added coveralls integration (fixes #62)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#63 - Detangle System, Sandbox and BugZoo

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#63 - Detangle System, Sandbox and BugZoo

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#62 - Add coveralls badge to README

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#62 - Add coveralls badge to README

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: travis

#61 - WIP: Implemented a new, magical State class!

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: enhancement, refactoring

#61 - WIP: Implemented a new, magical State class!

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: enhancement, refactoring

#60 - Fixed bugs that prevented running the tool

Pull Request - State: closed - Opened by afsafzal over 6 years ago - 1 comment

#60 - Fixed bugs that prevented running the tool

Pull Request - State: closed - Opened by afsafzal over 6 years ago - 1 comment

#59 - Add __repr__ to Variable

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#59 - Add __repr__ to Variable

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#58 - Split Environment into its own module

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#58 - Split Environment into its own module

Issue - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#56 - Update Variable to use generics

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#56 - Update Variable to use generics

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#55 - Update ActionGenerator to use generics

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#55 - Update ActionGenerator to use generics

Issue - State: open - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#54 - Refactored action module

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#54 - Refactored action module

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago
Labels: refactoring

#53 - Removed redundant server module (fixes #28)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago

#53 - Removed redundant server module (fixes #28)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago

#52 - Add a short description of Houston to setup.py

Issue - State: open - Opened by ChrisTimperley over 6 years ago

#52 - Add a short description of Houston to setup.py

Issue - State: open - Opened by ChrisTimperley over 6 years ago

#51 - Updated setup.py to track __version__ (fixes #41)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago

#51 - Updated setup.py to track __version__ (fixes #41)

Pull Request - State: closed - Opened by ChrisTimperley over 6 years ago