- Sep 30, 2020
-
-
Kia authored
-
- Sep 18, 2020
-
-
Kia authored
-
- Sep 17, 2020
- Sep 16, 2020
- Aug 25, 2020
- Aug 24, 2020
-
-
Kia authored
-
Kia authored
-
Kia authored
-
Kia authored
-
Kia authored
-
Kia authored
added stochastic test to ensure that the tree-equality check is working correctly; and apparently it can return equality when none exists, this is a bug we need to fix
-
Kia authored
-
Kia authored
add a quick-and-dirty special-casing for handling the start symbol in the derivation tree to avoid it spuriously appearing twice
-
Kia authored
limit how far we look into the serialized parse tree memory (in preparation for adding the "last address written" CSR/output to the gateware itself)
-
Kia authored
-
Kia authored
-
- Aug 23, 2020
-
-
Kia authored
Gprim has effects and we must respect this by scheduling the addition of X_ijk to the derivation tree *before* invoking Gprim! This fixes the order bug!
-
Kia authored
we are generating almost-correct trees. two issues remain: how to handle the starting term (rn our approach causes a weird duplicate) and also understand why we are getting anomalously permuted order within a level of the tree
-
- Aug 22, 2020
- Aug 20, 2020
-
-
Kia authored
-
- Aug 19, 2020