Discussions

• 1 You must be logged in to vote

  💬

  TKET2 vs TKET

  ACE07-Sev started Sep 4, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Convexity checking for sets of rewrites.

  aborgna-q started Nov 14, 2023 in General

  

  

  

  

  2
• 1 You must be logged in to vote

  💬

  Memory management in TASO

  badger-optimiser TASO optimization RAM Memory management

  lmondada started Oct 3, 2023 in General · Closed

  

  

  3
• 1 You must be logged in to vote

  💬

  Multithreaded optimisation in TASO

  badger-optimiser TASO optimization Multithreading

  lmondada started Oct 3, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  💬

  TASO termination criteria

  perf Performance issue badger-optimiser TASO optimization

  lmondada started Oct 3, 2023 in General

  

  

  

  

  6