Ecosyste.ms: Issues

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

GitHub / DistCompiler/pgo issues and pull requests

#171 - Wrong compilation of `CHOOSE` construct

Issue - State: closed - Opened by shayanh about 3 years ago - 1 comment
Labels: bug

#170 - Support TLA+ 2

Issue - State: open - Opened by fhackett about 3 years ago - 1 comment
Labels: enhancement

#170 - Support TLA+ 2

Issue - State: open - Opened by fhackett about 3 years ago - 1 comment
Labels: enhancement

#169 - Running fuzz tests over and over again

Issue - State: closed - Opened by shayanh about 3 years ago

#169 - Running fuzz tests over and over again

Issue - State: closed - Opened by shayanh about 3 years ago

#168 - Multi-index resource reads were not being compiled correctly

Pull Request - State: closed - Opened by fhackett about 3 years ago

#168 - Multi-index resource reads were not being compiled correctly

Pull Request - State: closed - Opened by fhackett about 3 years ago

#167 - Error in compiled Go output

Issue - State: closed - Opened by shayanh about 3 years ago - 2 comments
Labels: bug

#167 - Error in compiled Go output

Issue - State: closed - Opened by shayanh about 3 years ago - 2 comments
Labels: bug

#166 - Fix omission in multidimensional assignment index ordering

Pull Request - State: closed - Opened by fhackett about 3 years ago

#165 - Forbid RW assignments for mapped statements

Pull Request - State: closed - Opened by fhackett about 3 years ago

#165 - Forbid RW assignments for mapped statements

Pull Request - State: closed - Opened by fhackett about 3 years ago

#164 - Wrong indexes in `EXCEPT` expression when compiling 2D arrays

Issue - State: closed - Opened by shayanh about 3 years ago
Labels: bug

#163 - AssertionError when wrongly mapping a 2D array

Issue - State: closed - Opened by shayanh about 3 years ago - 4 comments
Labels: bug

#163 - AssertionError when wrongly mapping a 2D array

Issue - State: closed - Opened by shayanh about 3 years ago - 4 comments
Labels: bug

#162 - Recreate general shared state variable system

Issue - State: closed - Opened by shayanh about 3 years ago
Labels: enhancement

#161 - Macro Expansion Bug

Issue - State: closed - Opened by shayanh about 3 years ago - 1 comment
Labels: bug

#161 - Macro Expansion Bug

Issue - State: closed - Opened by shayanh about 3 years ago - 1 comment
Labels: bug

#160 - primary-back key-value store spec added

Pull Request - State: closed - Opened by shayanh about 3 years ago - 2 comments

#160 - primary-back key-value store spec added

Pull Request - State: closed - Opened by shayanh about 3 years ago - 2 comments

#160 - primary-back key-value store spec added

Pull Request - State: closed - Opened by shayanh about 3 years ago - 2 comments

#159 - Assigning a same value to multiple elements of a mapping macro

Issue - State: closed - Opened by shayanh about 3 years ago
Labels: enhancement

#159 - Assigning a same value to multiple elements of a mapping macro

Issue - State: closed - Opened by shayanh about 3 years ago
Labels: enhancement

#159 - Assigning a same value to multiple elements of a mapping macro

Issue - State: closed - Opened by shayanh about 3 years ago
Labels: enhancement

#158 - TLA+ module support (for completeness)

Issue - State: open - Opened by fhackett about 3 years ago - 2 comments
Labels: enhancement

#158 - TLA+ module support (for completeness)

Issue - State: open - Opened by fhackett about 3 years ago - 2 comments
Labels: enhancement

#158 - TLA+ module support (for completeness)

Issue - State: open - Opened by fhackett about 3 years ago - 2 comments
Labels: enhancement

#157 - Resend in case of commit failure for TCPMailboxes

Pull Request - State: closed - Opened by shayanh about 3 years ago

#157 - Resend in case of commit failure for TCPMailboxes

Pull Request - State: closed - Opened by shayanh about 3 years ago

#157 - Resend in case of commit failure for TCPMailboxes

Pull Request - State: closed - Opened by shayanh about 3 years ago

#144 - MPCal models with failures

Issue - State: closed - Opened by shayanh over 3 years ago - 2 comments

#134 - Process Failures in PGo

Issue - State: closed - Opened by shayanh over 3 years ago - 1 comment
Labels: enhancement

#116 - Registering data types with gob

Issue - State: closed - Opened by rmascarenhas over 5 years ago - 1 comment

#64 - TLA+ data model observations

Issue - State: closed - Opened by fhackett over 6 years ago - 2 comments

#63 - numbers in TLA+ and TLC

Issue - State: closed - Opened by fhackett over 6 years ago - 1 comment

#48 - Add readme to examples

Issue - State: closed - Opened by minhnhdo over 6 years ago - 1 comment

#21 - Representing time(r) in PlusCal/PGo

Issue - State: closed - Opened by minhnhdo almost 7 years ago - 2 comments
Labels: question

#7 - Treat tuples formed by cartesian product properly

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