Skip to content
This repository has been archived by the owner on Mar 10, 2020. It is now read-only.

Issues: GaloisInc/HaLVM

37 Open 64 Closed
37 Open 64 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

repos.halvm.org seems to be down again
#131 opened Apr 16, 2019 by protoben
4
Wiki link broken
#128 opened Apr 27, 2018 by chrisvelevitch
1
Rewrite HaLVM3 base library to stop using 'unsafe' so many places bug
#121 opened Jun 26, 2017 by acw HaLVM 3.0
Problems using Ubuntu PPA for Build bug
#120 opened Jun 5, 2017 by acw HaLVM 2.5
Implement POSIX FD abstraction task
#116 opened Apr 19, 2017 by acw HaLVM 3.0
Post platform cleanup bug
#115 opened Apr 14, 2017 by dmjio
7 tasks
HaLVM 2.5
Port of the HaLVM3 to KVM task
#114 opened Apr 2, 2017 by acw HaLVM 3.0
Port of the HaLVM3 to Xen task
#113 opened Apr 2, 2017 by acw HaLVM 3.0
Port of HaLVM3 to the Linux kernel task
#112 opened Apr 2, 2017 by acw HaLVM 3.0
Determine underlying system interface task
#111 opened Apr 2, 2017 by acw HaLVM 3.0
Implement generic Linux upcalls task
#110 opened Apr 2, 2017 by acw HaLVM 3.0
Implement POSIX network redirects task
#109 opened Apr 2, 2017 by acw HaLVM 3.0
Implement POSIX file API redirects task
#108 opened Apr 2, 2017 by acw HaLVM 3.0
HaLVM GHC does not list TemplateHaskell in the supported extensions bug
#107 opened Mar 22, 2017 by ntc2 HaLVM 2.5
Shouldn't need ghc and ghc-pkg on path to use halvm-cabal haddock? bug
#104 opened Mar 16, 2017 by ntc2 HaLVM 2.5
3
EINVAL bug
#98 opened Feb 23, 2017 by dmjio HaLVM 2.5
Use mini-os as the Xen layer requirement
#95 opened Jan 1, 2017 by izgzhen HaLVM 3.0
1
CI support
#93 opened Dec 21, 2016 by izgzhen HaLVM Infrastructure Refactor
3
cabal new-build support enhancement
#89 opened Dec 8, 2016 by acw HaLVM 2.5
1
Track dependencies of Examples enhancement
#85 opened Dec 3, 2016 by izgzhen HaLVM 2.5
Fix -M allocation enhancement
#80 opened Sep 27, 2016 by acw HaLVM 2.5
1
Get rid of allocPage enhancement
#79 opened Sep 27, 2016 by acw HaLVM 2.5
1
Build Machine Information Leaks Into Binaries bug
#74 opened Jun 14, 2016 by acw HaLVM 2.5
The output of halvm-cabal sandbox hc-pkg list does not include locally installed packages bug
#73 opened Jan 29, 2016 by ntc2 HaLVM 2.5
2
The Threaded Runtime is Broken!!!1! bug requirement
#72 opened Oct 16, 2015 by acw HaLVM 3.0
ProTip! Follow long discussions with comments:>50.