advancedresearch avalog issues

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax

Apache License 2.0

66 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Published 0.7.2

#177 bvssvni closed 6 months ago
0
Allow empty arguments to application

#176 bvssvni closed 6 months ago
0
Can't parse application with empty arguments

#175 bvssvni closed 6 months ago
0
Fixed parsing bug

#174 bvssvni closed 6 months ago
0
Can't add spaces in strings

#173 bvssvni closed 6 months ago
0
Fixed edge case

#172 bvssvni closed 2 years ago
0
Published 0.7.0

#171 bvssvni closed 2 years ago
0
Fixed bug in parser, added `IsVar` trait

#170 bvssvni closed 2 years ago
0
Add `IsVar` trait instead of ambiguous `Into<Expr<Self>>` for `Symbol`

#169 bvssvni closed 2 years ago
0
Published 0.6.0

#168 bvssvni closed 2 years ago
0
Added support for custom symbol types

#167 bvssvni closed 2 years ago
0
Add support for custom symbol types

#166 bvssvni closed 2 years ago
0
Add tree syntax

#165 bvssvni opened 2 years ago
1
Add namespaces

#164 bvssvni opened 2 years ago
2
Added `(Y, Y) :- (X, Y).`

#163 bvssvni closed 3 years ago
0
Move `(tr, inf)` to the front in PSI rule about natural numbers

#162 bvssvni opened 3 years ago
0
Fixed ambiguity `amb_rel(fa, z, s'(z))` in non-terminating rules

#161 bvssvni closed 3 years ago
0
Added core axiom

#160 bvssvni closed 3 years ago
0
Use quality instead of equality

#159 bvssvni closed 3 years ago
0
Published 0.5.2

#158 bvssvni closed 3 years ago
0
Fixed negative equality in rules

#157 bvssvni closed 3 years ago
0
Fixed transitivity of implication

#156 bvssvni closed 3 years ago
0
Added formalization of PSI

#155 bvssvni closed 3 years ago
0
Published 0.5.1

#154 bvssvni closed 3 years ago
0
Make accelerator reuse last used rule index

#153 bvssvni closed 3 years ago
0
Make accelerator reuse last used rule index

#152 bvssvni closed 3 years ago
0
Published 0.5.0

#151 bvssvni closed 3 years ago
0
Separate variables and symbols in AST

#150 bvssvni closed 3 years ago
0
Added `Expr::Var`

#149 bvssvni closed 3 years ago
0
Fixed bug in `bind`

#148 bvssvni closed 3 years ago
0
Fixed bug in accelerator

#147 bvssvni closed 3 years ago
0
Updated piston_meta

#146 bvssvni closed 3 years ago
0
Published 0.4.3

#145 bvssvni closed 3 years ago
0
Handle case in inequality rule

#144 bvssvni closed 3 years ago
0
Fixed ambiguity bug

#143 bvssvni closed 3 years ago
0
Create avalog_state.txt

#142 bvssvni closed 3 years ago
0
Ambiguity bug

#141 bvssvni closed 3 years ago
0
Auto reloading when file changes

#140 bvssvni opened 3 years ago
0
Handle case in inequality rule

#139 bvssvni closed 3 years ago
0
Equality rule design

#138 bvssvni opened 3 years ago
0
Remove dead-ended half-evaluated rules when reducing proofs

#137 bvssvni opened 3 years ago
0
Dual operator design

#136 bvssvni opened 3 years ago
0
Fixed role lift case

#135 bvssvni closed 4 years ago
0
Handle role lift case

#134 bvssvni closed 4 years ago
0
Handle role lift case

#133 bvssvni closed 4 years ago
0
Handle role lift case

#132 bvssvni closed 4 years ago
0
Add support for time dimensions

#131 bvssvni opened 4 years ago
2
Added link to summary of Avatar Extensions

#130 bvssvni closed 4 years ago
0
Removed double `not'`s

#129 bvssvni closed 4 years ago
0
Handle role lift for `RoleOf`

#128 bvssvni closed 4 years ago
0