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.026Mar251912118731Jan30159218Dec29Nov2827171514930Oct251615108618Aug1716156432120Jul7Jun431May2825134329Apr27262423181096432117Mar11815Feb617Jan3128Dec181211104328Nov26252322211513974226Oct24232218171085129Sep2723201611103Aug11Jul987626Jun2117clang-tidy: suppress statistics outputalgo: fix random nfa algoclang-tidy: introduce named constant to nfa generatorclang-tidy: empty vs size == 0 or > 0xml: fix narrowing conversion in xmlApiaux: introduce a named constant to DotConverterdata: redesign automaton::Shiftclang-tidy: underlying type of MeasurementsFormat is longclang-tidy: use switch and reorder branches to avoid repeated branchescli: fix infinite recursion in getGlobalScopecli: drop const from upper environment referenceclang-tidy: replace use of c_strclang-tidy: name constantsclang-tidy: NOLINT on really arbitrary numberclang-tidy: push_back -> emplace_backclang-tidy: NOLINT repeated breaking branchclang-tidy: split declarationsclang-tidy: introduce named constantclang-tidy: join namespace specifierscli: split some command to header and implementationclang-tidy: collapse same switch casescommon: remove not needed casts add missing virtual destructorsabstraction: limit type qualifiers interfacecli: use proper type qualifiers interfaceclang-tidy: add const resference to a parameterclang-tidy: don't call virtual function in a constructorbuild: warn about old style c castsalgo: static_cast -1 to representation of index one before in linearized treesalgo: remove not needed castalgo: avoid casts in first variable in tree pattern searchingalgo: static_cast result of std::distance to size_tgraph_algo: remove not needed castdata: use static_cast in char to int conversiondata: use static_cast from SparseBoolVector to vector<bool>std: use static cast instead of c casts in teststests: use static cast in timeout executortests: use c++ casts in undefined behavior testmeasure: use static cast in placement new within sealth allocatoralgo: remove not needed cast from ApproximateCoversComputationalgo: simplify ApproximateCoversComputation