Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 27, 2024

• Testing Infrastructure (#47)

  Show description for af96bb3
  gavinleroy

  authored
  af96bb3

Commits on Sep 13, 2024

• V0.1.13 (#37)

  Show description for bb1f36d
  gavinleroy

  authored
  bb1f36d

Commits on Sep 5, 2024

• Update Argus tutorial

  gavinleroy

  committed
  109cbfd

Commits on Sep 4, 2024

• Supress Iterator bounds, out-of-control highlighting (#36)

  gavinleroy

  authored
  bd97c1c

Commits on Aug 30, 2024

• CI release action

  gavinleroy

  committed
  9ba45fa

• CI release action

  gavinleroy

  committed
  53ccfdc

• README

  gavinleroy

  authored
  15fbf1f

• IDE / Book tweaks (#32)

  Show description for 9fda4b4
  gavinleroy

  authored
  9fda4b4

Commits on Aug 29, 2024

• Version v1.11 (#31)

  gavinleroy

  authored
  34d4b3c

Commits on Aug 28, 2024

• Initial Tutorial info (#29)

  Show description for 112c6be
  gavinleroy

  authored
  112c6be

• tweaks and fixes (#28)

  Show description for 8a3717e
  gavinleroy

  authored
  8a3717e

Commits on Aug 6, 2024

• Lots'O Goodies (#25)

  Show description for 1a680ed
  gavinleroy

  authored
  1a680ed

Commits on Jul 27, 2024

• Jump to definition (#24)

  Show description for 23ef5fa
  gavinleroy

  authored
  23ef5fa

Commits on Jul 23, 2024

• CI

  gavinleroy

  committed
  f27b2ca

Commits on Jul 22, 2024

• package.json

  gavinleroy

  committed
  c6631bd

• Remove subgoals implied by prior errors, filter all errors in a type-… (#22)

  Show description for df522b2
  gavinleroy

  authored
  df522b2

Commits on Jul 17, 2024

• CI

  gavinleroy

  committed
  32c3ab4

• Set grouping with note in BottonUp view (#21)

  Show description for 9207d91
  gavinleroy

  authored
  9207d91

Commits on Jul 12, 2024

• README

  gavinleroy

  authored
  f8637f8

• v0.1.8 (#18)

  Show description for 344dbe1
  gavinleroy

  authored
  344dbe1

Commits on Jul 8, 2024

• Cargo.lock

  gavinleroy

  committed
  5148270

• Bump to v0.1.7 (#16)

  gavinleroy

  authored
  87fb662

• Print Binders (#15)

  Show description for 28335ad
  gavinleroy

  authored
  28335ad

Commits on Jul 3, 2024

• README

  gavinleroy

  authored
  835addc

• Upstream changes (#11)

  Show description for b38adc4
  

  gavinleroy

  and

  willcrichton

  authored
  b38adc4

Commits on Jun 10, 2024

• README

  gavinleroy

  authored
  3b76d58

Commits on May 23, 2024

• Update nightly toolchain (#6)

  Show description for fe348bf
  gavinleroy

  authored
  fe348bf

Commits on May 11, 2024

• Safeguard webview message predicates.

  gavinleroy

  committed
  396bfaa

Commits on Apr 30, 2024

• Simplify MatMul

  gavinleroy

  committed
  c1200f0

• Various system tweaks.

  gavinleroy

  committed
  04eb21d

Commits on Apr 8, 2024

• Use vscode-test script instead of test-runner package. (#5)

  Show description for 272d499
  willcrichton

  authored
  272d499

Commits on Apr 4, 2024

• Add information blurbs when building Argus.

  gavinleroy

  committed
  7d8c074

Commits on Apr 2, 2024

• Panoptes script to replace all embed blocks with debugger.

  gavinleroy

  committed
  4808203

• Add evaluation make target, refactor tests.

  gavinleroy

  committed
  b2c38c0

Commits on Mar 29, 2024

• Decouple webview impl from vscode.

  gavinleroy

  committed
  017301d

Pagination

PreviousNext