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.029May28272220181615131210628Apr2625242322212018171611103230Mar2827262322211914131210632128Feb27252423222120191815141211108765432131Jan3029262524232221191816159830Dec211511865230Nov28272524232221191615141397654Replace NULL with nullptrRemove redundant virtual qualifier if function is marked overrideclang-tidy configuse multimap in RHDPDA and VPAuse multimap in NPDTA automatonuse multimap in NPDAsome more enable_if reductionsfix use of move where forward should have beenreduce number of enable_ifsCI: Specify threads for build/test later, in case of runner with different cpu numberCI: Run static tests soonerCI: Use our build/test image for some jobsImplement changes due to new axiom findingsdp-doupajak-fta…dp-doupajak-fta2rteEquations-v2Add forgotten axiom part 2Add forgotten axiomAdd missing simplification axiomAdd sorting unresolved states by depth to improve performanceAdd integration testsFix bug in ranked symbol distributivity axiomFix optimizations, optimize continuouslyFix and add simplification axiomsRename simplification axioms to be consistent with other implementationsUpdate FTA2RTE conversions and Unbounded RTE simplifications to work with latest master commitCI: Build with ninjaCMake: Use LLD linker if availableCI: Fix accidentaly dropped clang buildremove unused SizeOf and AlignOf modificationsuse specialisation instead of enable_if in visitorsimplify tuple extensionsremove not needed all_of from tupleremove unused call_on_nth on tupleInputDrivenNPDA uses multimap in transitionremove not needed includes in variantaddress cppcheck complaintuse none_of instead of a loop in deterministic LL1 parse tableCI: Redesign ci config. Redesign Docker nightly buildsaddress some more cppcheck complaintsfix cppcheck complaintcleanupredesign variant to use standard version