Commits · 04870eaa98c27b4c395b243629d89e0bd990d7c4 · Kia / Hammer FPGA backend

Nov 09, 2020
- working on making it a 2-d table like previously used in the actual converter source code · 04870eaa
  Kia authored 4 years ago
  
  04870eaa
- spike rule and state numbers · a79f583b
  Kia authored 4 years ago
  
  a79f583b
- rule number & state number normalization working · 8ca8a590
  Kia authored 4 years ago
  
  8ca8a590
Nov 07, 2020
- do similar renormalization with rule numbers · f129c41d
  Kia authored 4 years ago
  
  f129c41d
- intentional non-monotonicity in rule numbers · c888a058
  Kia authored 4 years ago
  
  c888a058
- introduce intentional non-monotonicity in order to verify that our... · acf27337
  Kia authored 4 years ago
  acf27337
- now with explicit reduces · 5f9a3c6d
  Kia authored 4 years ago
  
  5f9a3c6d
- renormalization just in case · 4631c308
  Kia authored 4 years ago
  
  4631c308
- renormalization just in case · 31e783a5
  Kia authored 4 years ago
  
  31e783a5
- reorder · 04bda137
  Kia authored 4 years ago
  
  04bda137
Nov 05, 2020
- make it work with %define lr.default-reduction accepting · 959d0e97
  Kia authored 4 years ago
  
  959d0e97
- everything converted to integers except "shift" and "goto" and of course the "default reductions" · f8df6962
  Kia authored 4 years ago
  
  f8df6962
- work on converting the disparate set of symbol/rule strings and indices into a unified format · 39c31d41
  Kia authored 4 years ago
  
  39c31d41
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