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.025Apr2019181615141311828Mar20626Feb25232221151311109753130Jan29282726131210231Dec2623201354327Nov26252322212031Oct271523Sep2014Aug20Jul1786323Jun28May1118Apr17161432126Mar251912118731Jan30159218Dec29Nov2827171514930Octabstraction: deduplicate code in type constructionabstraction: unify creation of subtype element in type abstractionaql: detect input redirection typecli: make prompt character correct on empty linesdevelop: add note on complication with variant if its content is normalizedtidy: avoid not needed copiestidy: silence clang-tidy about not needed copies in documentation setterstidy: match parameter name in declaration and definitionabstraction: cache the type constructed from template parameterapkg: build packages for f36ci: use local copies of docker imagesalgo: concatenate namespacesalgo: remove not needed overload from automata generatorscli: remove not needed experimental filesystem includetidy: use std array instead of c arrayalgo: size == 0 replaced with emptyabstraction: allow storage of common documentation of an algorithmabstraction: move documentation into registryalgo: Occurrences and Run for Z-Automata on PrefixBarTreealgo: construct AFNZA directly from ExactPatternMatchingAutomatonalgo: move alphabet into ExactPatternMatchingAutomatondata: change alphabet::Gap integral type representationdata: fix output formatting for tree patternsci: prolong the life of artifacts because of failing CIdata: fix static_asserts detecting unsupported instance types of alphabet and label typesalgo: add more movesstd: fix and and or of vector < bool >abstraction: remove not used method from type_detailsstr and xml: fix reporting of unregistered callbackabstraction: fix order of compatible_with in xml and strcli: allow string template argument in cliaux: add random number generator to CLIabstraction: fixup type abstraction of unsignedcontinuationmerge_rangesmerge_rangesdata: use ranges in transitions to statedata: use ranges in computation of transitions tostd: use ranges in rhdpda determinisaionstd: remove unused includestd: replace make_mover with ranges equivalentstd: replace make_mover with std::views::reverse