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.02Apr131Mar30292423222120181716141211965432129Feb282523222019181716151413121110975432130Jan29262514931Dec1919Nov1817151412117654330Oct292827262524232221201614131110964229Sep28272423222120181611430Aug28272623221815141312109330Jul2927262523222120130Jun241817161413111098765432131May2827262524232221201918161512117532130Apr27252119181716151210987624Mar23222120159875432128Feb262119171614131125Jan2322suffix automaton construction fix, backward dawg matching implementedsomewhat slow backward oracle matchingimplemented linear time construction of suffix automatonnaive (maybe temporary) construction of suffix automatonadd naive subtree repeats computation algoimplemented factor oracle constructionfixed BNDM commentssomewhat cleaner implementation of BNDM using bitsetimplemented backward nondeterministic dawg matching algofrom static alphabet to templated alphabetfix alphabet templatemeasure more casesRevert "enable lto, debug with O1, release with Ofast"Revert "test revert Ofast"test revert Ofastenable lto, debug with O1, release with OfastRHDPDA run transition searchmore granularity in BMH algorighm measurementsadd measure typesgeneral purpose ameasure.xml examplemerge fixes #2better use default initializerfix mergeMerge remote-tracking branch 'origin/bp_cervera3'remove visitor completelyallow mltiple pops from temporary statesNPDA4 fixfix determinisation of PDAsimplemented data views for all engines and attributesNPDA5unified naming conventionsbasic html outputunified coding style, stylistic changesadded FIXMEs for aggregation in framesimplemented aliases for commands and inputsfix prev commitExamples: Two NPDAs for which the determinization takes too long timebasic csv outputworking aggregation, aggregating only time for nowrefactored automatic measurements, preparations for aggregation of results