daisytuner / sdfglib

65%

main: 61%

LAST BUILD ON BRANCH cnf-equality-folding

branch: cnf-equality-folding

CHANGE BRANCH

x

Reset

• cnf-equality-folding
• Codecov-public
• FixMissingDataflowgraph
• LibNodeOffloading
• Localized-memrange
• LoopAnalysisRework
• LoopCount
• Map2CUDA
• Mapnode
• NewDebugInfo
• OMPInterfaceFix
• OffloadOpaque
• ScheduleTypeExtension
• StructuredLoops
• ThreadBarrier
• TypeInferenceAsAnalysis
• add-get-history-to-recorder
• add-optimizer
• alias-lib
• alignment
• alignments
• allocations
• arg-capture
• arg-capture-compile-warnings
• arg-capture-once
• arg-capture-rename
• arg-capture-things
• array-alignment
• assumptions2
• auto-parallelization
• auto-tuner
• blas-dot-return
• block-fusion
• block-fusion-fix
• build-tests-option
• builder-api
• byte-references
• capture-instrumentation
• cblas
• ci-dahlia
• clang-format
• cmake-exports
• cmake-fix
• cmake-install
• cnf
• cnf-fix
• codegen-allocations
• codegen-externals-symbolic
• codegen-fixes
• codegen-inst
• condition-elimination
• condition-elimination-improvement
• condition-elimination-transitions
• condition-propagation
• conditional-sdfgs
• conn-names
• container-names
• contiguous-mem
• copy
• cuda-instrumentation
• cuda-rtl-tests
• data-dependencies
• data-dependency-analysis-loops
• dataflow-ranges
• dataparallelism-pipeline
• dbg-functions
• dbg-info
• dbg-infos
• dead-cfg-returns
• dead-cfg-undef-return
• dead-data-flow
• debug-print-macro
• delinearization
• derefence-dst-aggregate
• deserialization
• docc-path-discovery
• dot-node
• drop-stdlib-unsupported
• dropout
• dropout-node
• einsum-plugin
• element-ids
• enums
• errors
• exception-handling
• exceptions
• expand-nodes
• expression-disjointness
• extend-clean-up
• extended-expression-equivalence
• extensible-enums
• externals-codegen
• features-file
• fix-arg-capturing
• fix-captureargs-for-3-dim
• fix-captureargs-for-3dims
• fix-einsum-plugin
• fix-io-capturing-install
• fix-rtl-for-c
• fix-sdfg-builder-parent
• floating-point-types
• formatting
• function-types
• function-types-codegen
• gemm
• gemm/lib-node
• graceful-merge-dbg
• hash-boost
• i128
• improve-autotuner
• improve-tests
• infer-types-conditions
• infty
• initial
• instrument-aggregated
• instrument-finalize
• instrumentation
• instrumentation-plan-cuda
• integer-division
• interstate-edge-validation
• intrinsics
• introduce-nightlies
• is-disjoint
• isl-output
• json-serializer
• kernels
• leftover-logs
• lib-node-fixes
• lib-nodes-plugins
• libnodes-serialization
• library-node-subsets
• library-node-symbols
• linkage-types
• loop-distribute
• loop-normalization-rotation
• loop-types
• loops
• loops-duplicate-indvar-warning
• lost-tests
• main
• make-loopindex-stable
• map-intervall-analysis
• map-redefinition
• map-schedules
• maps
• math
• matmul
• mem-access-range-tests
• memlet-validation
• memlets-tasklets
• metadata_node
• missing-containers
• missing-sources
• ml-nodes
• multi-exit-loops
• multi-polynomials
• norm-layers
• normalization
• normalization-loops
• opaque-pointers
• papi-eventsets
• parallelization-fixes
• pointee-type-fix
• pointer-parens
• pow-codegen
• raw-memory-address
• reduce-ml
• reenable-recorder-tests
• release-builds
• remove-debug-output
• reserved_keywords
• returns
• revert-210-NewDebugInfo
• revert-213-write-loopnest_index-to-instrumentation
• revert-222-OMPInterfaceFix
• revert-70-einsum-plugin
• robust-replace
• rtl
• rtl-aggregation
• rtl-header-export
• rtl-multi-counters
• rtl-test
• sanitizers
• schedule-type
• schedules
• scopes3
• sdfg-metadata
• sdfg-validation
• segfaults
• serializer-fix
• simplify-exception
• simplify-tiling-transformation
• sparse-integer-sets
• stability-isl
• stabilization
• stabilize-replay
• stable-clone
• stdlib-nodes
• storage_types
• store-function-name
• string-enums
• structured-control-flow
• structured_control_flow
• subgraph-embeddings
• symbol-aliases
• symbol-evolution
• symbol-evolution-last-value
• symbol-evolution-prev-alias
• symbol-evolution2
• symbol-promotion
• symbol-propagation
• target-type-metadata
• tenstorrent/trivial
• test-formatting
• tighest-bounds
• tighter-bounds
• towards-transfer-tuning
• transfer-tuning
• transformations
• transitions-bug
• type-rec-hotfix
• type-size-util
• typo-target-type
• unstructured-control-flow
• users-analysis
• users-order-container
• variadic-functions
• verify
• visualizer
• visualizer-crash
• visualizer-fix
• visualizer-subset-tolerance
• visualizer/memlet-ranges
• werror
• while-loops
• wreturn-types
• write-loopnest_index-to-instrumentation

Build # 15680609871

Build Type

Pull #80

github

Committed by web-flow

Commit Message

Merge 167dff6fd into 838eda599

Pull Request Pull Request #80: Fix: fold equality-based inversions into CNF of boolean expressions

Run Details

17 of 26 new or added lines in 1 file covered. (65.38%)

8020 of 12360 relevant lines covered (64.89%)

122.45 hits per line