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.07Nov4226Oct24232218171085129Sep2723201611103Aug11Jul987626Jun211716765432130May2928272220181615131210628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jan30292625242322211918161598Remove 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 paperDebian packages dependency version on core (fixes #162)Set proper image for ubuntu disco (fixes #168)Register print map<object, set<object>>Introduce BUILD_TYPE cmake option, fix #164Add 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 algos