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.02Jan18Dec29Nov2827171514930Oct251615108618Aug1716156432120Jul7Jun431May2825134329Apr27262423181096432117Mar11815Feb617Jan3128Dec181211104328Nov26252322211513974226Oct24232218171085129Sep2723201611103Aug11Jul987626Jun211716765432130May29282722algo: new random (non)deterministic FA generatordata: fix (Epsilon) MISNFA -> ExtendedNFAcppcheck: pass by value to join two function overloadscppcheck: add const to a constant parametercppcheck: use any_of instead of a raw loopcppcheck: direct use of conditioncppcheck: add more explicit constructorscppcheck: fix shadowingcppcheck: refactor Register classcppcheck: add const qualificationcppcheck: use any_of, all_of, or none_ofcppcheck: add explicit to constructorsabstraction: fix more cppcheck issuesstd: slightly improve callback_iteratorbuild: fix some static analysis errorsbuild: suppress libraries from cppcheck static analysisabstraction: fix some cppcheck issuesalgo: add epsilon loop test to PDARun testalgo: redesign NPDTA runalgo: add implementation of NPDA runalgo: simplify run of DPDAalgo: extract the top down grammar to automaton algo to separate filedata: add DPDA to NPDA user conversion constructoralgo: fix bottom up grammar to automaton conversionalgo: Fix IsLanguageEmpty return valueCI: Announce static analysis tool versionUpdate CI images pathsimprove one of an optimization of unbounded regexpdisable formal regexp string parserUpdate README to reflect current stateFix issue 204 - incorrect deallocationalgo: fixes in automata union algoalgo: cleanup automata unionalgo: improved undistinguishable states algocmake: Fix determining git versionadd throw catching testtests: fix the nonworking reader testquickfix string parse EpsilonNFAvariants of quantum leap string searchingQuantumLeapQuantumLeapadd more quantum leap variant and freq table computation