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.012Sep111087654331Aug302928262524151413121110987531Jul181716151413121110876532130Jun292824222120161514131211932129May2423201817151412119865432130Apr292827252422211917161514131211109763231Mar30292726252322211816151413129876432128Feb272625242322212016algo: rg2re. aconversion rewrite finished. (quality may be questioned though)Doxygen for alib2data updatedata: ExtendedNFA: It is sufficient for transition alphabet to be only subset of automaton's alphabetalgo: re2rrg: GlushkovCleanupalgo: BrzozowskiRRG: Enable optimizations, fix valgrind's complaintalgo: post-merge fixMerge branch 'alib2' of gitlab.fit.cvut.cz:travnja3/automata-library into alib2algo: StateEliminationDPDA and SinglePopDPDA automataremove testing print from testfix segmentation fault.cleanupMerge branch 'aaccept' into alib2FAtoRRG and FAtoLRG algorithmsaepsilon and epsilonRemove algorithm apiFinished EpsilonClosure RegExpEpsilontests: Enable more conversion testsalgo: fa2rg: fa2rrg: Use epsilon generation signalgo: re2rg: BrzozowskiEpsilonNFA to RE by algebraic methodDerivations produce DFAfix segfault when reallocating vector optimize all Regexpsfix segfault and FA -> RE -> FA (algeb, thomps)aoptimize.regexp -> atrim2speedup equationsMerge branch 'alib2' of gitlab.fit.cvut.cz:travnja3/automata-library into alib2algo: conversion tests part1 + aconversions2 buildalgo: rg2rg interfacealgo: allow to call epsilon even on automaton::NFAvisitor in glushkovcleanup old codealgo: brzozowski: wrong regexp to callalgo: brzozowski, thompsonalgo: regexp: namespace for deriv and integralalgo: conv: fa2rg, rg2faregexp optimizecleanup codec++11 std::movesimplify equation creating