advancedresearch/avalog

Issues

• Can't parse application with empty arguments

  #175 opened 7 months ago by bvssvni
  0

• Can't add spaces in strings

  #173 opened 7 months ago by bvssvni
  0

• Add `IsVar` trait instead of ambiguous `Into<Expr<Self>>` for `Symbol`

  #169 opened 3 years ago by bvssvni
  0

• Add support for custom symbol types

  #166 opened 3 years ago by bvssvni
  0

• Add namespaces

  #164 opened 3 years ago by bvssvni
  2

• Add tree syntax

  #165 opened 3 years ago by bvssvni
  1

• Move `(tr, inf)` to the front in PSI rule about natural numbers

  #162 opened 3 years ago by bvssvni
  0

• Make accelerator reuse last used rule index

  #152 opened 3 years ago by bvssvni
  0

• Separate variables and symbols in the AST

  #111 opened 4 years ago by bvssvni
  0

• Handle case in inequality rule

  #139 opened 4 years ago by bvssvni
  0

• Ambiguity bug

  #141 opened 4 years ago by bvssvni
  0

• Auto reloading when file changes

  #140 opened 4 years ago by bvssvni
  0

• Equality rule design

  #138 opened 4 years ago by bvssvni
  0

• Dual operator design

  #136 opened 4 years ago by bvssvni
  0

• Remove dead-ended half-evaluated rules when reducing proofs

  #137 opened 4 years ago by bvssvni
  0

• Add support for time dimensions

  #131 opened 4 years ago by bvssvni
  2

• Add support for `;` (or) in rules

  #23 opened 4 years ago by bvssvni
  1

• Add "help list"

  #125 opened 4 years ago by bvssvni
  1

• Add "help eval"

  #124 opened 4 years ago by bvssvni
  0

• Lift "is" into "has"

  #66 opened 4 years ago by bvssvni
  2

• Add state machine knowledge to `Accelerator`

  #119 opened 4 years ago by bvssvni
  0

• Reuse index of sub-expressions as accelerator

  #117 opened 4 years ago by bvssvni
  1

• Report when graph exporter runs into maximum size limit

  #110 opened 4 years ago by bvssvni
  0

• More control over GraphViz features

  #114 opened 4 years ago by bvssvni
  0

• Add numbers

  #113 opened 4 years ago by bvssvni
  0

• Add strings

  #112 opened 4 years ago by bvssvni
  0

• Experience from use of bounded expansion

  #69 opened 4 years ago by bvssvni
  1

• Export generated pairs to GraphViz

  #102 opened 4 years ago by bvssvni
  0

• Add `? <pat>` to REPL

  #101 opened 4 years ago by bvssvni
  1

• Add "help inequality"

  #87 opened 4 years ago by bvssvni
  1

• Generate ambiguity summary as soon any ambiguity relation appears

  #51 opened 4 years ago by bvssvni
  0

• Improve performance of ambiguity checking

  #50 opened 4 years ago by bvssvni
  0

• Index subexpressions to improve worst-case performance

  #90 opened 4 years ago by bvssvni
  0

• Change Category Theory formalization to use contravariant 1-avatars

  #88 opened 4 years ago by bvssvni
  0

• Terminate infinite rules when detecting involution

  #68 opened 4 years ago by bvssvni
  5

• Negative equality check in rules

  #70 opened 4 years ago by bvssvni
  0

• Experience from countries vs capitals

  #61 opened 4 years ago by bvssvni
  0

• Add role block in parsing

  #58 opened 4 years ago by bvssvni
  0

• Allow `amb` in rules

  #54 opened 4 years ago by bvssvni
  0

• Modeling of functions

  #53 opened 4 years ago by bvssvni
  0

• Relevance logic and paraconsistent logic

  #52 opened 4 years ago by bvssvni
  3

• Interpretation of application as having a unique role

  #39 opened 4 years ago by bvssvni
  1

• Diagonalize rules

  #36 opened 4 years ago by bvssvni
  1

• Negative relations

  #35 opened 4 years ago by bvssvni
  0