advancedresearch/avalog issues and pull requests

#177 - Published 0.7.2

Pull Request - State: closed - Opened by bvssvni 9 months ago

#176 - Allow empty arguments to application

Pull Request - State: closed - Opened by bvssvni 9 months ago

#175 - Can't parse application with empty arguments

Issue - State: closed - Opened by bvssvni 9 months ago
Labels: bug

#174 - Fixed parsing bug

Pull Request - State: closed - Opened by bvssvni 9 months ago

#173 - Can't add spaces in strings

Issue - State: closed - Opened by bvssvni 9 months ago
Labels: bug

#172 - Fixed edge case

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#171 - Published 0.7.0

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#170 - Fixed bug in parser, added `IsVar` trait

Pull Request - State: closed - Opened by bvssvni almost 3 years ago

#169 - Add `IsVar` trait instead of ambiguous `Into<Expr<Self>>` for `Symbol`

Issue - State: closed - Opened by bvssvni almost 3 years ago
Labels: medium

#168 - Published 0.6.0

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#167 - Added support for custom symbol types

Pull Request - State: closed - Opened by bvssvni about 3 years ago

#166 - Add support for custom symbol types

Issue - State: closed - Opened by bvssvni about 3 years ago
Labels: medium

#165 - Add tree syntax

Issue - State: open - Opened by bvssvni about 3 years ago - 1 comment
Labels: discussion, draft

#164 - Add namespaces

Issue - State: open - Opened by bvssvni about 3 years ago - 2 comments
Labels: discussion, draft

#163 - Added `(Y, Y) :- (X, Y).`

Pull Request - State: closed - Opened by bvssvni over 3 years ago

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

Issue - State: open - Opened by bvssvni over 3 years ago
Labels: easy

#161 - Fixed ambiguity `amb_rel(fa, z, s'(z))` in non-terminating rules

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#160 - Added core axiom

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#159 - Use quality instead of equality

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#158 - Published 0.5.2

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#157 - Fixed negative equality in rules

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#156 - Fixed transitivity of implication

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#155 - Added formalization of PSI

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#154 - Published 0.5.1

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#153 - Make accelerator reuse last used rule index

Pull Request - State: closed - Opened by bvssvni over 3 years ago

#152 - Make accelerator reuse last used rule index

Issue - State: closed - Opened by bvssvni over 3 years ago
Labels: medium

#151 - Published 0.5.0

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#150 - Separate variables and symbols in AST

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#149 - Added `Expr::Var`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#148 - Fixed bug in `bind`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#147 - Fixed bug in accelerator

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#146 - Updated piston_meta

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#145 - Published 0.4.3

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#144 - Handle case in inequality rule

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#143 - Fixed ambiguity bug

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#142 - Create avalog_state.txt

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#141 - Ambiguity bug

Issue - State: closed - Opened by bvssvni almost 4 years ago
Labels: bug

#140 - Auto reloading when file changes

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#139 - Handle case in inequality rule

Issue - State: closed - Opened by bvssvni almost 4 years ago
Labels: easy

#138 - Equality rule design

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#137 - Remove dead-ended half-evaluated rules when reducing proofs

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#136 - Dual operator design

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#135 - Fixed role lift case

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#134 - Handle role lift case

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#133 - Handle role lift case

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#132 - Handle role lift case

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#131 - Add support for time dimensions

Issue - State: open - Opened by bvssvni over 4 years ago - 2 comments
Labels: discussion, draft

#130 - Added link to summary of Avatar Extensions

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#129 - Removed double `not'`s

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#128 - Handle role lift for `RoleOf`

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#127 - Added "help list"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#126 - Added "help eval"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#125 - Add "help list"

Issue - State: closed - Opened by bvssvni over 4 years ago - 1 comment
Labels: medium

#124 - Add "help eval"

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: medium

#123 - Added "copy" to unit tests

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#122 - Lift "is" into "has"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#121 - Use irregular nodes in GraphViz export

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#120 - Added a missing case in `apply`

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#119 - Add state machine knowledge to `Accelerator`

Issue - State: open - Opened by bvssvni over 4 years ago
Labels: discussion, draft

#118 - Reuse index of sub-expressions as accelerator

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#117 - Reuse index of sub-expressions as accelerator

Issue - State: closed - Opened by bvssvni over 4 years ago - 1 comment
Labels: hard

#116 - Updated to monotonic_solver 0.5.0

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#115 - Fixed bug in graph exporter

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#114 - More control over GraphViz features

Issue - State: open - Opened by bvssvni over 4 years ago
Labels: discussion, draft

#113 - Add numbers

Issue - State: open - Opened by bvssvni over 4 years ago
Labels: discussion, draft

#112 - Add strings

Issue - State: open - Opened by bvssvni over 4 years ago
Labels: discussion, draft

#111 - Separate variables and symbols in the AST

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: medium

#110 - Report when graph exporter runs into maximum size limit

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: bug

#109 - Published 0.4.1

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#108 - Added "help graph"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#107 - Added path semantics source example

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#106 - Added GraphViz support

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#105 - Published 0.4.0

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#104 - Added `? <pat>` to REPL

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#103 - Added commuting squares examples

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#102 - Export generated pairs to GraphViz

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: hard

#101 - Add `? <pat>` to REPL

Issue - State: closed - Opened by bvssvni over 4 years ago - 1 comment
Labels: hard

#100 - Added more unit tests

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#99 - Published 0.3.4

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#98 - Setting up unit tests

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#97 - Removed test stub

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#96 - Added "help inequality"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#95 - Added graph interpretation to "help pairs"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#94 - Improved performance of ambiguity checking

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#93 - Fixed REPL version

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#92 - Generate ambiguity as soon as possible

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#91 - Index subexpressions

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#90 - Index subexpressions to improve worst-case performance

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: medium

#89 - Use contravariant 1-avatars

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#88 - Change Category Theory formalization to use contravariant 1-avatars

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: easy

#87 - Add "help inequality"

Issue - State: closed - Opened by bvssvni over 4 years ago - 1 comment
Labels: easy

#86 - Fixed typo

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#85 - Removed redundant `uniq id`

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#84 - Added Category Theory source example

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#83 - Added Inner case in substitution

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#82 - Fixed bug in ambiguity checker

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#81 - Added case to inequality check

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#80 - Support `uniq <p>` in rules

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#79 - Fixed "inverse => negative"

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#78 - Fixed bug in ambiguous relation detection

Pull Request - State: closed - Opened by bvssvni over 4 years ago

GitHub / advancedresearch/avalog issues and pull requests