Commits · c92dbd657db1342558e02c8758f30cdf6501ec3e · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Feb 01, 2016
- refactor iterators to foreach · c92dbd65
  Jan Trávníček authored 9 years ago
  
  c92dbd65
Jan 30, 2016
- Minimize: Label groups by lexicographically smallest state label · 57fa05dc
  Tomáš Pecka authored 9 years ago
  
  57fa05dc
- Minimize: verbose pretty print · 15892f06
  Tomáš Pecka authored 9 years ago
  
  15892f06
Nov 11, 2015
- some verbose output · 1dc97bdc
  Jan Trávníček authored 9 years ago
  
  1dc97bdc
Nov 06, 2015
- clang3.7 build fix · 5f2301a9
  Tomáš Pecka authored 9 years ago
  
  5f2301a9
Nov 03, 2015
- patch up determinisation of RHDPDA · bd19d4ae
  Jan Trávníček authored 9 years ago
  
  bd19d4ae
Oct 29, 2015
- optimize determinisation with dsubset iterator · 23ee6378
  Jan Trávníček authored 9 years ago
  
  23ee6378
Oct 28, 2015
- format code · 193b51d3
  Jan Trávníček authored 9 years ago
  
  193b51d3
- tweak NFA, DFA, IDNPDA determinisation · 1879523c
  Jan Trávníček authored 9 years ago
  
  1879523c
Oct 27, 2015
- return pushdown store from computation · 35e1e5ec
  Jan Trávníček authored 9 years ago
  
  35e1e5ec
Oct 26, 2015
- format code · 7b2e311b
  Jan Trávníček authored 9 years ago
  
  7b2e311b
- reversed push forward pop in PDA <> RHDPDA · 431cfe27
  Jan Trávníček authored 9 years ago
  
  431cfe27
- verbose: print states pushdownStore and transition · b48cfb11
  Jan Trávníček authored 9 years ago
  
  b48cfb11
Oct 25, 2015
- - bottomOfThePushdownStore symbol from stackAlph. · 9712e98c
  Jan Trávníček authored 9 years ago
  
  9712e98c
- run RHDPDA · f3a90454
  Jan Trávníček authored 9 years ago
  
  f3a90454
- castting accepts a function, use in RHDPDA <> PDA · 83b7ca0b
  Jan Trávníček authored 9 years ago
  
  83b7ca0b
Oct 23, 2015
- run vpa + tests · f3bce893
  Jan Trávníček authored 9 years ago
  
  f3bce893
Oct 22, 2015
- code union for run DPDA · 7443817d
  Jan Trávníček authored 9 years ago
  
  7443817d
- format code · 094f761d
  Jan Trávníček authored 9 years ago
  
  094f761d
- unify some automata run code · 40957866
  Jan Trávníček authored 9 years ago
  
  40957866
Oct 09, 2015
- - pass alphabet to bcs and automata compute algos · 38af1164
  Jan Trávníček authored 9 years ago
  
  38af1164
Sep 22, 2015
- Fix DPDA run (missing initial pda symbol, variable shadowing) · c6c5f877
  Tomáš Pecka authored 9 years ago
  
  c6c5f877
Aug 15, 2015
- addapt to drop visitor capablity · 08a1b593
  Jan Trávníček authored 9 years ago
  
  08a1b593
- continue with grammar conversions · 6cd3217f
  Jan Trávníček authored 9 years ago
  
  6cd3217f
Aug 14, 2015
- fix return types · 3e851719
  Jan Trávníček authored 9 years ago
  
  3e851719
- continue refactoring with automata transformations · f11ec866
  Jan Trávníček authored 9 years ago
  
  f11ec866
- continue with automata execution · 2ad04ba6
  Jan Trávníček authored 9 years ago
  
  2ad04ba6
Aug 13, 2015
- continue refactoring · 3f5b80eb
  Jan Trávníček authored 9 years ago
  
  3f5b80eb
- continue with automata properties · 179fc7ab
  Jan Trávníček authored 9 years ago
  
  179fc7ab
- continue with determinize · eb7b5fa0
  Jan Trávníček authored 9 years ago
  
  eb7b5fa0
Aug 09, 2015
- fix function registration · 267c27ce
  Jan Trávníček authored 9 years ago
  
  267c27ce
- continue refactoring · c5de8f62
  Jan Trávníček authored 9 years ago
  
  c5de8f62
Jun 08, 2015
- Fix Issue #61 use random_device · 11e31f9f
  Jan Trávníček authored 9 years ago
  
  11e31f9f
Jun 02, 2015
- compaction revised · 4388418d
  Jan Trávníček authored 9 years ago
  
  4388418d
May 24, 2015
- simplify includes, attach regexp alphabet only · 9564acd9
  Jan Trávníček authored 9 years ago
  
  9564acd9
May 21, 2015
- disable enable randomizedAlphabet · 42f24ecc
  Jan Trávníček authored 9 years ago
  
  42f24ecc
May 20, 2015
- rank is unsigned integer · e35af02c
  Jan Trávníček authored 9 years ago
  
  e35af02c
May 16, 2015
- refactor trees · 1106589d
  Jan Trávníček authored 9 years ago
  
  1106589d
May 12, 2015
- make alib2algo compilant with llvm · a495ae8c
  Jan Trávníček authored 9 years ago
  
  a495ae8c
May 05, 2015
- fix exception text · 6377ad70
  Jan Trávníček authored 9 years ago
  
  6377ad70

Admin message