GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Document JSON test output mode

#76

· emichael opened

on Aug 28, 2024

Visualizer n and p keybindings stop working after you click on state trees in nodes

component:visualizer

#75

· emichael opened

on Aug 26, 2024

Add a demo of @Log to Lab 0

#70

· wilcoxjay opened

on Feb 5, 2024

Cleanup JTrees.java

#64

· emichael opened

on Nov 8, 2023

Add Checker Framework nullness checker

#62

· emichael opened

on Nov 4, 2023

Use failAndContinue liberally throughout tests

#57

· emichael opened

on Jul 12, 2023

Migrate from numeric primitive times to Instant/Duration

#49

· emichael opened

on May 12, 2023

Visual debugger display too small on Arch with Xmonad WM

component:visualizer

#44

· Lawqup opened

on Feb 19, 2023

Add search option to not exit after goal found

#37

· emichael opened

on May 31, 2022

Allow for multiple rows of node states, reordering nodes

component:visualizer

#26

· emichael opened

on Apr 3, 2022

Use MacOS Menu Bar

component:visualizer

#24

· emichael opened

on Apr 3, 2022

0