Commits · 3adb690dea4193e895ec25c638ddf0f6c5b833be · Kia / Hammer FPGA backend

Nov 02, 2020
- print out extracted data; all seems good; we'll work on converting it into a... · 3adb690d
  Kia authored 4 years ago
  3adb690d
- ingest reductions and gotos/transitions/shifts · 9ca25ac1
  Kia authored 4 years ago
  
  9ca25ac1
- convert to integers now · caea49b7
  Kia authored 4 years ago
  
  caea49b7
- more work on the automaton segment · 4158b329
  Kia authored 4 years ago
  
  4158b329
- output intermediate .dot file · 155ba5bd
  Kia authored 4 years ago
  
  155ba5bd
Nov 01, 2020
- rule extraction works with xpath now, doing automaton work rn · cead4106
  Kia authored 4 years ago
  
  cead4106
- try xpath, which is the right way of doing this, as i have learned · e93da69e
  Kia authored 4 years ago
  
  e93da69e
Oct 31, 2020
- work on rule extraction · 0c63c81d
  Kia authored 4 years ago
  
  0c63c81d
Oct 29, 2020
- rule extraction works · f962c4ef
  Kia authored 4 years ago
  
  f962c4ef
- working extraction of {non,}terminals · b22c4125
  Kia authored 4 years ago
  
  b22c4125
Oct 28, 2020
- more work · c6fc1161
  Kia authored 4 years ago
  
  c6fc1161
- work on interface with bison in order to get IELR(1)-generated tables for... · 7bc6a04b
  Kia authored 4 years ago
  7bc6a04b
Oct 16, 2020
- final ancillary table · eb98a15b
  Kia authored 4 years ago
  
  eb98a15b
- work on the easier parametrization tables · 7e87727c
  Kia authored 4 years ago
  
  7e87727c
Oct 15, 2020
- do duplicate-finding · 292499e7
  Kia authored 4 years ago
  
  292499e7
Oct 13, 2020
- spacing · 1385dbe8
  Kia authored 4 years ago
  
  1385dbe8
- reduce rule checking works (at least for our expression grammar) · 83349d74
  Kia authored 4 years ago
  
  83349d74
- reverse because there's a reverse/flip somewhere · 726c4ee9
  Kia authored 4 years ago
  
  726c4ee9
- compare stack states with reduce rules · 2d7ff777
  Kia authored 4 years ago
  
  2d7ff777
- match reduce rules to where they are invoked · 7673a7d3
  Kia authored 4 years ago
  
  7673a7d3
- wrote two of the consistency checks · c209d117
  Kia authored 4 years ago
  
  c209d117
- reorder · 692e6d9d
  Kia authored 4 years ago
  
  692e6d9d
- do the fixpoint detection, and it works · 35426423
  Kia authored 4 years ago
  
  35426423
Oct 12, 2020
- unify function test · 08c27403
  Kia authored 4 years ago
  
  08c27403
- first draft of unification function · d2aec69f
  Kia authored 4 years ago
  
  d2aec69f
- actually generates correct results (minus the fact that the BOTTOMOFSTACK... · 8b39d321
  Kia authored 4 years ago
  8b39d321
- first attempt at knowledge propagation over edges · 63bd2cfb
  Kia authored 4 years ago
  
  63bd2cfb
Oct 11, 2020
- add the stack state description in a tuple · e0fb3cb1
  Kia authored 4 years ago
  
  e0fb3cb1
- base case · bec93313
  Kia authored 4 years ago
  
  bec93313
- continue description of planned algorithm · 3d25b40e
  Kia authored 4 years ago
  
  3d25b40e
- maybe this is the correct semantics, who knows; we'll just implement and test it · 5775335b
  Kia authored 4 years ago
  
  5775335b
- write down encoding scheme for stack states · 40ba5fc0
  Kia authored 4 years ago
  
  40ba5fc0
Oct 10, 2020
- make it a directed multigraph · 40f9192f
  Kia authored 4 years ago
  
  40f9192f
- whoa, it seems to work, time to write code to dance through the directed graph... · 04b7a64d
  Kia authored 4 years ago
  04b7a64d
- start converting the LR-tables into a graph · 6ba59f48
  Kia authored 4 years ago
  
  6ba59f48
Oct 07, 2020
- goto table entered and checked · 7469918f
  Kia authored 4 years ago
  
  7469918f
- add a blank line for entries where there's no action for the given nonterminal · c37ca3cc
  Kia authored 4 years ago
  c37ca3cc
- print vertical columns · 022e9559
  Kia authored 4 years ago
  
  022e9559
- entered, gonna check that we didnt typo · 64c97975
  Kia authored 4 years ago
  
  64c97975
- enter the table · dede921f
  Kia authored 4 years ago
  
  dede921f