cognitive-engineering-lab/argus

Issues

• Argus panics when analysing code in an example crate

  #48 opened 2 months ago by wprzytula
  2

• Error - Fresh install VSCodium

  #45 opened 2 months ago by sigmasoldi3r
  1

• Fails on loco-rs 65e8062610fac2bb16f6fdf8abb39e4673f3b2ca

  #46 opened 2 months ago by Feriixu
  0

• Could not find target for path

  #44 opened 3 months ago by djc
  0

• Unreachable: "unexpected cargo crate type: test"

  #43 opened 3 months ago by djc
  1

• Assertion during ArgusCallbacks::after_expansion()

  #41 opened 3 months ago by djc
  2

• Method call errors aren't registered as "trait errors"

  #13 opened 6 months ago by gavinleroy
  0

• Can't deal with Cargo.toml not at workspace root

  #38 opened 3 months ago by Diggsey
  0

• And/Or structure not preserved after creating topology view

  #12 opened 6 months ago by gavinleroy
  0

• GitHub Issue Link: "URL too long"

  #27 opened 4 months ago by gavinleroy
  0

• Printing `FnOnce<(Arg)> -> Ret`

  #30 opened 4 months ago by gavinleroy
  0

• "Open failure" doesn't work when panel is opened and obligation collapsed

  #34 opened 4 months ago by willcrichton
  0

• Show full file path on tab when identical names appear

  #35 opened 4 months ago by willcrichton
  0

• The rustc devs version checklist

  #40 opened 3 months ago by gavinleroy
  0

• Heuristics for path trimming

  #42 opened 3 months ago by gavinleroy
  0

• Fails with empty error message

  #39 opened 3 months ago by Diggsey
  1

• Installation on NixOS

  #33 opened 4 months ago by breezykermo
  5

• Tracking issues

  #3 opened 4 months ago by gavinleroy
  1

• Change IDE navbar to settings dropdown

  #14 opened 4 months ago by gavinleroy
  0

• Dirty tree in release CI

  #19 opened 4 months ago by gavinleroy
  0

• Argus info can be hidden after edit / save

  #23 opened 4 months ago by gavinleroy
  0

• False positive bug

  #26 opened 4 months ago by willcrichton
  0

• Double angle brackets in projections

  #20 opened 5 months ago by gavinleroy
  1

• Argus repeatedly sends popups about compiler failures

  #7 opened 6 months ago by willcrichton
  0

• Minibuffer interacts poorly with the treeview

  #17 opened 6 months ago by gavinleroy
  0

• Argus error reporting goes to gavinleroy/argus

  #8 opened 6 months ago by willcrichton
  2

• higher rank trait bounds + fn traits

  #10 opened 6 months ago by gavinleroy
  1

• Argus crashes when error is in a proc macro

  #9 opened 7 months ago by willcrichton
  1