Issues

• Emphasize certain predicates in linked output of web editor

  robsimmons/dusa#120 · Filter by author robsimmons opened on May 4, 2025

• Restore web debug output

  robsimmons/dusa#118 · Filter by author robsimmons opened on Apr 28, 2025

• Nitpicky - Add Alternative Comment Character

  robsimmons/dusa#117 · Filter by author spencerflem opened on Apr 27, 2025
  1

• Control over which solutions are more likely to be found first, or 'soft constraints'

  robsimmons/dusa#116 · Filter by author spencerflem opened on Apr 27, 2025
  3

• Implement negation by transformation

  robsimmons/dusa#112 · Filter by author robsimmons opened on Feb 26, 2025

• Website crash when computing tables with large entries

  robsimmons/dusa#111 · Filter by author minsungc opened on Feb 18, 2025
  1

• "View program" in mobile-resposive view should pause

  robsimmons/dusa#110 · Filter by author robsimmons opened on Feb 7, 2025

• Build from source issue: Cannot find module '.../dusa/lib/cli.js'

  robsimmons/dusa#108 · Filter by author minsungc opened on Feb 4, 2025
  1

• Add support for a form of "committed choice"

  robsimmons/dusa#107 · Filter by author tausbn opened on Jan 25, 2025
  3

• Grammar railroad diagram

  robsimmons/dusa#102 · Filter by author mingodad opened on Jan 18, 2025
  7

• Sometimes you just want the number

  robsimmons/dusa#99 · Filter by author robsimmons opened on Dec 30, 2024

• DusaCompileError needs better toString behavior

  robsimmons/dusa#98 · Filter by author robsimmons opened on Dec 30, 2024

• Add a link shortener for shared programs

  robsimmons/dusa#97 · Filter by author zigdon opened on Dec 30, 2024
  2

• Add a way to hide predicates from the output

  robsimmons/dusa#96 · Filter by author tausbn opened on Dec 27, 2024
  1

• Dusa.prototype.assert() should return the dusa instance

  robsimmons/dusa#88 · Filter by author robsimmons opened on Dec 5, 2024

• Allow functional predicates in equality and inequality statements.

  robsimmons/dusa#87 · Filter by author robsimmons opened on Dec 5, 2024
  1

• Don't allow #builtin relations to be asserted or queried

  bug
  robsimmons/dusa#75 · Filter by author robsimmons opened on Nov 25, 2024

• Add NAT_PLUS as a fully reversible relation

  robsimmons/dusa#73 · Filter by author robsimmons opened on Nov 24, 2024

• Open docs in new tab

  sketchzone-frontend
  robsimmons/dusa#71 · Filter by author robsimmons opened on Nov 24, 2024

• Multiply-declared definitions are not checked directly

  bug
  robsimmons/dusa#58 · Filter by author robsimmons opened on Nov 13, 2024

• Or-patterns

  robsimmons/dusa#56 · Filter by author robsimmons opened on Oct 21, 2024

• Operations on sequences

  robsimmons/dusa#38 · Filter by author robsimmons opened on Jun 13, 2024

• Incorporate EDB input JSON in the web editor

  sketchzone-frontend
  robsimmons/dusa#31 · Filter by author robsimmons opened on Jun 7, 2024

• Support integer division and modulus buildins

  feature:misc-builtin
  robsimmons/dusa#30 · Filter by author robsimmons opened on Jun 7, 2024

• Tab indentation in the editor

  sketchzone-frontend
  robsimmons/dusa#25 · Filter by author robsimmons opened on Jun 6, 2024