Ecosyste.ms: Issues

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

GitHub / uwplse/coq-change-analytics issues and pull requests

#50 - OCaml error

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

#49 - Enabling analytics during compilation results in spurious output

Issue - State: open - Opened by tchajed over 5 years ago - 3 comments

#48 - v8.9 branch seems to depend on code added after v8.9?

Issue - State: closed - Opened by Ptival over 5 years ago - 2 comments

#47 - Consent form (fixes #42)

Pull Request - State: closed - Opened by tlringer over 5 years ago

#45 - Replay selects incorrect session

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

#43 - Logfile 2.0

Pull Request - State: closed - Opened by HazardousPeach over 5 years ago - 1 comment

#42 - Consent form

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

#41 - Recruit!

Issue - State: closed - Opened by tlringer over 5 years ago

#40 - Stable releases for Coq 8.9 and 8.10 and so on

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

#39 - Clean up after beta

Issue - State: closed - Opened by tlringer over 5 years ago - 2 comments
Labels: blocked

#38 - Most Users Getting Merged into User "1"

Issue - State: closed - Opened by HazardousPeach over 5 years ago - 6 comments

#37 - Replay script does not scale

Issue - State: closed - Opened by tlringer over 5 years ago - 6 comments
Labels: bug

#36 - Make better decisions about when to send data to the server

Issue - State: closed - Opened by tlringer over 5 years ago - 6 comments

#35 - Question: is it important to disable analytics during compilation?

Issue - State: closed - Opened by tchajed over 5 years ago - 7 comments

#34 - make and loading plugin always ask to fill out profile

Issue - State: closed - Opened by tchajed over 5 years ago - 12 comments
Labels: bug

#33 - URGENT: Current server code does not work with Python 3

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: bug

#32 - Plugin should not depend on OCaml 4.07

Issue - State: closed - Opened by JasonGross over 5 years ago

#31 - Plugin seems to no longer build

Issue - State: closed - Opened by JasonGross over 5 years ago - 4 comments

#30 - Don't barf

Pull Request - State: closed - Opened by tlringer over 5 years ago

#29 - Client barfs on writing Coq commands that contain strings

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: bug

#28 - Do we need the user's dependencies?

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment
Labels: question

#26 - Add to the Coq CI

Issue - State: open - Opened by tlringer over 5 years ago
Labels: enhancement

#25 - Plugin uses a version of coq that does not work with tip of PG

Issue - State: closed - Opened by JasonGross over 5 years ago - 5 comments

#24 - Plugin incorrectly creates `.analytics_profile` in the directory from which coqtop is run

Issue - State: closed - Opened by JasonGross over 5 years ago - 2 comments
Labels: bug

#23 - Initial run breaks emacs mode of PG in an extremely unfriendly way

Issue - State: closed - Opened by JasonGross over 5 years ago - 8 comments
Labels: bug

#22 - Submodule cannot be checked out

Issue - State: closed - Opened by JasonGross over 5 years ago - 7 comments
Labels: bug

#21 - Add a way for users to update their profile question answers when questions haven't changed

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment
Labels: deployment needed

#20 - Improve user signup to save answers to questions that haven't changed

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment
Labels: enhancement

#19 - User signup process (implements #6)

Pull Request - State: closed - Opened by tlringer over 5 years ago - 10 comments

#18 - Draft out IRBs

Issue - State: closed - Opened by tlringer about 6 years ago - 18 comments

#17 - Does the plugin work in Proof General?

Issue - State: closed - Opened by tlringer about 6 years ago - 3 comments
Labels: question

#16 - Iterate on logging information and format (Beta)

Issue - State: closed - Opened by tlringer about 6 years ago
Labels: blocked, meta

#14 - Move to a more permanent server

Issue - State: closed - Opened by tlringer about 6 years ago - 3 comments

#13 - Log git information

Issue - State: closed - Opened by tlringer about 6 years ago
Labels: enhancement

#12 - What happens with failing tactics and terms that don't type-check?

Issue - State: closed - Opened by tlringer about 6 years ago - 11 comments
Labels: question

#11 - Distribute Beta

Issue - State: closed - Opened by tlringer about 6 years ago - 1 comment
Labels: blocked

#10 - Identify beta testers

Issue - State: closed - Opened by tlringer about 6 years ago - 3 comments

#9 - Think of motivation for beta testers

Issue - State: closed - Opened by tlringer about 6 years ago - 5 comments
Labels: meta

#8 - Determine at least one question to ask about user data

Issue - State: closed - Opened by tlringer about 6 years ago - 5 comments
Labels: meta

#7 - Distribution process

Issue - State: closed - Opened by tlringer about 6 years ago - 3 comments

#6 - Build a user sign-up process

Issue - State: closed - Opened by tlringer about 6 years ago - 7 comments
Labels: enhancement

#5 - Look at logs from server from my 11/10 Coq session, see if any info is missing

Issue - State: closed - Opened by tlringer about 6 years ago - 1 comment
Labels: meta

#4 - Get the name of the module we're in

Issue - State: closed - Opened by tlringer about 6 years ago - 4 comments
Labels: enhancement, blocked

#3 - Improve build process

Issue - State: closed - Opened by tlringer about 6 years ago - 9 comments
Labels: enhancement

#2 - Finalize Coq hooks

Issue - State: closed - Opened by tlringer about 6 years ago - 6 comments

#1 - Only send logs to server on exec

Issue - State: closed - Opened by tlringer about 6 years ago
Labels: enhancement