HigherOrderCO/HVM

Issues

• hvm-c segfaults with some programs

  #309 opened 5 months ago by developedby
  6

• hvm-c sometimes stalls

  #299 opened 6 months ago by developedby
  1

• hvm-cu hangs when going OoM

  #308 opened 6 months ago by developedby
  1

• Benchmarks & Test Suite

  #318 opened 5 months ago by enricozb
  2

• CUDA not available or Failed to Launch Kernels (error code invalid argument)

  #283 opened 6 months ago by kings177
  15

• Bitonic Sort on fails on CUDA with (error code an illegal memory access was encountered)

  #314 opened 6 months ago by developedby
  6

• 32/64 bit Numerics

  #319 opened 6 months ago by enricozb
  3

• Request: support for 32/64 bit integers

  #298 opened 6 months ago by kings177
  1

• HVM Install issue, erroring on Linux

  #291 opened 6 months ago by BUTTER-BEAR
  19

• Failed to launch kernels (error code invalid argument)

  #293 opened 6 months ago by MehmetMHY
  3

• HVM install issue on Windows 11

  #292 opened 6 months ago by Ryalith
  1

• Function names longer than 32 bytes don't work

  #303 opened 6 months ago by CatsAreFluffy
  1

• Threads are busy-waiting in sequential programs in hvm-c

  #321 opened 6 months ago by developedby
  4

• Error reading result from hvm. Output

  #310 opened 6 months ago by SAKSoomro
  2

• unsafe use of unsafe throughout the project

  #247 opened 6 months ago by ear7h
  1

• Code with HVM.log hangs

  #251 opened 6 months ago by crides
  5

• Abmigious Interpretation of 0 pointer?

  #250 opened 6 months ago by roconnor
  1

• Thoughts about supercompilation and optimal reduction

  #261 opened 6 months ago by hirrolot
  0

• tools for visualizing and plotting interaction net graphs?

  #316 opened 6 months ago by anandijain
  4

• HVM panics when the input has the number 0.0

  #285 opened 6 months ago by developedby
  0

• Formally Verified Implementation

  #320 opened 6 months ago by enricozb
  0

• hvm-c doesn't error when cloning non-affine global references

  #306 opened 6 months ago by developedby
  0

• For HVM related Issues, please Report them on the HVM repository.

  #302 opened 6 months ago by saikumarakula
  1

• If compiling Python is possible then what about Javascript ?

  #288 opened 6 months ago by dejang
  2

• Inaccurate categorisation of bubble sort in README.md

  #265 opened 9 months ago by Vi-Kitten
  2

• Comparison to Lunatic

  #258 opened 6 months ago by ShalokShalom
  3

• Rule flattening fails in some cases

  #254 opened 6 months ago by developedby
  2

• Race condition in `VisitQueue::pop`

  #246 opened 6 months ago by Boscop
  0

• Unnecessary unsafe in `new_atomic_u64_array`

  #245 opened 6 months ago by Boscop
  1

• Race condition at non-atomic store in `alloc_body`

  #244 opened 6 months ago by Boscop
  0

• Haskell Bit Multiplication

  #235 opened 6 months ago by jduey
  1

• fixed-point combinator hangs when using more than one thread

  #232 opened 6 months ago by nivkner
  1

• Explanation in more simple terms

  #224 opened 6 months ago by Dimev
  8

• Async IO?

  #222 opened 6 months ago by mgubi
  1

• Add more eval API options

  #214 opened 6 months ago by developedby
  4

• List of builtin modules and functions?

  #211 opened 6 months ago by frehberg
  1

• Using HVM as transformation engine for Proc-Macros?

  #209 opened 6 months ago by frehberg
  1

• Windows supported?

  #280 opened 6 months ago by pema99
  1

• Incorrect statement in HOW.md

  #248 opened 6 months ago by kazimuth
  1

• Cargo warning: output filename collision

  #260 opened 6 months ago by JSorngard
  1

• whitepaper link dead

  #271 opened 6 months ago by renxida
  1

• B

  #268 opened 6 months ago by moteb757
  1

• TOIOFPL link aims at a book about category theory

  #264 opened 9 months ago by kozross
  5

• use fixed size nodes in `Heap`

  #241 opened a year ago by nivkner
  0

• https://kindelia.org appears to be offline -- is this on purpose?

  #257 opened a year ago by johnnyutahh
  2

• Benchmark for parallel prefix sums.

  #234 opened 2 years ago by modulovalue
  0

• Build error due to atomic API change

  #233 opened 2 years ago by Victor-Savu
  1

• Compiling hvm v1.0.3 - error[E0635]: unknown feature `atomic_mut_ptr`

  #221 opened 2 years ago by verbus
  1

• Make `Runtime` fields public?

  #194 opened 2 years ago by zicklag
  2

• New Error ->error[E0599]: no method named `as_mut_ptr` found for struct `AtomicU64` in the current scope

  #212 opened 2 years ago by verbus
  2