Issues

• Make OpenCL support and tests optional

  enhancementgood first issue
  rise-lang/shine#242 · Filter by author Bastacyclop opened on Jan 22, 2025
  1

• [FEATURE REQUEST] Split e-graph & equality saturation into its own module

  enhancement
  rise-lang/shine#241 · Filter by author tribbloid opened on Sep 16, 2024
  2

• [FEATURE REQUEST] Grammar for the "internal representation" and other tips and tricks for targetting RISE

  enhancement
  rise-lang/shine#239 · Filter by author Mikolaj opened on Mar 13, 2024

• Support hoisting local memory outside of global parallelism

  enhancement
  rise-lang/shine#235 · Filter by author Bastacyclop opened on May 2, 2022

• Update function casting syntax after move to Scala 3

  rise-lang/shine#234 · Filter by author michel-steuwer opened on Apr 27, 2022

• Some Lift programs do not have valid access annotations in Rise

  enhancement
  rise-lang/shine#228 · Filter by author Bastacyclop opened on Feb 17, 2022

• Records of variable length arrays do not generate valid code

  buggenerated code
  rise-lang/shine#227 · Filter by author Bastacyclop opened on Feb 17, 2022

• Low-level Rise sanity check

  enhancement
  rise-lang/shine#226 · Filter by author Bastacyclop opened on Feb 17, 2022
  1

• Precision of dependency analysis for barrier insertion

  enhancementgenerated code
  rise-lang/shine#225 · Filter by author Bastacyclop opened on Feb 17, 2022

• Ensuring that barriers are encountered by all work-items

  buggenerated code
  rise-lang/shine#224 · Filter by author Bastacyclop opened on Feb 17, 2022

• Use of opencl local address space instead of private in nvidia mm version

  bugprio:low
  rise-lang/shine#222 · Filter by author johanneslenfers opened on Feb 16, 2022
  4

• Auto tuning executor uses global best variable

  bugprio:low
  rise-lang/shine#221 · Filter by author johanneslenfers opened on Feb 15, 2022

• GEMV N reduction loop should not be unrolled

  bugprio:low
  rise-lang/shine#213 · Filter by author Bastacyclop opened on Sep 6, 2021

• Unnecessary end-of-loop barriers

  enhancementprio:low
  rise-lang/shine#212 · Filter by author Bastacyclop opened on Sep 6, 2021
  1

• Distributed arrays implementation bug

  bugprio:high
  rise-lang/shine#211 · Filter by author Bastacyclop opened on Sep 6, 2021

• Memory re-use for nested reductions

  enhancementprio:high
  rise-lang/shine#210 · Filter by author Bastacyclop opened on Sep 6, 2021

• Non-blocking clEnqueueWriteBuffer does not work in the runtime

  bug
  rise-lang/shine#204 · Filter by author Bastacyclop opened on Aug 20, 2021
  6

• [BUG] runWithTimeout does not kill the running thread, only returns to host program

  bug
  rise-lang/shine#193 · Filter by author johanneslenfers opened on Jun 30, 2021

• Implement capture-avoiding substitution in DPIA?

  buginternals
  rise-lang/shine#191 · Filter by author Bastacyclop opened on Jun 21, 2021

• Directly apply the substitutions to constraints

  rise-lang/shine#180 · Filter by author umazalakain opened on May 31, 2021

• Add support for closing with dependent lambdas on types

  rise-lang/shine#179 · Filter by author umazalakain opened on May 28, 2021

• Investigate whether substitutions for type inference should be scoped

  internals
  rise-lang/shine#178 · Filter by author umazalakain opened on May 28, 2021
  

• Solutions should not substitute within opaques

  bug
  rise-lang/shine#177 · Filter by author umazalakain opened on May 28, 2021
  

• Revisit Literal, Natural, etc.

  enhancement
  rise-lang/shine#172 · Filter by author michel-steuwer opened on May 10, 2021

• Rise's capture avoiding substitution is bugged

  bug
  rise-lang/shine#164 · Filter by author Bastacyclop opened on Apr 27, 2021