robsimmons/dusa

Issues

• Operations on sequences

  #38 opened 5 months ago by robsimmons
  0

• Support integer division and modulus buildins

  #30 opened 5 months ago by robsimmons
  0

• Add sequences

  #12 opened 5 months ago by robsimmons
  0

• Move continuous integration from SourceHut to Github

  #28 opened 5 months ago by robsimmons
  1

• Inequality handled incorrectly by static checks and compilation

  #10 opened 5 months ago by robsimmons
  1

• Fix suprious static checking error

  #11 opened 5 months ago by robsimmons
  1

• Incorporate EDB input JSON in the web editor

  #31 opened 5 months ago by robsimmons
  0

• Matching against minus doesn't work

  #29 opened 5 months ago by robsimmons
  0

• Stop globally hashconsing

  #27 opened 5 months ago by robsimmons
  0

• Show partial database state on pause

  #26 opened 5 months ago by robsimmons
  1

• Tab indentation in the editor

  #25 opened 5 months ago by robsimmons
  0

• Implement demand/magic sets transformation

  #24 opened 5 months ago by robsimmons
  0

• Optimize rules with shared prefixes

  #21 opened 5 months ago by robsimmons
  0

• Optimize index creation

  #22 opened 5 months ago by robsimmons
  0

• Allow rules to have multiple conclusions

  #20 opened 5 months ago by robsimmons
  0

• Avoid duplicate calculation within a single rule

  #19 opened 5 months ago by robsimmons
  0

• Autocomplete builtins after you write #builtin

  #18 opened 5 months ago by robsimmons
  0

• Reconsider and document modes for built-in functions

  #14 opened 5 months ago by robsimmons
  0

• Revise Dusa client API

  #16 opened 5 months ago by robsimmons
  0

• Conditional #demand

  #17 opened 5 months ago by robsimmons
  0

• Create lower-level client that gives access to the abstract machine state

  #15 opened 5 months ago by robsimmons
  0

• List notation for sequences

  #13 opened 5 months ago by robsimmons
  0