Skip to content
Snippets Groups Projects
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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.018Oct171085129Sep2723201611103Aug11Jul987626Jun211716765432130May2928272220181615131210628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jan3029262524232221191816159830Dec2115Add websiteCI: update to changes in alt-builder imagecleanup root, move some scripts, deprecate formattersTree Border Array - quadratic time solutionAllow printing and comparing of vector<ulong>cap symbol rank to 2 in testsfix FormalRegExp Simplifyfix unfortunate condition inverseuse Outgoing epsilon remover algo in testsIntegration tests: Slight changes in timeout reportingCatch2: Update to 2.9.2CD: Arch deployment: Add grep package needed by repo-addPackaging: Arch: Remove tclap from dependenciesfix #160 add missing match option in aql parseruse anonymous function in tuple printmake tree automaton totaladd forgotten reference in Nyldon factoring algoremove duplicate code from make total automaton algoremove duplicate code in single initial state epsilon transitionremove duplicate code in single initial state algoCI/CD: Package & deploy: Debian, Arch, Ubuntu, Docker, sourcesupdate readme and docremove old fileCI: Run build: and test: on ALTBUILDER machinesimplify unreachable states remover codeuse ext::excludes instead of intersection computationunify repeated code in reachable and useful state computation algoscode shortening of EpsilonClosure classsimplify distinguishable states computation for DFTAuse string view in string trimtesttest_KMPtest_KMPimplement semicolon separation of commandsadd string reverse algoadd Nyldon factoring algorithmfix Lyndon factoring documentationsafe some symbol comparisons in tree-KM matchingwip #147 disable linewraps in catch2tiny improvementsremove not needed includesfix run of RHDPDA