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

#248 - Complete documentation for gogen

Issue - State: closed - Opened by Lzyabc over 1 year ago - 3 comments

#248 - Complete documentation for gogen

Issue - State: closed - Opened by Lzyabc over 1 year ago - 3 comments

#247 - Dependency update

Pull Request - State: closed - Opened by shayanh over 1 year ago

#246 - Bump golang.org/x/sys from 0.0.0-20210124154548-22da62e12c0c to 0.1.0 in /distsys

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#245 - Bump golang.org/x/net from 0.0.0-20201021035429-f5854403a974 to 0.7.0 in /distsys

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#244 - Bump golang.org/x/text from 0.3.7 to 0.3.8 in /systems/raftres

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#243 - Bump golang.org/x/text from 0.3.7 to 0.3.8 in /systems/pbkvs

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#242 - Bump golang.org/x/text from 0.3.7 to 0.3.8 in /systems/raftkvs

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#241 - Bump golang.org/x/text from 0.3.7 to 0.3.8 in /systems/shopcart

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#240 - added systems readme

Pull Request - State: closed - Opened by shayanh almost 2 years ago

#239 - Want an official PGo package / release

Issue - State: open - Opened by niuzhi almost 2 years ago - 1 comment

#238 - Add a README.md that describes all of the systems

Issue - State: closed - Opened by bestchai almost 2 years ago

#237 - Create a github.io site for the pgo project

Issue - State: open - Opened by bestchai almost 2 years ago - 1 comment

#236 - Big cleanup

Pull Request - State: closed - Opened by fhackett almost 2 years ago - 1 comment

#235 - Primary-backup key-value store system

Pull Request - State: closed - Opened by shayanh almost 2 years ago

#234 - fixed raftkvs shared failure detector problem

Pull Request - State: closed - Opened by shayanh almost 2 years ago

#233 - ignore problematic Raft tests

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

#232 - Additional paper submission work

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

#231 - Tracing gui using ShiViz

Issue - State: open - Opened by gedw99 over 2 years ago - 5 comments

#230 - Add ToString operator to module TLC

Pull Request - State: closed - Opened by fhackett over 2 years ago

#229 - Support TLC module `ToString` Operator

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

#227 - Implement TraceChecker Mode

Pull Request - State: closed - Opened by fhackett over 2 years ago

#226 - Branch Scheduling

Pull Request - State: open - Opened by ruchitpalrecha over 2 years ago - 1 comment

#224 - Improve RaftKVS performance

Issue - State: open - Opened by shayanh over 2 years ago

#222 - Move the systems we build using PGo into a folder named `systems/`

Issue - State: closed - Opened by shayanh over 2 years ago - 1 comment

#220 - Ability to provide custom logger to archetypes

Issue - State: open - Opened by shayanh over 2 years ago

#219 - Implement reading persistent state

Issue - State: open - Opened by shayanh over 2 years ago

#218 - Add static analysis tools to CI

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

#217 - Fix CI failure

Issue - State: closed - Opened by shayanh over 2 years ago - 1 comment

#216 - CPSC 538B

Pull Request - State: closed - Opened by shayanh over 2 years ago

#215 - Crdt compare benchmarks

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#214 - Crdt eval tests

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago

#213 - Persistence

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

#212 - CRDT changes for benchmark

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago

#211 - Fixed some timeouts to fix some raft liveness properties

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

#210 - Raft KVS

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

#209 - Raft

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

#208 - Make fairness abstract, and implement fairer defaults

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

#207 - Branch selection not actually fair

Issue - State: closed - Opened by fhackett almost 3 years ago

#206 - Fix an issue with channels

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#205 - Begin Test Apps for TwoPC

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#204 - Make local archetype resources indexable

Pull Request - State: closed - Opened by fhackett almost 3 years ago - 1 comment

#203 - Test apps

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

#203 - Test apps

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

#202 - Panicking when trying to write to a local array

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

#201 - Make TLA+ boolean operations short-circuit

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

#200 - Improve with statement handling in generated PCal

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

#199 - Aworset

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago

#198 - Two for one deal on with statement gogen bugs

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

#197 - Exception when generating Go code

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

#197 - Exception when generating Go code

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

#196 - Implement nested archetypes, fix multiple miscompilations

Pull Request - State: closed - Opened by fhackett almost 3 years ago - 1 comment

#195 - Wrong macro expansion in PlusCal compilation

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

#194 - Benchmark

Pull Request - State: closed - Opened by shayanh almost 3 years ago - 6 comments

#193 - Exponential Backoff + Failure Handling for 2PC

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#193 - Exponential Backoff + Failure Handling for 2PC

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#192 - GCounter resource fixes

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago

#191 - fix staticcheck errors

Pull Request - State: closed - Opened by shayanh almost 3 years ago - 1 comment

#190 - Very small improvements in gcounter resource and test.

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

#189 - Curb PGo's newly-discovered code deletion feature

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

#189 - Curb PGo's newly-discovered code deletion feature

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

#188 - semantic check on output failed. probably a PGo bug!

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

#187 - update gcounter spec using TLA+ recursive directive

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

#187 - update gcounter spec using TLA+ recursive directive

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

#186 - Implement RECURSIVE TLA+ directive

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

#186 - Implement RECURSIVE TLA+ directive

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

#185 - Improve handling of PlusCal's trouble with (* and *)

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

#185 - Improve handling of PlusCal's trouble with (* and *)

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

#183 - Added Verdi Keylock Service spec

Pull Request - State: closed - Opened by ruchitpalrecha almost 3 years ago - 1 comment

#182 - TwoPC Implementation

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#182 - TwoPC Implementation

Pull Request - State: closed - Opened by zgrannan almost 3 years ago

#181 - Gcounter resource implementation

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago - 3 comments

#181 - Gcounter resource implementation

Pull Request - State: closed - Opened by shizuko-akamoto almost 3 years ago - 3 comments

#180 - Added counter specs with different consistency semantics.

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

#180 - Added counter specs with different consistency semantics.

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

#180 - Added counter specs with different consistency semantics.

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

#179 - Implement continous fuzz runner

Pull Request - State: closed - Opened by fhackett almost 3 years ago - 4 comments

#179 - Implement continous fuzz runner

Pull Request - State: closed - Opened by fhackett almost 3 years ago - 4 comments

#179 - Implement continous fuzz runner

Pull Request - State: closed - Opened by fhackett almost 3 years ago - 4 comments

#178 - Primary-backup key-value store Go tests

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

#178 - Primary-backup key-value store Go tests

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

#178 - Primary-backup key-value store Go tests

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

#177 - Allow binding self-alias in MPCal instance arguments

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

#177 - Allow binding self-alias in MPCal instance arguments

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

#177 - Allow binding self-alias in MPCal instance arguments

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

#176 - Add missing check for mapping macro instantiation soundness

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

#175 - Make Go-land CHOOSE do the right thing

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

#175 - Make Go-land CHOOSE do the right thing

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

#174 - Assertion error when compiling to PCal

Issue - State: closed - Opened by shayanh almost 3 years ago - 1 comment

#172 - Suggestion to improve readability of the compiled Go code

Issue - State: closed - Opened by shayanh almost 3 years ago - 4 comments
Labels: enhancement

#171 - Wrong compilation of `CHOOSE` construct

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

#171 - Wrong compilation of `CHOOSE` construct

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