GaloisInc/HaLVM issues and pull requests

#100 - 2.4.0 Release

Pull Request - State: closed - Opened by dmjio almost 8 years ago - 3 comments

#99 - Point halvm-ghc to halvm branch

Pull Request - State: closed - Opened by dmjio almost 8 years ago

#98 - EINVAL

Issue - State: open - Opened by dmjio almost 8 years ago
Labels: bug

#97 - Set $@ if file path received, remove additional $LIB call, add --no-as-needed case

Pull Request - State: closed - Opened by dmjio almost 8 years ago

#96 - Removes necessity of curl

Pull Request - State: closed - Opened by dmjio almost 8 years ago

#95 - Use mini-os as the Xen layer

Issue - State: open - Opened by izgzhen about 8 years ago - 1 comment
Labels: requirement

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

Issue - State: closed - Opened by acw about 8 years ago - 3 comments

#93 - CI support

Issue - State: open - Opened by izgzhen about 8 years ago - 3 comments

#92 - Port HaLVM to GHC 8.0.1

Pull Request - State: closed - Opened by izgzhen about 8 years ago - 17 comments

#91 - [WIP] Update Makefile to stage1-only build

Pull Request - State: closed - Opened by izgzhen about 8 years ago - 3 comments

#90 - Improve HaLVM3 build system

Pull Request - State: closed - Opened by izgzhen about 8 years ago

#89 - cabal new-build support

Issue - State: open - Opened by acw about 8 years ago - 1 comment
Labels: enhancement

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

Issue - State: closed - Opened by izgzhen about 8 years ago - 3 comments

#87 - Update WebServer example

Issue - State: closed - Opened by izgzhen about 8 years ago - 2 comments
Labels: bug

#86 - Nixify HaLVM

Issue - State: closed - Opened by dmjio about 8 years ago - 6 comments

#85 - Track dependencies of Examples

Issue - State: open - Opened by izgzhen about 8 years ago
Labels: enhancement

#84 - Can I run a HALVM unikernel from the Linux command line?

Issue - State: closed - Opened by crowdwave about 8 years ago - 1 comment

#83 - Add HACKING.md

Pull Request - State: closed - Opened by izgzhen about 8 years ago - 25 comments

#82 - Port HaLVM to GHC 8.0.1

Issue - State: closed - Opened by izgzhen about 8 years ago - 10 comments

#81 - HACKING.md

Issue - State: closed - Opened by izgzhen about 8 years ago - 1 comment

#80 - Fix -M allocation

Issue - State: open - Opened by acw over 8 years ago - 1 comment
Labels: enhancement

#79 - Get rid of allocPage

Issue - State: open - Opened by acw over 8 years ago - 1 comment
Labels: enhancement

#78 - halvm-cabal sandbox problem

Issue - State: closed - Opened by acw over 8 years ago - 1 comment
Labels: bug

#77 - WebServer unikernel shuts down after "Starting server on device ..."

Issue - State: closed - Opened by runeksvendsen over 8 years ago - 9 comments

#76 - Add support for proper GMP detection in the HaLVM autoconf file

Issue - State: closed - Opened by acw over 8 years ago - 3 comments

#75 - Error: Transaction check error

Issue - State: closed - Opened by yemi over 8 years ago - 4 comments

#74 - Build Machine Information Leaks Into Binaries

Issue - State: open - Opened by acw over 8 years ago
Labels: bug

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

Issue - State: open - Opened by ntc2 almost 9 years ago - 2 comments
Labels: bug

#72 - The Threaded Runtime is Broken!!!1!

Issue - State: open - Opened by acw over 9 years ago
Labels: bug, requirement

#71 - Add --halvm-version flag to halvm executables

Issue - State: closed - Opened by mhuesch over 9 years ago - 1 comment

#70 - Build system broken if GHC 7.8.4 installed

Issue - State: closed - Opened by mhuesch over 9 years ago - 3 comments

#69 - Autoconf doesn't detect curl

Issue - State: closed - Opened by elliottt over 9 years ago - 1 comment

#68 - Api server in halvm

Issue - State: closed - Opened by ruslantalpa over 9 years ago - 2 comments

#67 - halvm-cabal install hmatrix fails

Issue - State: open - Opened by burke over 9 years ago - 1 comment
Labels: bug

#66 - `make install` failed

Issue - State: closed - Opened by izgzhen over 9 years ago - 1 comment

#65 - The current halvm rpm-repo doesn't have repodata

Issue - State: closed - Opened by izgzhen over 9 years ago - 2 comments

#64 - patches to build with latest HaNS

Pull Request - State: closed - Opened by mwotton over 9 years ago - 1 comment

#63 - halvm-cabal + sandboxes?

Issue - State: closed - Opened by mwotton over 9 years ago - 4 comments

#62 - GaloisInc/packages-old-locale: Repository not found

Issue - State: open - Opened by gracjan over 9 years ago - 2 comments

#61 - Workaround for Cabal sandbox bug

Pull Request - State: closed - Opened by thumphries over 9 years ago - 1 comment

#60 - Can't run LoopThreads

Issue - State: open - Opened by gracjan over 9 years ago - 2 comments

#59 - halvm-ghc-pkg recache: you don't have permission to modify this file

Issue - State: open - Opened by gracjan over 9 years ago - 2 comments
Labels: documentation

#58 - Add a --disable-profiling flag to the build.

Issue - State: open - Opened by acw over 9 years ago - 1 comment
Labels: enhancement

#57 - make doesn't produce halvm-ghc executable

Issue - State: closed - Opened by gracjan over 9 years ago - 4 comments

#56 - Successful make followed by make recompiles a lot and fails

Issue - State: closed - Opened by gracjan over 9 years ago - 4 comments

#55 - Is there a way to skip building stage1 compiler?

Issue - State: closed - Opened by gracjan over 9 years ago - 4 comments

#54 - happy-1.19.5 does not compile

Issue - State: closed - Opened by gracjan over 9 years ago - 10 comments

#53 - Cannot install happy because happy is required

Issue - State: closed - Opened by gracjan over 9 years ago - 2 comments

#52 - `xsGetPermissions` would throw error

Issue - State: closed - Opened by izgzhen over 9 years ago - 8 comments

#51 - Improve the examples of Halfs

Pull Request - State: closed - Opened by izgzhen over 9 years ago - 1 comment

#50 - Console writes blocking

Issue - State: open - Opened by thumphries over 9 years ago - 1 comment

#49 - Halfs basic example

Pull Request - State: closed - Opened by izgzhen over 9 years ago

#48 - Would it be possible to port GHCi to HaLVM?

Issue - State: open - Opened by izgzhen over 9 years ago - 3 comments
Labels: enhancement

#47 - XSM permissions error

Issue - State: open - Opened by izgzhen over 9 years ago - 2 comments
Labels: bug

#46 - Respond to PV shutdown / restart

Issue - State: closed - Opened by thumphries over 9 years ago - 2 comments

#45 - The unix package can't be install cause compiler can't find <pwd.h>

Issue - State: closed - Opened by yangsiran over 9 years ago - 5 comments

#44 - HaLVM build relocation should be possible

Issue - State: closed - Opened by thumphries almost 10 years ago - 1 comment

#43 - Any example of WAI on HaLVM?

Issue - State: closed - Opened by cies almost 10 years ago - 2 comments

#42 - Fix typo and remove cabal from dependency list

Pull Request - State: closed - Opened by mhuesch almost 10 years ago

#41 - Implement Xen's vchan protocol

Issue - State: open - Opened by thumphries almost 10 years ago
Labels: enhancement

#40 - Thread failing to return from XenStore transactions

Issue - State: closed - Opened by thumphries almost 10 years ago - 3 comments

#39 - XenStore watches (via xsWatch) are unreliable

Issue - State: closed - Opened by thumphries almost 10 years ago - 1 comment

#38 - Generated scripts assume /bin/sh has features ubuntu /bin/sh does not have

Issue - State: closed - Opened by AFDudley almost 10 years ago - 2 comments

#37 - Cabal build error

Issue - State: closed - Opened by smilliken almost 10 years ago - 3 comments

#36 - halvm-cabal should force -j1

Issue - State: closed - Opened by acw about 10 years ago - 2 comments

#35 - build: fix configure.ac

Pull Request - State: closed - Opened by liuw over 10 years ago

#34 - Won't build without --enable-gmp

Issue - State: closed - Opened by liuw over 10 years ago - 2 comments

#33 - Misc fixes

Pull Request - State: closed - Opened by liuw over 10 years ago - 1 comment

#32 - RRD performance counter support?

Issue - State: open - Opened by acw over 10 years ago
Labels: enhancement

#31 - Question: Would apps built on HaLVM be considered Unikernels?

Issue - State: closed - Opened by schell over 10 years ago - 2 comments

#30 - HaLVM doesn't build on Archlinux

Issue - State: closed - Opened by svenkeidel over 10 years ago - 5 comments

#29 - Make re-installs easier by copying minlibc files.

Pull Request - State: closed - Opened by TomMD over 10 years ago

#28 - Domains transferring ByteStrings via IVC block indefinitely

Issue - State: closed - Opened by TomMD over 10 years ago - 6 comments

#27 - BasicIVC Rendezvous fails

Issue - State: closed - Opened by TomMD over 10 years ago - 4 comments

#26 - Add note about oxenstore permissions.

Pull Request - State: closed - Opened by TomMD over 10 years ago

#25 - Excessive build-deps

Issue - State: closed - Opened by TomMD over 10 years ago - 1 comment

#24 - Missing header files inhibits porting packages

Issue - State: closed - Opened by TomMD over 10 years ago - 3 comments

#23 - Impossible happens thanks to GHC 7.7

Issue - State: closed - Opened by TomMD almost 11 years ago - 1 comment

#22 - Build failure: Not in scope `WORD_SIZE_IN_BITS_FLOAT##`

Issue - State: closed - Opened by dnaq about 11 years ago - 1 comment

#21 - Missing MagicHash in PrimopWrappers

Issue - State: closed - Opened by dnaq about 11 years ago - 1 comment

#20 - xenctl_cpumap renamed in xen 4.3

Issue - State: closed - Opened by dnaq about 11 years ago - 1 comment

#19 - Build failure on Ubuntu 13.10

Issue - State: closed - Opened by dnaq over 11 years ago - 8 comments

#18 - Return split-objs to the mainline build

Issue - State: closed - Opened by acw over 11 years ago - 1 comment

#17 - HaLVMs in Amazon's Cloud

Issue - State: closed - Opened by acw over 11 years ago - 26 comments

#16 - 32-bit HaLVM Support

Issue - State: closed - Opened by acw over 11 years ago

#15 - Fix the build system

Issue - State: closed - Opened by acw over 11 years ago - 1 comment

#14 - Create canonical list of required/recommended Fedora packages.

Issue - State: closed - Opened by acw over 11 years ago - 2 comments

#13 - Build HaLVM Haddock and other documentation

Issue - State: open - Opened by acw over 11 years ago
Labels: documentation

#12 - Include files are missing

Issue - State: closed - Opened by TomMD over 11 years ago - 1 comment

#11 - support ubuntu 12.10

Pull Request - State: closed - Opened by tsgates over 11 years ago - 1 comment

#10 - Documentation for XenDevice?

Issue - State: closed - Opened by johnpmayer almost 12 years ago - 3 comments

#9 - distributed-process

Issue - State: closed - Opened by johnpmayer almost 12 years ago - 7 comments

#8 - Looking for some guidance on Fedora packages

Issue - State: closed - Opened by johnpmayer almost 12 years ago - 4 comments

#7 - add autoreconf line

Pull Request - State: closed - Opened by mwotton about 12 years ago - 1 comment

#6 - Upgrade the version of GHC

Issue - State: closed - Opened by acw over 12 years ago

#5 - SMP Support

Issue - State: closed - Opened by acw over 12 years ago - 1 comment

#4 - Completely Compatible Base

Issue - State: open - Opened by acw over 12 years ago
Labels: requirement

#3 - Better way to do local packages

Issue - State: closed - Opened by acw over 12 years ago - 1 comment

#2 - Change os(xen) to os(halvm)

Issue - State: closed - Opened by acw over 12 years ago

#1 - Fix a build problem when `make examples`

Pull Request - State: closed - Opened by yihuang over 12 years ago - 1 comment

GitHub / GaloisInc/HaLVM issues and pull requests