Commits · 74211876ac6a6424372464dab90f6ff331d87669 · Kaushik Kulkarni / loopy · GitLab

Nov 03, 2020
- docs: justifies what we do when condition not expressible as ISL set · 74211876
  Kaushik Kulkarni authored Nov 03, 2020
  
  74211876
- move _condition_to_set to loopy.symbolic · 9fb45d26
  Kaushik Kulkarni authored Nov 03, 2020
  
  9fb45d26
Oct 30, 2020
- add insn's dependency value args to the domain's space · 5f7595ac
  Kaushik Kulkarni authored Oct 30, 2020
  
  5f7595ac
- Add test where half of logical and predicate is data-dependent (and will fail)... · 228a5ba6
  Nick Curtis authored Sep 13, 2018
  228a5ba6
- more complicated example w/ parameters, previously broken w/ space conflict · 70f4980b
  Nick Curtis authored Sep 13, 2018
  
  70f4980b
- fixes typo in _condition_to_set docs · f3f50d07
  Kaushik Kulkarni authored Oct 30, 2020
  
  f3f50d07
- infer insn predicates while performing check_bounds · f0e9708b
  Kaushik Kulkarni authored Oct 30, 2020
  
  f0e9708b
Oct 21, 2020
- Merge pull request #157 from inducer/teach_acm_conditional_exprs · cfdd4f4b
  Andreas Klöckner authored Oct 21, 2020
  cfdd4f4b
Oct 20, 2020
- formatting: flake8 · 5c554856
  Kaushik Kulkarni authored Oct 19, 2020
  
  5c554856
- test_access_check_with_conditionals: test if we are able to deduce "neq 0" booleans · 0baaaf49
  Kaushik Kulkarni authored Oct 19, 2020
  
  0baaaf49
- isl_set_from_expr: handle expressions like "expr1 if (i) else expr2" · ed672ffa
  Kaushik Kulkarni authored Oct 19, 2020
  
  ed672ffa
Oct 19, 2020
- pass domain recursively inside the mapper (instead of it being an attribute) · b959f3bb
  Kaushik Kulkarni authored Oct 19, 2020
  
  b959f3bb
- AffineConditionToISLSetMapper always returns an islpy.Set · 10370337
  Kaushik Kulkarni authored Oct 19, 2020
  
  10370337
- default assumptions=None in loopy.symbolic.get_access_range · 8ef9e870
  Kaushik Kulkarni authored Oct 19, 2020
  
  8ef9e870
Oct 17, 2020
- minor fixes · 23f2cd5a
  Kaushik Kulkarni authored Oct 17, 2020
  
  23f2cd5a
- check_bounds: don't handle data-dependent conditions · 09ab4dfa
  Kaushik Kulkarni authored Oct 17, 2020
  
  09ab4dfa
- add test: test_access_check_with_conditionals · f65ea74b
  Kaushik Kulkarni authored Oct 17, 2020
  
  f65ea74b
- define _AccessCheckMapper.map_if · d92e151b
  Kaushik Kulkarni authored Oct 17, 2020
  
  d92e151b
- AffineConditionToBasicSet -> AffineConditionToISLSet · 37bddc8f
  Kaushik Kulkarni authored Oct 17, 2020
  
  37bddc8f
- implement AffineConditionToBasicSet.map_logical_not · d57374b3
  Kaushik Kulkarni authored Oct 17, 2020
  
  d57374b3
- define isl_set_from_expr · ba98a623
  Kaushik Kulkarni authored Oct 17, 2020
  
  ba98a623
Oct 12, 2020
- Merge pull request #154 from inducer/subst_into_pwqpoly · 3742be4f
  Andreas Klöckner authored Oct 12, 2020
  3742be4f
- make the pwqpoly checker more robust · b3b3456f
  Kaushik Kulkarni authored Oct 12, 2020
  
  b3b3456f
- flake8: remove bad quotes · b4e7341a
  Kaushik Kulkarni authored Oct 12, 2020
  
  b4e7341a
Oct 11, 2020
- qpoly_to_expr: handle div param types · 623c6f2f
  Kaushik Kulkarni authored Oct 11, 2020
  
  623c6f2f
- move qpolynomial_from_expr to symbolic.py; docs · 41289d13
  Kaushik Kulkarni authored Oct 11, 2020
  
  41289d13
- Refactor subst_into_pwqpolynomial to bring out get_param_subst_domain · f1551024
  Andreas Klöckner authored May 31, 2019
  
  f1551024
- Make sure subst_into_pwqpolynomial produces PwQPolynomials that have an output... · c09920cf
  Andreas Klöckner authored May 30, 2019
  c09920cf
- Add qpolynomial_to_expr · fd06f837
  Andreas Klöckner authored May 27, 2019
  
  fd06f837
- Add subst_into_pwqpolynomial · 733f7621
  Andreas Klöckner authored May 27, 2019
  
  733f7621
Oct 09, 2020
- Merge pull request #152 from inducer/fix_global_var_names · a1e89f16
  Andreas Klöckner authored Oct 08, 2020
  a1e89f16
- array args should lie in the global address space to be considered as global arg · 92a50120
  Kaushik Kulkarni authored Oct 08, 2020
  
  92a50120
Oct 07, 2020
- Merge pull request #149 from inducer/set_op_cache_manager_fixes · 9e7b697f
  Andreas Klöckner authored Oct 07, 2020
  9e7b697f
Oct 02, 2020
- get rid of redundant op_name in SetOperationCacheManager.op · 44e9d880
  Kaushik Kulkarni authored Oct 02, 2020
  
  44e9d880
- conform to hashability requirement of SetOperationCacheManager.op() · 308883fa
  Kaushik Kulkarni authored Oct 02, 2020
  
  308883fa
- change the hash key of SetOperationCacheManager · ac4f28a1
  Kaushik Kulkarni authored Oct 02, 2020
  
  ac4f28a1
- set->set_: avoid using python keywords · 73b60188
  Kaushik Kulkarni authored Oct 02, 2020
  
  73b60188
- Merge branch 'master' into set_op_cache_manager_fixes · 6a46eceb
  Andreas Klöckner authored Oct 02, 2020
  
  6a46eceb
- Merge pull request #150 from inducer/use_isls_dim_max · 844d1ab7
  Andreas Klöckner authored Oct 02, 2020
  844d1ab7
- avoid tweaks to _isl_basic_set_dim_{max|min} · cc7590e9
  Kaushik Kulkarni authored Oct 02, 2020
  
  cc7590e9