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.022Oct1920Sep1916123May2215829Apr2827252019181615141311828Mar20626Feb25232221151311109753130Jan29282726131210231Dec2623201354327Nov26252322212031Oct271523Sep2014Aug20Jul1786323Jun28May1118Apr17161432126Mar251912118731Jan30algo: Fix template type specificationabstraction: honor the outer value specs when using itxml: Resolve libxml2 API deprecationalgo: BeginToEndIndex and SJT for PrefixBarTreemerge-tpmerge-tpcli: allow to quit on first exceptionapkg: fix debian:sid packagingapkg: fix archlinux buildapkg: remove EOLed ubuntu builds, add ubuntu22.10ci: temporary fix for docker in docker buildswipdev-tpdev-tpwip za2pda[nomerge] algo: hide some unnecessary stuff behing UTPMZ compile definition[nomerge] UTPMZ benchmarking preprocessor definition to change datastructure of ZAutomatonalgo: naive construction of tree factor oracledata: clarify exception messageci: merge test phase with build phasealgo: iterative automaton run on AFDZA over PrefixBarTreealgo: register automaton::run::Result for ArcFactored Deterministic ZAutomaton and PrefixBarTreedata: check for total transition function in deterministic ZAutomatonalgo: add ExactSubtreeAutomaton overload constructing a NFTAaux: register LatexConverter with more frequently used grammarsaux: change LatexConverter grammar output to use arrayaux: escape curly braces in LatexConverterdocker: bump alpine versionabstraction: honor the outer value specs when using itmerge-jtmerge-jtapkg: package for ubuntu 22.04tests: add string parsing tests for MIS(E)?NFAtidy: use traits_type to perform all char <-> int caststidy: use traits_type to perform all char <-> int castsclang-tidy-fixesclang-tidy-fixestidy: ignore magic numbers in fixed sample grid and graph generatorstidy: fix clang-tidy issues in tclaptidy: temporarily disable readability-simplify-boolean-exprtidy: temporarily disable readability-qualified-automeasurement: fix some static analysis issuesclang-tidy: temporarily disable concat namespacesclang-tidy: allow integer and pointer conditionstidy: temporarily disable noisiest testscli: allow undeclaring functions and proceduresabstraction: other base type abstraction testsabstraction: collapse types with unknown subtype with compatible ones