Skip to content

Latest commit

 

History

History
37 lines (29 loc) · 1.09 KB

README.md

File metadata and controls

37 lines (29 loc) · 1.09 KB

Version 1.0.0

Overview

Type inference is a fairly widely used technique, commonly found in IDEs, modern compilers, code bug checking, and even data cleaning. This project implements a type inference framework for Julia, a programming language widely used in practice in the fields of numerical computation and optimization, which models all the static semantics of the Julia programming language and provides type inference functionality.

Project Modules

  • test trigger module of dump_julia
  • Julia Parser
  • Type Interferences
  • Html Output

Syntactic features

  • Chained Arithmetic
  • Auto Return Last Expr

Metaprogramming

  • macro support for julia
  • Quote & Expr ... type

Parallelism

  • Vectorized "dot" Operators

Miscs

  • Built-in Library Analysis
  • assign in global expr (waiting for CSTParser fix)

Quick Starts

To run:

    java -jar target/miniJuliaSonar-<version>.jar <workdir> <outdir>

To run GUI:

Warning: Do not move gui directory. Otherwise, it will not work.

    cd gui && npm start