Schuyler Eldridge 7363241531 New Verilog and Coq sample files added ...

New Verilog examples and Coq examples for additional training have
been added since linguist is currently failing Coq/Verilog recognition
tasks (see #201). In case it wasn't obvious, linguist will not
currently pass these new, added test cases.

2012-07-20 10:49:12 -04:00

..

Basics.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Heap.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Imp.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

interval_discr.v

Move test fixtures to samples/

2012-06-22 10:09:24 -05:00

Lists.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Permutation.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

PermutSetoid.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Poly.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Rel.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Smallstep.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Sorting.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00

Stlc.v

New Verilog and Coq sample files added

2012-07-20 10:49:12 -04:00