Skip to content
Snippets Groups Projects
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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.012May10628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jan3029262524232221191816159830Dec211511865230Nov28272524232221191615141397654pseudocode - DFT idea (not ready for compilation)extern template in regexp and treesextern template class in automata and grammarsremove dependency on alib2xmlsome fixes in automata and grammar datatypessplit definition and declaration of relevant codefix MultiInitialState(Epsilon)NFAImplement changes due to new axiom findingsDP-doupajakDP-doupajakCI: Changes with new ubuntu 19.04Add forgotten axiom part 2Add forgotten axiomfix cppunit complaint in CharSequenceBaseremove not needed codesome more cppcheck fixesfix including of xml apifix some more cppcheck warningsaddress some cppcheck warningsaddress clang-tidy warning in alib2guiapply some cppcheck proposed changesmore simplifications of grammar properties algorithmsaddress some cppcheck reportsshorten reachable and useful states computation codeAdd integration tests to cli groupAdd missing simplification axiomfix clang tidy warningsclang-tidy enabled build by default in all-debugCI: Static analysis (clang-tidy, cppcheck)CI: Nightly deploy on master onlyAdd sorting unresolved states by depth to improve performanceAdd integration testsFix bug in ranked symbol distributivity axiomFix optimizations, optimize continuouslyFix and add simplification axiomsaql: ReadlineCompletion: Add introspect algorithms/datatypes and SET completion.Remove accidental double return callRename simplification axioms to be consistent with other implementationsUpdate FTA2RTE conversions and Unbounded RTE simplifications to work with latest master commitfix arbology test, part2add cast to SetOfObjectPairsfix arbology tests