geisserf/lemon-dd

Issues

• Uniform treatment of partial state in node evaluation

  #12 opened 6 years ago
  1

• Rename Polynomial

  #11 opened 6 years ago
  5

• Allow complex conditional effects

  #10 opened 6 years ago
  0

• Simplification of subtraction expressions is wrong

  #9 opened 6 years ago
  0

• quasi-reduction fails when ordering and domains are not defined over the same variables

  #8 opened 6 years ago
  0

• Exploit additive property of operators

  #7 opened 6 years ago
  1

• Refactor operators, parser and interpreters

  #6 opened 6 years ago
  1

• Implement garbage collection

  #5 opened 6 years ago
  1

• Optimize memory consumption

  #4 opened 6 years ago
  5

• Include contributors and license in the README

  #3 opened 6 years ago
  5

• Include wiki pages and issues from the previous gitlab repo

  #2 opened 6 years ago
  4

• Provide lemon as a library for external projects

  #1 opened 6 years ago
  0