expipiplus1

{ myrtlepkgs ? import ../.. {} }:

let 
  pkgs = myrtlepkgs.nixpkgs;
  inherit (pkgs) lib;
  luaPackages = pkgs.lua51Packages;
  luaPath = builtins.concatStringsSep ";" (map luaPackages.getLuaPath luaLibs);
  luaCPath = builtins.concatStringsSep ";" (map luaPackages.getLuaCPath luaLibs);

  # Add any additional lua libraries here. The list of available libraries can

expipiplus1

	component unnamed is
		port (
			amm_ready_0         : out   std_logic;                                         -- waitrequest_n
			amm_read_0          : in    std_logic                      := 'X';             -- read
			amm_write_0         : in    std_logic                      := 'X';             -- write
			amm_address_0       : in    std_logic_vector(24 downto 0)  := (others => 'X'); -- address
			amm_readdata_0      : out   std_logic_vector(575 downto 0);                    -- readdata
			amm_writedata_0     : in    std_logic_vector(575 downto 0) := (others => 'X'); -- writedata
			amm_burstcount_0    : in    std_logic_vector(6 downto 0)   := (others => 'X'); -- burstcount
			amm_byteenable_0    : in    std_logic_vector(71 downto 0)  := (others => 'X'); -- byteenable

expipiplus1

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE NoImplicitPrelude #-}

module NN where

import Availability
import CLaSH.Annotations.TopEntity
import CLaSH.Prelude
import CLaSH.Prelude.Explicit

expipiplus1

module Main
  ( main
  ) where

import           GHC.IO.Exception
import           System.IO
import           System.IO.Error
import           System.Process.Typed

main :: IO ()

expipiplus1

let 
  pkgs = import <nixpkgs> {};

  d = {stdenv}:
    stdenv.mkDerivation {
      name = import (pkgs.runCommand "hello-output" {} ''
        ${pkgs.hello}/bin/hello -g '"d-name"'> $out
      '');
      buildCommand = "touch $out";
    };

expipiplus1

Nov 15 21:12:27 arria10 kernel[150]: fpga bridge driver
Nov 15 21:12:27 arria10 kernel[150]: socfpga_a10_fpga_manager ffd03000.fpgamgr: fpga manager [SoCFPGA Arria10 FPGA Manager] registered as minor 0
Nov 15 21:12:27 arria10 kernel[150]: dwmmc_socfpga ff808000.flash: Using internal DMA controller.
Nov 15 21:12:27 arria10 kernel[150]: dwmmc_socfpga ff808000.flash: Version ID is 270a
Nov 15 21:12:27 arria10 kernel[150]: dwmmc_socfpga ff808000.flash: DW MMC controller at irq 130, 32 bit host data width, 1024 deep fifo
Nov 15 21:12:27 arria10 kernel[150]: dwmmc_socfpga ff808000.flash: 1 slots initialized

expipiplus1

set rtp+=/nix/store/jj0z2s0v5gsg1vmfp8rkgk2r3xsmsbpq-haskell-vim-2016-11-12

syntax on
filetype on
filetype plugin on
filetype indent on

expipiplus1

"GET" /project/:projectName

Captures

• projectName: Name of the project

Response

expipiplus1

let 
  platform = crossPkgs.platforms.armv7l-hf-multiplatform;

  crossSystem = {
    config = "arm-linux-gnueabihf";
    platform = platform;
    libc = "glibc";
    arch = "arm";
    float = "hard";
    fpu = "vfp";

expipiplus1

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ConstrainedClassMethods #-}

module A where

class C m where
  foo :: C m => m ()

newtype N m a = N (m a)