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.020Mar181716141211965432129Feb282523222019181716151413121110975432130Jan29262514931Dec1919Nov1817151412117654330Oct292827262524232221201614131110964229Sep28272423222120181611430Aug28272623221815141312109330Jul2927262523222120130Jun241817161413111098765432131May2827262524232221201918161512117532130Apr27252119181716151210987624Mar23222120159875432128Feb262119171614131125Jan2322212019181713121098548Dec32refactored automatic measurements, preparations for aggregation of resultsbasic processor outputworking basic filteringadd general alphabet class and testsformat codemeasurement processor basic outlinechanged provisioner namespace to measurementschanged semantics behind required substitution patternsimplified measurement provisioner xml structureadd RankedNonlinearPatternchanged RandomStringGenerator to allow bigger alphabets with integer symbolsMerge branch 'master' into bp_cervera3fix computation of border array for linear tree notationsNot broken by me, blame the formatter script!formattingRemove obsolete macrosfallback jobs number as 1output results in parallel runsfixed very sneaky FD_CLOEXEC behaviorwork in progressfixed proper deletion of temp files on errorprovisioner now uses shm files for all ioproper checking of fctnl error in fdstreammake tests run in parallelremove uneeded seeding of random generatorseparated provisioning to separate lib.so, prepared measurement processing binary stumpsmall fixed in xml parsingtook out unnecesarry dependence on alib2dataunified xml naming conventions, added xml parsing of provisioning resultsMerge branch 'master' into bp_cervera3expose substring creationformat codeimplement substring generationfixed memory frame memory propagation, introduced in_frame_high_watermark to memory frame, renamed some frame fields, fixed some text output issuessimplify binariesfixed cathing of errors in pipelinefixed not closing some fdsbasic but fancy provisioning reportingMerge branch 'master' into bp_cervera3more error handling