Skip to content
Snippets Groups Projects
  1. Apr 02, 2021
  2. Apr 01, 2021
  3. Mar 25, 2021
  4. Mar 19, 2021
  5. Mar 12, 2021
  6. Mar 08, 2021
  7. Jan 30, 2021
  8. Jan 02, 2021
  9. Nov 28, 2020
    • Jan Trávníček's avatar
      algo: redesign NPDTA run · 6256b0a7
      Jan Trávníček authored
      I redesigned the algorithm to make it similar to NPDA run implementation, most
      importantly to handle cycles, also not even the very basic test that I
      introduced didn't pass.
      
      Additionaly, the graphStructuredStacks used to track the pushdown store and output were
      incorrectly parametrized with InputSymbolType instead of PushdownStoreSymbolType
      and OutputSymbolType.
      6256b0a7
    • Jan Trávníček's avatar
      data: add DPDA to NPDA user conversion constructor · 039d0418
      Jan Trávníček authored
      Also add getTransition from state and transition to state to NPDA.
      039d0418
  10. Aug 17, 2020
  11. Aug 16, 2020
  12. Aug 15, 2020
  13. Aug 03, 2020
Loading