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 5360dcf8 over 3 years Arnaud Dieumegard Beggining of implicit latching check
.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
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

d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

View revisions

Also available in: Atom