Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dimension.ml 10.9 KB ca7e8027 12 months Lélio Brun fix almost all warnings
dune 399 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
env.ml 1.65 KB ca7e8027 12 months Lélio Brun fix almost all warnings
location.ml 4.41 KB 57c96fb7 11 months Lélio Brun setup tests for dune
ocaml_utils.ml.ge403 39 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
ocaml_utils.ml.lt403 33 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
utils.ml 10.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings

Latest revisions

# Date Author Comment
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

5de4dde4 11/24/2018 12:16 AM Pierre-Loïc Garoche

Major refreshing of machine generation

217837e2 11/21/2018 08:15 PM Pierre-Loïc Garoche

Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...

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

Merge branch 'unstable' into lustrec-seal

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

Merlin files

82906771 11/08/2018 03:58 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax

View revisions

Also available in: Atom