Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  C d948c0bd almost 4 years Pierre-Loïc Garoche math fun lib support in MPFR
  EMF ae7d913d almost 4 years Pierre-Loïc Garoche Merlin files
  Horn ae7d913d almost 4 years Pierre-Loïc Garoche Merlin files
  Java ae7d913d almost 4 years Pierre-Loïc Garoche Merlin files
  VHDL 92aface4 over 3 years Arnaud Dieumegard Removed warnings and solved bug for visitors it...
.merlin 3 Bytes ae7d913d almost 4 years Pierre-Loïc Garoche Merlin files
backends.ml 1.25 KB ad4774b0 over 4 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
92aface4 12/14/2018 03:02 PM Arnaud Dieumegard

Removed warnings and solved bug for visitors iterators references between vhdl_ast and mini_vhdl_ast

265f2eca 12/12/2018 11:11 AM Arnaud Dieumegard

Making labels optional for sequential statements

5360dcf8 12/07/2018 05:50 PM Arnaud Dieumegard

Beggining of implicit latching check

aeec0f04 12/07/2018 11:08 AM Arnaud Dieumegard

Updated expression folding visitor using visitors ppx

e050e30c 12/06/2018 12:41 PM Arnaud Dieumegard

Removed generated yojson parser, now relies on pre-processed version

20d354f4 12/06/2018 12:40 PM Arnaud Dieumegard

Update of types fields names

95076858 12/06/2018 12:39 PM Arnaud Dieumegard

Merged separated types as one type for VHDL and MiniVHDL asts

92c6cca7 11/17/2018 04:54 AM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into vhdl

b59fa954 11/17/2018 02:04 AM Pierre-Loïc Garoche

Merge branch 'unstable' into vhdl

59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

View revisions

Also available in: Atom