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.022Nov211513974226Oct24232218171085129Sep2723201611103Aug11Jul987626Jun211716765432130May2928272220181615131210628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jandrop parsing negative numbers in lexeroperators Lexing redesignredesign some abstraction inner constructsextend lexer with some needed symbolsuse optional ref in environment nestingtake out result interpretation for cli from environmentimprove lexer tokens printingmake lexer tokens comparablesample aql filefixup load and unload statementsCMake: Doxygen targetCMake: case insensitive BUILD_TYPECI: Disable doc job for a whileDoxygen templateallow NFA to be minimized by equivalence classestest implementation forward and backward bisimulation FSMredesign undistinguishable states computationbackward bisimulation and forward bisimulation by definitionredesign distinguishable to undistinguishable states relation conversionequivalence relation to equivalence induced partitioningredesign minimize by equivalence partitioningreduce includes in LibraryLoaderconstruction algos for some AAG automatasome more determinisation tweakssimplify local closure computationsimplify variant extensionsome readline interface tuningredesign readline interface classesmore of cli char sequence redesignDisable THAT measure test (we all know what test i am talking about)automaton::simplify::Total: No op for FSM with total transition function (Closes #177)LatexConverter for finite automata and RRG/CFG (Closes #172).Algo: CFG alternation/concatenation/iteration (#171)Fix NFA total()GlushkovIndexate: Fix function parameter evaluation order (closes #176)update documentationfix some more static assert issuessome more cppcheck issuesfix some more cppcheck issuesfix some cppcheck issues