Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • start-rac
  • 498-poor-syntax-errors
  • cert_hashed_holes
  • infer-bool
  • master default protected
  • cert_split
  • fun-lits-noptree
  • ce_and_result
  • filtering-values-counterexample
  • start-rac-abstractly
  • fix_mpz_model
  • why3execute-strings
  • 493_turn_lemma_into_function
  • 27-sequence-literals
  • bugfix/v1.3
  • cfg_improvements
  • shortener
  • seq_literals_prototype
  • bobot/test_for_clone
  • dune
  • 1.3.1
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.1
  • 1.1.0
  • 1.0.0
  • 0.88.3
  • 0.88.2
  • 0.88.1
  • inferloop_before_merge
  • 0.88.0
  • 0.87.3
  • 0.87.2
  • 0.87.1
  • 0.87.0
  • 0.86.3
  • 0.86.2
  • 0.86.1
  • 0.86
40 results
Forked from Why3 / why3
Source project has a limited visibility.
user avatar
[mlir][sparse] refine optimization, add few more test cases
Aart Bik authored 
Adds tests for full sum reduction (tensors summed up into scalars)
and the well-known sampled-dense-dense-matrix-product. Refines
the optimizations rules slightly to handle the summation better.

Reviewed By: penpornk

Differential Revision: https://reviews.llvm.org/D91818
af425505
History
user avatar af425505
History
Name Last commit Last update
..