Ecosyste.ms: Issues

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

GitHub / UMM-CSci/edsger issues and pull requests

#106 - Bump qs and body-parser

Pull Request - State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#105 - Bump decode-uri-component from 0.2.0 to 0.2.2

Pull Request - State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#104 - Bump engine.io and karma

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#103 - Bump socket.io-parser and karma

Pull Request - State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#102 - Bump karma from 1.7.1 to 6.3.16

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

#101 - Bump follow-redirects from 1.9.0 to 1.14.8

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#100 - Bump karma from 1.7.1 to 6.3.14

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#99 - Bump follow-redirects from 1.9.0 to 1.14.7

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#98 - Bump path-parse from 1.0.6 to 1.0.7

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#97 - Bump http-proxy from 1.18.0 to 1.18.1

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#96 - Fix bugs 62 and 91

Pull Request - State: closed - Opened by NicMcPhee over 4 years ago
Labels: bug

#95 - Update dependencies

Pull Request - State: closed - Opened by NicMcPhee over 4 years ago

#94 - Switch CI from Travis to GitHub Actions

Issue - State: open - Opened by NicMcPhee over 4 years ago

#93 - Update various dependencies

Issue - State: closed - Opened by NicMcPhee over 4 years ago

#92 - Update to new Figwheel?

Issue - State: open - Opened by NicMcPhee over 4 years ago - 1 comment

#91 - (m ≡ (n ∧ p)) ⇒ q doesn't rewrite to (m ≡ (p ∧ n)) ⇒ q

Issue - State: closed - Opened by NicMcPhee almost 5 years ago - 1 comment
Labels: bug

#90 - Resolve security alerts raised by GitHub

Issue - State: open - Opened by bemica about 5 years ago

#89 - Enable reverse implication on the spine

Pull Request - State: closed - Opened by bemica about 5 years ago - 2 comments

#88 - Switch from strings to keywords as "type of step" labels

Issue - State: open - Opened by NicMcPhee over 5 years ago

#87 - Add a "click keypad" for data entry

Issue - State: open - Opened by NicMcPhee over 5 years ago

#86 - Add button to swap order on rules

Issue - State: open - Opened by NicMcPhee over 5 years ago

#84 - Remove `check-implication` and below from `unification.cljs`

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

#83 - Recursive call in `unification.cljs` doesn't have enough arguments

Issue - State: open - Opened by NicMcPhee over 5 years ago
Labels: bug

#82 - Provide 'T' and 'F' as shorthands for 'true' and 'false'

Issue - State: open - Opened by NicMcPhee over 5 years ago

#81 - Add color coding to show substitutions

Issue - State: open - Opened by NicMcPhee over 5 years ago

#80 - Provide an optional comment box along with rules

Issue - State: open - Opened by NicMcPhee over 5 years ago

#79 - "Error in input" for parse errors isn't super helpful

Issue - State: open - Opened by NicMcPhee over 5 years ago

#76 - All undo on step deletion

Issue - State: open - Opened by NicMcPhee over 5 years ago

#75 - Allow "follows from" (<=) on the spine

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

#74 - Drop word "or" as a connective in the symbol table

Issue - State: open - Opened by NicMcPhee over 5 years ago

#72 - Add drop down for "official" rules from a textbook

Issue - State: open - Opened by NicMcPhee over 5 years ago

#71 - Model check validity of rules

Issue - State: open - Opened by NicMcPhee over 5 years ago

#70 - Extend Markdown output to include headers & arbitrary text

Issue - State: open - Opened by NicMcPhee over 5 years ago

#69 - Add support for Markdown output

Issue - State: open - Opened by NicMcPhee over 5 years ago

#68 - Dev

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

#67 - Bug fixes

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

#63 - Add ~ as a negation character

Issue - State: open - Opened by bemica over 5 years ago

#62 - Bug in A & A === A rewrite

Issue - State: closed - Opened by bemica over 5 years ago - 3 comments
Labels: bug

#61 - Change true/false labels to something more visual

Issue - State: open - Opened by bemica over 5 years ago - 1 comment

#59 - Spine choice

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

#58 - Spine choice

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

#57 - Spine choice

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

#56 - License and buttons

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

#55 - Dev

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

#54 - fixes the non-commital problem

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

#53 - Dev

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

#51 - Allow for implication as well as equivalency proofs

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

#50 - Multi step proofs

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

#49 - Fix equivication between variables in expressions and rules

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

#48 - Add Multi Step Equivalency Proofs

Issue - State: closed - Opened by bemica almost 6 years ago - 1 comment

#47 - Update project status in the README

Pull Request - State: closed - Opened by lverns almost 7 years ago

#46 - Add docs + fix precedence issue

Pull Request - State: closed - Opened by real-mj-song almost 7 years ago

#45 - Expand dev guide

Pull Request - State: closed - Opened by lverns almost 7 years ago

#44 - Update readme

Pull Request - State: closed - Opened by lverns almost 7 years ago

#43 - Add developer guide

Pull Request - State: closed - Opened by real-mj-song almost 7 years ago
Labels: enhancement

#42 - Improve precedence support

Pull Request - State: closed - Opened by lverns almost 7 years ago

#41 - Trim out unnecessary functionality

Pull Request - State: closed - Opened by real-mj-song about 7 years ago

#40 - Update Travis badge

Issue - State: closed - Opened by floogulinc about 7 years ago - 2 comments
Labels: fixed-in-dev

#39 - Fix quirks with cursor movement

Issue - State: open - Opened by real-mj-song about 7 years ago - 1 comment
Labels: bug, ux

#38 - Add additional alternatives for symbols

Issue - State: closed - Opened by real-mj-song about 7 years ago
Labels: ux

#37 - Add user friendly features

Issue - State: open - Opened by real-mj-song about 7 years ago
Labels: enhancement, ux

#36 - Add rule selection feature

Issue - State: open - Opened by real-mj-song about 7 years ago
Labels: enhancement, ux

#35 - Make extra parens a non-issue

Issue - State: closed - Opened by real-mj-song about 7 years ago
Labels: bug, fixed-in-dev

#34 - Make not parse correctly

Issue - State: closed - Opened by real-mj-song about 7 years ago
Labels: bug, fixed-in-dev, logic

#33 - Add message indicating where there is a mismatch

Issue - State: open - Opened by real-mj-song about 7 years ago
Labels: enhancement, ux, logic

#32 - Improve error reporting

Issue - State: open - Opened by real-mj-song about 7 years ago - 1 comment
Labels: enhancement, ux

#31 - Merge dev to master

Pull Request - State: closed - Opened by lverns about 7 years ago

#30 - Implement user input converter

Pull Request - State: closed - Opened by real-mj-song about 7 years ago

#29 - Travis CI deployment to GitHub Pages.

Pull Request - State: closed - Opened by lverns about 7 years ago

#28 - Indicate where parsing failed

Pull Request - State: closed - Opened by real-mj-song about 7 years ago - 4 comments

#27 - Add precedence support to the parser

Issue - State: closed - Opened by lverns about 7 years ago - 1 comment
Labels: enhancement, fixed-in-dev

#26 - Make parser whitespace agnostic

Pull Request - State: closed - Opened by lverns about 7 years ago

#25 - Add project license

Issue - State: closed - Opened by lverns about 7 years ago - 1 comment
Labels: project-organization

#24 - Enable Travis CI

Pull Request - State: closed - Opened by lverns about 7 years ago

#23 - Fix bugs with single variable expressions

Pull Request - State: closed - Opened by lverns about 7 years ago - 1 comment

#22 - Allow single variable expressions

Issue - State: closed - Opened by lverns about 7 years ago
Labels: bug

#21 - Make expressions whitespace insensitive

Issue - State: closed - Opened by lverns about 7 years ago - 1 comment
Labels: enhancement

#20 - Complete rewrite of view/controller

Pull Request - State: closed - Opened by real-mj-song about 7 years ago - 1 comment
Labels: enhancement, ux

#19 - Accept fully parenthesized infix expressions from users

Pull Request - State: closed - Opened by lverns about 7 years ago

#18 - Add documentation on using Figwheel & Spacemacs

Pull Request - State: closed - Opened by lverns about 7 years ago - 2 comments

#17 - Indicate which expression failed to parse

Issue - State: closed - Opened by lverns about 7 years ago
Labels: bug, fixed-in-dev, ux

#16 - Mimic actual structure of expressions

Issue - State: closed - Opened by real-mj-song about 7 years ago
Labels: enhancement, fixed-in-dev, ux

#15 - Enable Travis-CI

Issue - State: closed - Opened by lverns about 7 years ago - 4 comments
Labels: fixed-in-dev, project-organization

#14 - Allow users to type operators easily

Issue - State: closed - Opened by real-mj-song about 7 years ago - 2 comments
Labels: enhancement, fixed-in-dev, ux

#13 - Implement parsing of infix expressions

Issue - State: closed - Opened by lverns about 7 years ago
Labels: enhancement, ux

#12 - Implement the skeleton of proofchecker

Pull Request - State: closed - Opened by real-mj-song about 7 years ago

#11 - Add quick-start and usage instructions to 'README.md'

Pull Request - State: closed - Opened by real-mj-song about 7 years ago - 1 comment

#10 - Connect new parser & validation logic to the frontend

Pull Request - State: closed - Opened by lverns about 7 years ago

#9 - Recursive matching

Pull Request - State: closed - Opened by lverns about 7 years ago - 2 comments

#8 - Add start of documentation

Pull Request - State: closed - Opened by lverns about 7 years ago

#7 - Improve check match

Pull Request - State: closed - Opened by lverns about 7 years ago