Issues

• Loading TLC traces

  will62794/spectacle#78 · Filter by author craft095 opened on Nov 27, 2025
  2

• Support LOCAL module definitions

  will62794/spectacle#74 · Filter by author will62794 opened on Oct 25, 2025

• Better error message when offline and module extends one or more CommunityModules

  will62794/spectacle#68 · Filter by author lemmy opened on May 16, 2025

• action labels and traces do not include action parameters

  will62794/spectacle#56 · Filter by author jskri opened on Jan 6, 2025
  1

• Expectations regarding record values causing error

  will62794/spectacle#53 · Filter by author Vanlightly opened on Dec 19, 2024

• Add capability to explode multiple constants

  ui
  will62794/spectacle#52 · Filter by author josefahmad opened on Dec 5, 2024

• Show action details on hover in next state selection

  ui
  will62794/spectacle#49 · Filter by author will62794 opened on Jul 15, 2024

• Add seminal CS specs as examples

  will62794/spectacle#38 · Filter by author lemmy opened on Apr 22, 2024
  2