Ecosyste.ms: Issues

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

GitHub / ubc-carnap-team/Rudolf issues and pull requests

#132 - Bump json5 from 1.0.1 to 1.0.2

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

#131 - Bump express from 4.17.1 to 4.18.2

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

#130 - Bump qs from 6.5.2 to 6.5.3

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

#129 - 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

#128 - Bump eventsource from 1.0.7 to 1.1.1

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

#127 - Bump async from 2.6.3 to 2.6.4

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

#126 - Bump minimist from 1.2.5 to 1.2.6

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

#125 - Bump url-parse from 1.4.7 to 1.5.10

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

#124 - Bump url-parse from 1.4.7 to 1.5.7

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

#123 - Bump follow-redirects from 1.13.0 to 1.14.8

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

#122 - Bump follow-redirects from 1.13.0 to 1.14.7

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

#121 - Bump url-parse from 1.4.7 to 1.5.3

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

#120 - Bump tmpl from 1.0.4 to 1.0.5

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

#119 - Fol support

Pull Request - State: open - Opened by McTano about 3 years ago - 1 comment

#118 - 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

#117 - Somewhat confusing tab order

Issue - State: open - Opened by lf- over 3 years ago

#116 - Exclude checker feedback from undo

Pull Request - State: closed - Opened by McTano over 3 years ago

#115 - UI: undo has too much granularity

Issue - State: closed - Opened by lf- over 3 years ago - 1 comment
Labels: duplicate, UI

#114 - Long lines in the declared premises on tree creation are cut off

Issue - State: open - Opened by lf- over 3 years ago
Labels: bug

#113 - Provide an action to unmark branches as finished

Issue - State: open - Opened by lf- over 3 years ago - 2 comments
Labels: enhancement

#112 - Right click doesn't cancel previous context menu

Issue - State: open - Opened by lf- over 3 years ago
Labels: bug

#111 - Scope css

Pull Request - State: closed - Opened by McTano over 3 years ago

#110 - Add support for building with Nix

Pull Request - State: closed - Opened by lf- over 3 years ago

#109 - Finish removing the FiraLogic submodule

Pull Request - State: closed - Opened by lf- over 3 years ago

#108 - Bump merge-deep from 3.0.2 to 3.0.3

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

#107 - Bump dns-packet from 1.3.1 to 1.3.4

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

#106 - Bump hosted-git-info from 2.8.8 to 2.8.9

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

#105 - Bump url-parse from 1.4.7 to 1.5.1

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

#104 - Bump ssri from 6.0.1 to 6.0.2

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

#103 - Bump y18n from 4.0.0 to 4.0.1

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

#102 - Bump elliptic from 6.5.3 to 6.5.4

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

#101 - Simplify build processes

Issue - State: open - Opened by McTano almost 4 years ago - 2 comments

#100 - Bump ini from 1.3.5 to 1.3.8

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

#99 - Feedback style

Pull Request - State: open - Opened by McTano almost 4 years ago

#97 - Fix css specificity on inputs

Issue - State: open - Opened by McTano about 4 years ago - 1 comment

#96 - Refactor component hierarchy style fix

Pull Request - State: closed - Opened by mbecker20 about 4 years ago - 2 comments

#95 - 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

#94 - Refactor component hierarchy

Pull Request - State: closed - Opened by mbecker20 about 4 years ago

#93 - Positioning breaks when widget is not the only thing on the page.

Issue - State: closed - Opened by McTano about 4 years ago - 1 comment

#92 - bundle app to be consumed by Carnap

Pull Request - State: closed - Opened by McTano about 4 years ago

#91 - Remove bootstrap dependency

Issue - State: open - Opened by McTano about 4 years ago

#90 - Undo button should skip state changes which weren't triggered by user

Issue - State: closed - Opened by McTano about 4 years ago
Labels: bug

#89 - Provide a way for users to report errors or suggest improvements

Issue - State: closed - Opened by McTano about 4 years ago - 1 comment

#88 - Make instructions available to users.

Issue - State: open - Opened by McTano about 4 years ago

#87 - Support FOL checking

Issue - State: open - Opened by McTano about 4 years ago

#86 - Allow multiple rows to reference the same previous row (on the same branch).

Issue - State: open - Opened by McTano about 4 years ago - 2 comments

#85 - Display feedback when the conversion fails

Issue - State: closed - Opened by McTano about 4 years ago

#84 - Host compiled script through a CDN service

Issue - State: closed - Opened by McTano about 4 years ago - 1 comment

#83 - Closing nodes placed incorrectly when attached directly to root node

Issue - State: open - Opened by McTano about 4 years ago
Labels: bug, UI

#82 - Bump elliptic from 6.5.2 to 6.5.3

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

#81 - 80 fix feedback arrows

Pull Request - State: closed - Opened by mbecker20 about 4 years ago

#80 - Arrows disappear whenever there is feedback

Issue - State: closed - Opened by McTano over 4 years ago - 1 comment

#79 - Button on each formula for activating context menu

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

#78 - Move row numbers and justifications outside scrollable box

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

#77 - Display better error messages

Issue - State: closed - Opened by McTano over 4 years ago - 2 comments

#76 - 39 55 tree layout

Pull Request - State: closed - Opened by mbecker20 over 4 years ago - 5 comments

#75 - position set to static if topItemsRef.current is undefined

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

#74 - Top offset of tree window

Issue - State: closed - Opened by mbecker20 over 4 years ago - 1 comment
Labels: bug

#73 - Add some labels

Pull Request - State: closed - Opened by lf- over 4 years ago - 1 comment

#72 - tree enclosed in individually scrolling bounder

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

#71 - Arrows not being created sometimes

Issue - State: closed - Opened by orbit-stabilizer over 4 years ago - 1 comment
Labels: bug

#70 - in widget resizing of content

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

#69 - horizontally overflowing trees can only scroll to the right

Issue - State: closed - Opened by mbecker20 over 4 years ago
Labels: bug

#68 - fix phantom line bug

Pull Request - State: closed - Opened by mbecker20 over 4 years ago - 1 comment

#67 - Problem with new arrows

Issue - State: closed - Opened by orbit-stabilizer over 4 years ago - 2 comments
Labels: bug

#66 - add and implement react-archer, remove react-lineto

Pull Request - State: closed - Opened by mbecker20 over 4 years ago - 1 comment

#65 - Migrate lines drawn between nodes to react-archer to make them prettier

Issue - State: closed - Opened by McTano over 4 years ago - 3 comments
Labels: UI

#64 - pass dimensions to LineTo component as key prop

Pull Request - State: closed - Opened by McTano over 4 years ago - 2 comments

#63 - React LineTo lines not rerendering on window resize

Issue - State: closed - Opened by mbecker20 over 4 years ago - 9 comments
Labels: bug

#62 - Apply feedback

Pull Request - State: closed - Opened by McTano over 4 years ago - 3 comments

#61 - JSONView collapse on click

Pull Request - State: closed - Opened by mbecker20 over 4 years ago - 7 comments

#60 - merge changes from master

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

#59 - Separate exportable Rudolf component from demo app scaffold.

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

#57 - Make JSONDisplay less obtrusive

Issue - State: closed - Opened by McTano over 4 years ago
Labels: good first issue, UI

#56 - Deploy live demo of widget

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

#55 - Move justifications to separate column on the right hand side, row numbers to left.

Issue - State: closed - Opened by McTano over 4 years ago - 1 comment
Labels: good first issue, UI

#54 - Design for displaying checker feedback to user

Issue - State: open - Opened by McTano over 4 years ago
Labels: UI

#53 - Apply JSON feedback to tree

Issue - State: closed - Opened by McTano over 4 years ago - 1 comment

#52 - Make trees geometrically well-behaved.

Issue - State: closed - Opened by McTano over 4 years ago - 5 comments
Labels: UI

#51 - Check as sequent

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

#50 - Bump websocket-extensions from 0.1.3 to 0.1.4

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

#49 - Contradictory formulas

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

#48 - Document the UI

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

#47 - Fix delay between selection and tree update

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

#46 - Fix delay between selection and change in tree

Issue - State: closed - Opened by orbit-stabilizer over 4 years ago - 3 comments
Labels: bug

#45 - Add development environment setup instructions

Pull Request - State: closed - Opened by lf- over 4 years ago - 3 comments

#40 - Add a pre-commit hook to run prettier

Issue - State: closed - Opened by McTano almost 5 years ago - 3 comments
Labels: good first issue

#39 - Space out formulas vertically so that each row lines up.

Issue - State: closed - Opened by McTano almost 5 years ago - 3 comments
Labels: UI

#37 - Tree examples

Pull Request - State: closed - Opened by kylemas almost 5 years ago - 1 comment

#34 - moved node ids from component tree into tree data structure

Pull Request - State: closed - Opened by McTano about 5 years ago

#33 - Reorganize css

Pull Request - State: closed - Opened by McTano about 5 years ago

#32 - Styling

Pull Request - State: closed - Opened by kylemas about 5 years ago

#24 - NodeIdentifier: Issue with Connecting Nodes w/ Diagonal Lines

Pull Request - State: closed - Opened by kylemas about 5 years ago

#23 - Example cases

Pull Request - State: closed - Opened by kylemas over 5 years ago - 6 comments

#19 - Diagonal

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

#18 - Create manual and (semi-)auto resolution modes

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

#17 - Parse premises

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