Permalink
Commits on Jan 28, 2018
  1. Merge pull request #127 from protoben/CHAFF-453

    acw committed Jan 28, 2018
    Optionally emulate /dev/urandom CRNG for transparent entropy on cryptonite
Commits on Jan 26, 2018
  1. Add autoconf flag for /dev/urandom emulation

    Ben Hamlin
    Ben Hamlin committed Jan 26, 2018
Commits on Dec 15, 2017
Commits on Dec 11, 2017
  1. Merge pull request #126 from aierl/patch-1

    acw committed Dec 11, 2017
    updated HACKING.MD
Commits on Dec 10, 2017
  1. updated HACKING.MD

    aierl committed Dec 10, 2017
    updated links to fedora server images for Fedora Server 22,23,24 
    if you try to download with older links it will fail as the images are now moved to fedora archives
Commits on Dec 9, 2017
Commits on Jul 23, 2017
  1. Merge pull request #122 from mspaulding06/improve-docs

    acw committed Jul 23, 2017
    Minor improvements to documentation for hacking HaLVM
Commits on Jul 21, 2017
Commits on May 23, 2017
Commits on May 17, 2017
  1. Bump version number.

    acw committed May 17, 2017
  2. Try to fix #119 by adding a couple libc functions and making sure tha…

    acw committed May 17, 2017
    …t minlibc is linked in.
Commits on May 11, 2017
Commits on Apr 21, 2017
  1. Switch from passing arguments to cabal to setting up an appropriate c…

    acw committed Apr 21, 2017
    …onfig file, instead.
    
    This has the advantage of fixing cabal commands that cannot take the
    right arguments, like the sandbox commands, and fixes #78.
Commits on Apr 20, 2017
  1. Fix #118 by properly installing Haddock, and cleaning its library pa…

    acw committed Apr 20, 2017
    …h during install.
Commits on Mar 18, 2017
  1. Merge pull request #105 from GaloisInc/remove-sync-all

    dmjio committed Mar 18, 2017
    Removes redundant calls to sync-all
  2. Merge pull request #106 from GaloisInc/bash-portability

    ntc2 committed Mar 18, 2017
    Make finding bash a little more portable
Commits on Mar 16, 2017
  1. Tweak scripts to work on Ubuntu 16.04.

    ntc2 committed Mar 16, 2017
    Two things:
    
    - use /bin/bash shell explicitly. Most Linux systems have a /bin/sh
      that is /bin/bash, but that's not the case on Ubuntu.
    
    - ignore `-no-pie` linker option.
    
    I still have a problem with `halvm-cabal` where it complains that it
    can't find `haddock`, but I can work around that by symlinking
    `/usr/lib/x86_64-linux-gnu/HaLVM-2.4.0/bin/haddock.bin` to
    `/usr/lib/x86_64-linux-gnu/HaLVM-2.4.0/bin/haddock`. I then get a
    warning from `halvm-cabal` about being unable to determine the version
    of `haddock`, but I'm able to `halvm-cabal install`. Have not tested
    if this results in Haddocks actually being built.
Commits on Mar 13, 2017
  1. Merge pull request #103 from GaloisInc/version

    dmjio committed Mar 13, 2017
    Add --halvm-version flag to halvm-ghc
Commits on Mar 10, 2017
  1. Update submodule commit

    dmjio committed Mar 10, 2017
  2. Merge pull request #102 from GaloisInc/gmp

    acw committed Mar 10, 2017
    GMP update
  3. GMP update

    dmjio committed Mar 8, 2017
Commits on Mar 9, 2017
Commits on Mar 7, 2017
  1. Merge pull request #100 from GaloisInc/halvm-802-wip

    dmjio committed Mar 7, 2017
    2.4.0 Release
Commits on Mar 5, 2017
  1. Merge pull request #99 from GaloisInc/halvm-gitmodule

    dmjio committed Mar 5, 2017
    Point halvm-ghc to halvm branch
  2. Point halvm-ghc to halvm branch

    dmjio committed Mar 5, 2017
    Since the `wip-halvm-ghc-8.0` was merged in b17b3f2d616ced1c101ce4bcba635b5d19dab89d, think it's appropriate to point to `halvm`
Commits on Feb 19, 2017
Commits on Feb 17, 2017
Commits on Feb 16, 2017
  1. Removes unused variables

    dmjio committed Feb 16, 2017
  2. Merge pull request #97 from GaloisInc/ldkernel

    dmjio committed Feb 16, 2017
    Set $@ if file path received, remove additional $LIB call, add --no-as-needed case