andrewray

open Core
open Hardcaml

(* Set this before construcing the circuit so that stack traces are stored inside
   signals. *)
let () = Caller_id.set_mode Full_trace

(* A simple hierarchical circuit *)
module Add_sub = struct
  module I = struct

andrewray

Working with the old version of Hardcaml

To use the old version of hardcaml

1. Create a directory ie hardcaml_ujamjar and cd into it
2. touch jbuild-workspace
3. git clone ... the required repositories
4. opam install ... the required dependencies
5. jbuilder build @install will compile everything

andrewray

#require "base,stdio,ctypes.foreign";;

open Base
open Stdio
open Ctypes
open Foreign

(* getenv

   A string is passed and a string, which doesn't require deallocation, is

andrewray

#require "delimcc";;
#require "hardcaml,hardcaml-waveterm,ppx_deriving_hardcaml";;

open Delimcc
open HardCaml
open Api

type ('a, 'b) t = Done | More of 'a * ('b -> ('a, 'b) t)
                                      
let gen f =

andrewray

#require "hardcaml,ppx_deriving_hardcaml,hardcaml-waveterm,hardcaml-bloop,hardcaml-yosys";;
#mod_use "satvlog.ml";;

andrewray

#require "ppx_deriving_hardcaml,hardcaml-waveterm";;

open HardCaml
open Signal.Comb

module I = struct
  type 'a t = {
    arg_a : 'a[@bits 2];
    arg_b : 'a[@bits 2];
  }[@@deriving hardcaml]

andrewray

#require "delimcc";;
#require "hardcaml,hardcaml-waveterm";;

open Delimcc
open HardCaml
open Api

type ('a, 'b) t = Done | More of 'a * ('b -> ('a, 'b) t)
                                      
let gen f =

andrewray

#require "delimcc";;
#require "hardcaml";;

open Delimcc

type ('a, 'b) t = Done | More of 'a * ('b -> ('a, 'b) t)
                                      
let gen f =
  (*
   * Note: the first value to yield gets thrown away as the generator

andrewray

open HardCaml

(* different register types *)
module Seq = struct
  open Signal
  open Types
  open Seq
  module type S = sig
    include Interface.S
    val reg : Api.Comb.t t -> Signal.Types.register

andrewray

(*

  build with:
 
 ocamlbuild -use-ocamlfind -package compiler-libs.common -package ppx_tools.metaquot ppx_hardcaml.native 
 
*)

open Ast_mapper
open Ast_helper