GitHub / ranjitjhala issue stats
Total issues: 26
Total pull requests: 74
Merged pull request: 67
Average time to close issues: over 3 years
Average time to close pull requests: 3 days
Average comments per issue: 2.85
Average comments per pull request: 0.62
Issues created
Pull requests created
- ucsd-progsys/liquid-fixpoint: 24
- ucsd-progsys/liquidhaskell: 12
- ucsd-progsys/liquidhaskell-tutorial: 5
- ucsd-progsys/liquid-server: 4
- ucsd-progsys/liquid-client: 2
- ucsd-progsys/lh-workshop: 2
- flux-rs/flux: 2
- jswebtools/language-ecmascript: 2
- themattchan/liquid-types.el: 2
- hwayne/lets-prove-leftpad: 2
- ucsd-progsys/intro-refinement-types: 2
- travitch/llvm-analysis: 2
- ucsd-progsys/lh-plugin-demo: 2
- ucsd-progsys/click-express: 1
- spinda/liquidhaskell-cabal-demo: 1
- travitch/itanium-abi: 1
- zgrannan/rest: 1
- ranjitjhala/sprite-lang: 1
- plsyssec/vera: 1
- spinda/liquidhaskell-cabal: 1
- travitch/llvm-data-interop: 1
- ucsd-progsys/elsa: 1
- ranjitjhala/vs-flux: 1
- justusadam/language-haskell: 1
Maintainer
- ucsd-progsys/liquidhaskell: 26
- ucsd-progsys/liquid-fixpoint: 25
- ucsd-progsys/liquidhaskell-tutorial: 6
- ucsd-progsys/liquid-server: 5
- ucsd-progsys/elsa: 4
- ucsd-progsys/intro-refinement-types: 2
- ucsd-progsys/lh-plugin-demo: 2
- ucsd-progsys/lh-workshop: 2
- ucsd-progsys/liquid-client: 2
- ranjitjhala/vs-flux: 1
- plsyssec/vera: 1
- ranjitjhala/sprite-lang: 1
- ucsd-progsys/click-express: 1
Active Maintainer
Issue Author Associations
- Member (20, 76.92%)
- None (6, 23.08%)
Pull Request Author Associations
- Member (55, 74.32%)
- Contributor (14, 18.92%)
- Owner (2, 2.70%)
- None (2, 2.70%)
- Collaborator (1, 1.35%)
Top Issue Labels
- bug (5)
- errormsg (4)
- pbe (2)
- proposal (1)
- question (1)
- absref (1)
- easy (1)
- core-to-logic (1)
- modules (1)
- adt (1)
- nameresolution (1)
- unsoundness (1)
- termination (1)
- enhancement (1)