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.013Nov974226Oct24232218171085129Sep2723201611103Aug11Jul987626Jun211716765432130May2928272220181615131210628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jan302926allow NFA to be minimized by equivalence classestest implementation forward and backward bisimulation FSMredesign undistinguishable states computationbackward bisimulation and forward bisimulation by definitionredesign distinguishable to undistinguishable states relation conversionequivalence relation to equivalence induced partitioningredesign minimize by equivalence partitioningreduce includes in LibraryLoaderconstruction algos for some AAG automatasome more determinisation tweakssimplify local closure computationsimplify variant extensionsome readline interface tuningredesign readline interface classesmore of cli char sequence redesignDisable THAT measure test (we all know what test i am talking about)automaton::simplify::Total: No op for FSM with total transition function (Closes #177)LatexConverter for finite automata and RRG/CFG (Closes #172).Algo: CFG alternation/concatenation/iteration (#171)Fix NFA total()GlushkovIndexate: Fix function parameter evaluation order (closes #176)update documentationfix some more static assert issuessome more cppcheck issuesfix some more cppcheck issuesfix some cppcheck issuesproper register unregister scheme in file type registraionoverride equal_range in ext setcast int to charupdate user docCMake: Support for providing snapshot versions manuallyRemove obsolete CD scripts.gitlab-ci.ymlMove release jobs to separate repositoryrefactor aql executable, redesign -f, c, and -i flagsunify cli parser call in CliTestsimplify parser implementationtestdev-tp-mp-borde…dev-tp-mp-borderarray-one-indexedTree MP: Use quadratic BA computationTree BA: adapt to definition in paper