1 files changed, 0 insertions, 70 deletions
diff --git a/tp1/netlist_parser.mly b/tp1/netlist_parser.mly
deleted file mode 100644
index 0908703..0000000
--- a/tp1/netlist_parser.mly
+++ /dev/null
@@ -1,70 +0,0 @@
-%{
- open Netlist_ast
-
- let value_of_int n =
-   let rec aux n =
-     let b =
-       match n mod 10 with
-         | 0 -> false
-         | 1 -> true
-         | i -> Format.eprintf "Unexpected: %d@." i; raise Parsing.Parse_error
-     in
-     if n < 10 then
-       [b]
-     else
-       b::(aux (n / 10))
-   in
-   match aux n with
-     | [] -> Format.eprintf "Empty list@."; raise Parsing.Parse_error
-     | [b] -> VBit b
-     | bl -> VBitArray (Array.of_list (List.rev bl))
-%}
-
-%token <int> INT
-%token <string> NAME
-%token AND MUX NAND OR RAM ROM XOR REG NOT
-%token CONCAT SELECT SLICE
-%token COLON EQUAL COMMA VAR IN INPUT OUTPUT
-%token EOF
-
-%start program             /* the entry point */
-%type <Netlist_ast.program> program
-
-%%
-program:
-  INPUT inp=separated_list(COMMA, NAME)
-    OUTPUT out=separated_list(COMMA, NAME)
-    VAR vars=separated_list(COMMA, var) IN eqs=list(equ) EOF
-    { { p_eqs = eqs; p_vars = Env.of_list vars; p_inputs = inp; p_outputs = out; } }
-
-equ:
-  x=NAME EQUAL e=exp { (x, e) }
-
-exp:
-  | a=arg { Earg a }
-  | NOT x=arg { Enot x }
-  | REG x=NAME { Ereg x }
-  | AND x=arg y=arg { Ebinop(And, x, y) }
-  | OR x=arg y=arg { Ebinop(Or, x, y) }
-  | NAND x=arg y=arg { Ebinop(Nand, x, y) }
-  | XOR x=arg y=arg { Ebinop(Xor, x, y) }
-  | MUX x=arg y=arg z=arg { Emux(x, y, z) }
-  | ROM addr=INT word=INT ra=arg
-    { Erom(addr, word, ra) }
-  | RAM addr=INT word=INT ra=arg we=arg wa=arg data=arg
-    { Eram(addr, word, ra, we, wa, data) }
-  | CONCAT x=arg y=arg
-     { Econcat(x, y) }
-  | SELECT idx=INT x=arg
-     { Eselect (idx, x) }
-  | SLICE min=INT max=INT x=arg
-     { Eslice (min, max, x) }
-
-arg:
-  | n=INT { Aconst (value_of_int n) }
-  | id=NAME { Avar id }
-
-var: x=NAME ty=ty_exp { (x, ty) }
-ty_exp:
-  | /*empty*/ { TBit }
-  | COLON n=INT { TBitArray n }