Bump to v0.1.16 (#66)

Author: gavinleroy

Cargo.lock

@@ -58,3 +58,27 @@ Argus or Argos Panoptes (Ancient Greek: Ἄργος Πανόπτης, "All-seein
 ## Having trouble? (or providing feedback!)
 
 We're happy to chat and answer questions on the [Argus Zulip channel](https://cognitive-engineering-lab.zulipchat.com/#narrow/stream/453634-argus). You can also reach the authors via email, <gavinleroy@brown.edu> and <wcrichto@brown.edu>, we'd love to hear your feedback as we iterate in the design and development of Argus!
+
+## Citation
+
+Argus was developed as a part of our academic research on [debugging trait errors](https://dl.acm.org/doi/10.1145/3729302). If you use Argus as a part of your research, please cite this paper:
+
+```bibtex
+@article{gck:argus,
+  author = {Gray, Gavin and Crichton, Will and Krishnamurthi, Shriram},
+  title = {An Interactive Debugger for Rust Trait Errors},
+  year = {2025},
+  issue_date = {June 2025},
+  publisher = {Association for Computing Machinery},
+  address = {New York, NY, USA},
+  volume = {9},
+  number = {PLDI},
+  url = {https://doi.org/10.1145/3729302},
+  doi = {10.1145/3729302},
+  journal = {Proc. ACM Program. Lang.},
+  month = jun,
+  articleno = {199},
+  numpages = {22},
+  keywords = {Rust, debugging, traits, type classes}
+}
+```

README.md

@@ -1,6 +1,6 @@
 [package]
 name = "argus-cli"
-version = "0.1.15"
+version = "0.1.16"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -10,8 +10,8 @@ license = "MIT"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-argus-lib = { version = "0.1.15", path = "../argus" }
-argus-ext = { version = "0.1.15", path = "../argus-ext" }
+argus-lib = { path = "../argus" }
+argus-ext = { path = "../argus-ext" }
 rustc_plugin = "=0.13.0-nightly-2025-03-03"
 
 rustc_utils.workspace = true

crates/argus-cli/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ext"
-version = "0.1.15"
+version = "0.1.16"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"

crates/argus-ext/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ser-macros"
-version = "0.1.15"
+version = "0.1.16"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"

crates/argus-ser-macros/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ser"
-version = "0.1.15"
+version = "0.1.16"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -28,8 +28,8 @@ ts-rs = { version = "7.1.1", features = [
   "no-serde-warnings",
 ], optional = true }
 
-argus-ser-macros = { version = "0.1.15", path = "../argus-ser-macros" }
-argus-ext = { version = "0.1.15", path = "../argus-ext" }
+argus-ser-macros = { path = "../argus-ser-macros" }
+argus-ext = { path = "../argus-ext" }
 
 [dev-dependencies]
 argus-ser = { path = ".", features = ["testing"] }

crates/argus-ser/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-lib"
-version = "0.1.15"
+version = "0.1.16"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -22,8 +22,8 @@ serde.workspace = true
 serde_json.workspace = true
 itertools.workspace = true
 
-argus-ext = { version = "0.1.15", path = "../argus-ext" }
-argus-ser = { version = "0.1.15", path = "../argus-ser" }
+argus-ext = { path = "../argus-ext" }
+argus-ser = { path = "../argus-ser" }
 index_vec = { version = "0.1.3", features = ["serde"] }
 smallvec = "1.14.0"
 indexmap = { version = "2.2", features = ["serde"] }
@@ -38,9 +38,7 @@ ts-rs = { version = "7.1.1", features = [
 
 [dev-dependencies]
 argus-lib = { path = ".", features = ["testing"] }
-argus-ser = { version = "0.1.15", path = "../argus-ser", features = [
-  "testing",
-] }
+argus-ser = { path = "../argus-ser", features = ["testing"] }
 rustc_utils = { version = "=0.13.0-nightly-2025-03-03", features = [
   "serde",
   "ts-rs",

crates/argus/Cargo.toml

@@ -201,7 +201,6 @@
 
         devShells.default = pkgs.mkShell ({
           buildInputs = cli-deps ++ ide-deps ++ book-deps ++ [
-            pkgs.rust-analyzer
             browsers
             ci-check
           ] ++ pkgs.lib.optionals pkgs.stdenv.isLinux [

flake.nix

@@ -5,7 +5,7 @@
   "description": "A trait debugger for Rust",
   "license": "MIT",
   "icon": "argus-logo-128.png",
-  "version": "0.1.15",
+  "version": "0.1.16",
   "engines": {
     "vscode": "^1.99.1"
   },
@@ -17,12 +17,8 @@
     "url": "https://github.com/cognitive-engineering-lab/argus",
     "type": "git"
   },
-  "categories": [
-    "Programming Languages"
-  ],
-  "activationEvents": [
-    "onLanguage:rust"
-  ],
+  "categories": ["Programming Languages"],
+  "activationEvents": ["onLanguage:rust"],
   "contributes": {
     "commands": [
       {
@@ -55,12 +51,7 @@
       }
     ]
   },
-  "files": [
-    "dist",
-    "argus-logo-128.png",
-    "LICENSE",
-    "README.md"
-  ],
+  "files": ["dist", "argus-logo-128.png", "LICENSE", "README.md"],
   "main": "./dist/argus.js",
   "exports": {
     ".": {

ide/packages/extension/package.json

@@ -1,4 +1,4 @@
 [toolchain]
 channel = "nightly-2025-03-03"
-components = ["rust-src", "rustc-dev", "rustfmt", "clippy"]
+components = ["rust-src", "rustc-dev", "rustfmt", "clippy", "rust-analyzer"]
 profile = "minimal"