From cebd07b64f1f537c5ecf00ec21ff4b7c4032f0a3 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Mon, 4 Nov 2013 22:05:57 +0100
Subject: Added stub C simulator (defined dumb-down syntax for netlists).

---
 tp1/netlist_ast.ml | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 tp1/netlist_ast.ml

(limited to 'tp1/netlist_ast.ml')

diff --git a/tp1/netlist_ast.ml b/tp1/netlist_ast.ml
deleted file mode 100644
index ae16888..0000000
--- a/tp1/netlist_ast.ml
+++ /dev/null
@@ -1,42 +0,0 @@
-type ident = string
-
-module Env = struct
-  include Map.Make(struct
-    type t = ident
-    let compare = compare
-  end)
-
-  let of_list l =
-    List.fold_left (fun env (x, ty) -> add x ty env) empty l
-end
-
-type ty = TBit | TBitArray of int
-type value = VBit of bool | VBitArray of bool array
-
-type binop = Or | Xor | And | Nand
-
-type arg =
-    | Avar of ident
-    | Aconst of value
-
-type exp =
-    | Earg of arg
-    | Ereg of ident
-    | Enot of arg
-    | Ebinop of binop * arg * arg
-    | Emux of arg * arg * arg
-    | Erom of int (*addr size*) * int (*word size*) * arg (*read_addr*)
-    | Eram of int (*addr size*) * int (*word size*)
-        * arg (*read_addr*) * arg (*write_enable*)
-        * arg (*write_addr*) * arg (*data*)
-    | Econcat of arg * arg
-    | Eslice of int * int * arg
-    | Eselect of int * arg
-
-type equation = ident * exp
-
-type program =
-    { p_eqs : equation list;
-      p_inputs : ident list;
-      p_outputs : ident list;
-      p_vars : ty Env.t; }
-- 
cgit v1.2.3