Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • QuantumLeap
  • ZAutomata-rebase
  • backup-jt
  • clang-tidy-fixes
  • compileTimeTypeRetrievalTest
  • conversions-tests-wip
  • dejmeto1-dp-fta2rte
  • dev-jt
  • dev-tp
  • dev-tp-mp-borderarray-one-indexed
  • dev-tp2
  • dp-doupajak-fta2rteEquations-v2
  • experimental
  • experimentalToSinglePopPDA
  • issue-132-seed
  • libc++
  • libc++-17
  • master default protected
  • merge-jt
  • merge-tp
  • BP-shushiri
  • DP-doupajak
  • esf2018-doc
  • v0.0.0 protected
  • v0.0.1 protected
  • BP-uhlikja2
  • DP-travnja3
  • BP_capekto4
  • BP_cvachmic
  • BP-parmajan
  • BP_shatrale
  • DP_plachste
  • DP-peckatom
  • BP-brozjan5
  • BP-doupajak
  • BP-vozabluk
  • BP-kocicma3
  • BP-cervera3
  • BP-roscadav2
  • BP-plachste
40 results
Created with Raphaël 2.2.023Aug222119111096532131Jul29282726232221201918108754223Jun222016141331May3029282725242322201918151413765432130Apr29282726211918151413121110987642131Mar30292423222120181716141211965432129Feb282523222019181716151413121110975432130Jan29262514931Dec1919Nov1817151412117654330Oct292827262524232221201614131110964229Sep28272423222120181611430Aug282726make Automata XML parsing templatedmake automata compose helper templatedmake use of to_string functionreinvent to_string and from_stringadd more types to comparecontinue with templating DFAmake OneTapeDTM templated + minimal needed changesclasses for initial, final, fail state labelsmake wrapper base more safeand the restcontinue with alib2algoand in string composingremove automaton::State in favour of label::Label from datamake the reference command part of parallel threaduse better multithreading in shell testsbackground sub-process limiteradd nonlinear tree pattern automaton random testsaccess for nonlinear tree pattern automaton algoimplementation of nonlinear tree pattern automaton construction algorithmallow specification of fail state in automata runadd another dispatch algorithmadditional example of nonlinear patternsome more label and state creation helperssingle nonlinear variable param of random generator of nonlinear ranked patternspair set accessfix detection of predefined tests for nonlinear patternsfix one of the dispatch algorithmsfix header guards and parameter infoenable translating of exceptions hex addresses to readable file:line formatRTE: Remove obsolete commentsGlushkovRTE: Simplify subMap processing.RTE: Constant alphabet shall now be known as Subst. alphabetRTE: adapt to new tree structuresRTE: GlushkovRTE rewritten and simplifiedRegexps: Rename indexate to indexRTE: Compute min. alphabet bugRTE: Examples updateRTE: Remove commented parts with UnboundedRTE methodsRTE: Split RTE symbols into substitution ones and non-substitution onesremove move causing unspecified behaviour