Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cognitive-engineering-lab/argus issues and pull requests
#49 - Remove most nightly features, update implementors panel in IDE
Pull Request -
State: closed - Opened by gavinleroy 2 months ago
#48 - Argus panics when analysing code in an example crate
Issue -
State: open - Opened by wprzytula 3 months ago
- 2 comments
#47 - Testing Infrastructure
Pull Request -
State: closed - Opened by gavinleroy 3 months ago
#46 - Fails on loco-rs 65e8062610fac2bb16f6fdf8abb39e4673f3b2ca
Issue -
State: open - Opened by Feriixu 4 months ago
#45 - Error - Fresh install VSCodium
Issue -
State: open - Opened by sigmasoldi3r 4 months ago
- 1 comment
#44 - Could not find target for path
Issue -
State: open - Opened by djc 5 months ago
Labels: rustc-plugin
#43 - Unreachable: "unexpected cargo crate type: test"
Issue -
State: open - Opened by djc 5 months ago
- 1 comment
Labels: rustc-plugin
#42 - Heuristics for path trimming
Issue -
State: open - Opened by gavinleroy 5 months ago
Labels: enhancement
#41 - Assertion during ArgusCallbacks::after_expansion()
Issue -
State: open - Opened by djc 5 months ago
- 2 comments
Labels: bug
#40 - The rustc devs version checklist
Issue -
State: open - Opened by gavinleroy 5 months ago
Labels: enhancement
#39 - Fails with empty error message
Issue -
State: open - Opened by Diggsey 5 months ago
- 1 comment
#38 - Can't deal with Cargo.toml not at workspace root
Issue -
State: open - Opened by Diggsey 5 months ago
Labels: bug
#37 - V0.1.13
Pull Request -
State: closed - Opened by gavinleroy 5 months ago
#36 - v0.1.12
Pull Request -
State: closed - Opened by gavinleroy 6 months ago
#35 - Show full file path on tab when identical names appear
Issue -
State: open - Opened by willcrichton 6 months ago
Labels: enhancement
#34 - "Open failure" doesn't work when panel is opened and obligation collapsed
Issue -
State: open - Opened by willcrichton 6 months ago
Labels: bug
#33 - Installation on NixOS
Issue -
State: closed - Opened by breezykermo 6 months ago
- 5 comments
#32 - Vscode compliance
Pull Request -
State: closed - Opened by gavinleroy 6 months ago
#31 - Version v01.11
Pull Request -
State: closed - Opened by gavinleroy 6 months ago
#30 - Printing `FnOnce<(Arg)> -> Ret`
Issue -
State: open - Opened by gavinleroy 6 months ago
Labels: bug
#29 - Initial Tutorial info
Pull Request -
State: closed - Opened by gavinleroy 6 months ago
#28 - tweaks and fixes
Pull Request -
State: closed - Opened by gavinleroy 6 months ago
#27 - GitHub Issue Link: "URL too long"
Issue -
State: open - Opened by gavinleroy 6 months ago
Labels: bug
#26 - False positive bug
Issue -
State: closed - Opened by willcrichton 6 months ago
Labels: next-solver
#25 - Lots'O Goodies
Pull Request -
State: closed - Opened by gavinleroy 7 months ago
#24 - Jump to definition
Pull Request -
State: closed - Opened by gavinleroy 7 months ago
#23 - Argus info can be hidden after edit / save
Issue -
State: closed - Opened by gavinleroy 7 months ago
#22 - Remove subgoals implied by prior errors, filter all errors in a type-…
Pull Request -
State: closed - Opened by gavinleroy 7 months ago
#21 - Set grouping with note in BottonUp view
Pull Request -
State: closed - Opened by gavinleroy 7 months ago
#20 - Double angle brackets in projections
Issue -
State: closed - Opened by gavinleroy 7 months ago
- 1 comment
#19 - Dirty tree in release CI
Issue -
State: closed - Opened by gavinleroy 7 months ago
#18 - v0.1.8
Pull Request -
State: closed - Opened by gavinleroy 8 months ago
#17 - Minibuffer interacts poorly with the treeview
Issue -
State: closed - Opened by gavinleroy 8 months ago
#16 - Bump to v0.1.7
Pull Request -
State: closed - Opened by gavinleroy 8 months ago
#15 - Print binder
Pull Request -
State: closed - Opened by gavinleroy 8 months ago
#14 - Change IDE navbar to settings dropdown
Issue -
State: closed - Opened by gavinleroy 8 months ago
#13 - Method call errors aren't registered as "trait errors"
Issue -
State: open - Opened by gavinleroy 8 months ago
Labels: enhancement
#12 - And/Or structure not preserved after creating topology view
Issue -
State: open - Opened by gavinleroy 8 months ago
Labels: bug
#11 - Upstream changes
Pull Request -
State: closed - Opened by gavinleroy 8 months ago
#10 - higher rank trait bounds + fn traits
Issue -
State: closed - Opened by gavinleroy 8 months ago
- 1 comment
#9 - Argus crashes when error is in a proc macro
Issue -
State: closed - Opened by willcrichton 9 months ago
- 1 comment
Labels: bug
#8 - Argus error reporting goes to gavinleroy/argus
Issue -
State: closed - Opened by willcrichton 9 months ago
- 2 comments
Labels: bug
#7 - Argus repeatedly sends popups about compiler failures
Issue -
State: closed - Opened by willcrichton 10 months ago
#6 - Update nightly toolchain
Pull Request -
State: closed - Opened by gavinleroy 11 months ago
#5 - Use vscode-test script instead of test-runner package.
Pull Request -
State: closed - Opened by willcrichton 11 months ago
#4 - Improve styling of hierarchical and graph views of trees
Pull Request -
State: closed - Opened by willcrichton 11 months ago
#3 - Tracking issues
Issue -
State: closed - Opened by gavinleroy 12 months ago
- 1 comment
#2 - Clean up UI
Pull Request -
State: closed - Opened by willcrichton about 1 year ago
#1 - Change JS output target
Pull Request -
State: closed - Opened by willcrichton about 1 year ago