GaloisInc/HaLVM

Issues

• repos.halvm.org seems to be down again

  #131 opened 6 years ago by protoben
  4

• Fedora links in HACKING.md broken

  #129 opened 6 years ago by Lightyagami1
  0

• Wiki link broken

  #128 opened 7 years ago by chrisvelevitch
  1

• Build failure on Fedora Server 26

  #125 opened 7 years ago by aierl
  5

• repos.halvm.org appears to be down

  #123 opened 7 years ago by henrytill
  4

• Rewrite HaLVM3 base library to stop using 'unsafe' so many places

  #121 opened 8 years ago by acw
  0

• Problems using Ubuntu PPA for Build

  #120 opened 8 years ago by acw
  0

• Update WebServer example

  #87 opened 8 years ago by izgzhen
  2

• Linker fails on Ubuntu Xenial

  #119 opened 8 years ago by acw
  1

• Post platform cleanup

  #115 opened 8 years ago by dmjio
  0

• halvm-cabal install hmatrix fails

  #67 opened 9 years ago by burke
  1

• halvm-cabal sandbox problem

  #78 opened 8 years ago by acw
  1

• Haddock is broken in 2.4.0 release

  #118 opened 8 years ago by acw
  0

• Linux system call census

  #117 opened 8 years ago by acw
  2

• Determine underlying system interface

  #111 opened 8 years ago by acw
  0

• Implement POSIX FD abstraction

  #116 opened 8 years ago by acw
  0

• Port of the HaLVM3 to KVM

  #114 opened 8 years ago by acw
  0

• Port of the HaLVM3 to Xen

  #113 opened 8 years ago by acw
  0

• Port of HaLVM3 to the Linux kernel

  #112 opened 8 years ago by acw
  0

• Implement generic Linux upcalls

  #110 opened 8 years ago by acw
  0

• Implement POSIX network redirects

  #109 opened 8 years ago by acw
  0

• Implement POSIX file API redirects

  #108 opened 8 years ago by acw
  0

• Use mini-os as the Xen layer

  #95 opened 8 years ago by izgzhen
  1

• The Threaded Runtime is Broken!!!1!

  #72 opened 9 years ago by acw
  0

• Shouldn't need `ghc` and `ghc-pkg` on path to use `halvm-cabal haddock`?

  #104 opened 8 years ago by ntc2
  3

• The output of `halvm-cabal sandbox hc-pkg list` does not include locally installed packages

  #73 opened 9 years ago by ntc2
  2

• Build Machine Information Leaks Into Binaries

  #74 opened 9 years ago by acw
  0

• Add support for proper GMP detection in the HaLVM autoconf file

  #76 opened 8 years ago by acw
  3

• Get rid of allocPage

  #79 opened 8 years ago by acw
  1

• Fix -M allocation

  #80 opened 8 years ago by acw
  1

• Track dependencies of Examples

  #85 opened 8 years ago by izgzhen
  0

• cabal new-build support

  #89 opened 8 years ago by acw
  1

• CI support

  #93 opened 8 years ago by izgzhen
  3

• EINVAL

  #98 opened 8 years ago by dmjio
  0

• HaLVM GHC does not list TemplateHaskell in the supported extensions

  #107 opened 8 years ago by ntc2
  0

• Ditch `platform-ghc`, instead require correct software to be installed

  #94 opened 8 years ago by acw
  3

• Port HaLVM to GHC 8.0.1

  #82 opened 8 years ago by izgzhen
  10

• Add --halvm-version flag to halvm executables

  #71 opened 8 years ago by mhuesch
  1

• Nixify HaLVM

  #86 opened 8 years ago by dmjio
  6

• [dev-build] Use stack to manage the stage0 compiler etc.

  #88 opened 8 years ago by izgzhen
  3

• HACKING.md

  #81 opened 8 years ago by izgzhen
  1

• Can I run a HALVM unikernel from the Linux command line?

  #84 opened 8 years ago by crowdwave
  1

• WebServer unikernel shuts down after "Starting server on device ..."

  #77 opened 8 years ago by runeksvendsen
  9

• halvm-cabal + sandboxes?

  #63 opened 9 years ago by mwotton
  4

• Error: Transaction check error

  #75 opened 9 years ago by yemi
  4

• `make install` failed

  #66 opened 9 years ago by izgzhen
  1

• Build system broken if GHC 7.8.4 installed

  #70 opened 9 years ago by mhuesch
  3

• Api server in halvm

  #68 opened 9 years ago by ruslantalpa
  2

• Autoconf doesn't detect curl

  #69 opened 9 years ago by elliottt
  1

• The current halvm rpm-repo doesn't have repodata

  #65 opened 9 years ago by izgzhen
  2