Code

OCaml backend#148

Code

Draft

mdurero wants to merge 55 commits intomasterMLanguage/mlang:masterfrom backend-ocamlMLanguage/mlang:backend-ocamlCopy head branch name to clipboard

+1,406-1

Commits

Commits on Jul 5, 2023

• Report work on parser from ocaml-backend branch

  mdurero

  committed
  6b00947

  Copy full SHA for 6b00947

Commits on Jul 6, 2023

• Reinstate old empty fields, if by chance some files from 2019 must be used

  mdurero

  committed
  68ea878

  Copy full SHA for 68ea878

• Describe tokens in comments

  mdurero

  committed
  3d3aec5

  Copy full SHA for 3d3aec5

• OCaml backend start

  mdurero

  committed
  1ee211b

  Copy full SHA for 1ee211b

• Add header defining M types and variables tables.

  mdurero

  committed
  2f0249b

  Copy full SHA for 2f0249b

• Define a M rule as an OCaml function of a list of M values.

  mdurero

  committed
  9e8e284

  Copy full SHA for 9e8e284

• Generate local and tgv variable assignment as OCaml array set.

  mdurero

  committed
  57da532

  Copy full SHA for 57da532

• Ignore VSCodium config files

  mdurero

  committed
  03d69dd

  Copy full SHA for 03d69dd

• Formatting

  mdurero

  committed
  f23f126

  Copy full SHA for f23f126

• Adjust to pull request #146 generic-table-access

  mdurero

  committed
  f232d1e

  Copy full SHA for f232d1e

• Add empty expression at the end of each generated rule

  mdurero

  committed
  5169712

  Copy full SHA for 5169712

• New makefile target : compiling result to native code.

  mdurero

  committed
  24e84f5

  Copy full SHA for 24e84f5

• Generate OCaml functions corresponding to M binary and unary operators

  mdurero

  committed
  9d92f76

  Copy full SHA for 9d92f76

• Define M types and operators in a static OCaml library.

  mdurero

  committed
  bf306c5

  Copy full SHA for bf306c5

• Cleaning

  mdurero

  committed
  6a8b168

  Copy full SHA for 6a8b168

• Add M functions to the OCaml library and use them in generated code

  mdurero

  committed
  a852bab

  Copy full SHA for a852bab

• More thorough cleaning

  mdurero

  committed
  ace22fb

  Copy full SHA for ace22fb

• Generate Mpp condition, rule and function calls.

  mdurero

  committed
  d2dfcc7

  Copy full SHA for d2dfcc7

• Enable debug symbols on bytecode target

  mdurero

  committed
  58fb9df

  Copy full SHA for 58fb9df

• Fix Mpp condition generation

  mdurero

  committed
  6482ec8

  Copy full SHA for 6482ec8

• Formatting

  mdurero

  committed
  7daae5e

  Copy full SHA for 7daae5e

• Input handling OCaml backend

  mdurero

  committed
  1047796

  Copy full SHA for 1047796

• Adjust OCaml backend to pull request #153 mpp function data structure

  mdurero

  committed
  768b8cd

  Copy full SHA for 768b8cd

• Add output to the sort of main function calculate_tax

  mdurero

  committed
  84e2fae

  Copy full SHA for 84e2fae

• WIP test harness: load FIP files, call the compiled result of OCaml backend with entry parameters and write computation result to text files

  mdurero

  committed
  6552368

  Copy full SHA for 6552368

• Fix m_neg function: output of defined M value should be defined

  mdurero

  committed
  4bb21bc

  Copy full SHA for 4bb21bc

• Write discrepancies between FIP file and computation result as a test result

  mdurero

  committed
  5f799af

  Copy full SHA for 5f799af

• Fix m_round: use ceil for negative values.

  mdurero

  committed
  316f477

  Copy full SHA for 316f477

• Fix Mpp conditional: true and false expressions were inverted

  mdurero

  committed
  032bae4

  Copy full SHA for 032bae4

• Test harness for OCaml backend: can print discrepancy reports for a single FIP file or all files from a test directory.

  mdurero

  committed
  428ccf1

  Copy full SHA for 428ccf1

• Fix: if bool then true else false

  mdurero

  committed
  f00f9f2

  Copy full SHA for f00f9f2

• Add warning when a FIP file expects an output variable which is not in the output variable list, generally because it's an input variable, so it is pointless to mark it as output.

  mdurero

  committed
  69cd84f

  Copy full SHA for 69cd84f

• Add a test command to write raw inputs and outputs of a FIP test

  mdurero

  committed
  c2bf05a

  Copy full SHA for c2bf05a

• M errors and verifications are now recorded and an output of the main calculate_tax function. Test command "raw" now writes also the list of triggered M errors.

  mdurero

  committed
  69e21bb

  Copy full SHA for 69e21bb

• Refactor Makefile: allow to disable m_spec file usage, to select .m_spec file, .mpp file and main MPP function, to run test suite with bytecode and native code.

  mdurero

  committed
  5fdb8f5

  Copy full SHA for 5fdb8f5

• Adjust OCaml backend to pull request #158 as M verifs are now processed like any other M rule.

  mdurero

  committed
  2f05d7d

  Copy full SHA for 2f05d7d

• M Errors of type Anomaly now abort computation raising an M Exception, with better display of M Errors.

  mdurero

  committed
  ccab1f6

  Copy full SHA for ccab1f6

• Fix blank lines in the input map building

  mdurero

  committed
  e06888d

  Copy full SHA for e06888d

• Ouput of main function is now an array, not a list. Fix multiple concatenation on this huge list.

  mdurero

  committed
  2a840bb

  Copy full SHA for 2a840bb

• Fix min, max & multimax having always defined result, following changes in other backends

  mdurero

  committed
  4f3c39a

  Copy full SHA for 4f3c39a

• Adapt to Bir changes in PR #184

  mdurero

  committed
  1f0e4a0

  Copy full SHA for 1f0e4a0

• Fix stack overflow by building static input and output arrays of the variable position instead of computing values or map line by line

  mdurero

  committed
  48135ad

  Copy full SHA for 48135ad

• Add a crude independant OCaml test file parser by cherry-picking relevant code from Mlang main and interpreter parsers

  mdurero

  committed
  d2a1707

  Copy full SHA for d2a1707

• Plug the new parser in place of the old ad hoc file loading with pattern matching

  mdurero

  committed
  e4845d8

  Copy full SHA for e4845d8

• Remove ad hoc function for test file loading witch pattern matching

  mdurero

  committed
  498da98

  Copy full SHA for 498da98

• Compatibility change for Ocaml compiler 4.11.2

  mdurero

  committed
  8eb89d8

  Copy full SHA for 8eb89d8

• Add a run_tests build command without file output for CI

  mdurero

  committed
  894aa86

  Copy full SHA for 894aa86

• Refactor Makefiles for Ocaml backend and parser to improve readability and enable native code compilation

  mdurero

  committed
  0cd326b

  Copy full SHA for 0cd326b

• Enable Ocaml backend check in continuous integration

  mdurero

  committed
  291a857

  Copy full SHA for 291a857

• Fix guarding condition to avoid reading out of bound values in accessing M table variables

  mdurero

  committed
  9e4e70b

  Copy full SHA for 9e4e70b

• Refactor static OCaml multimax to use Array module function properly

  mdurero

  committed
  04cbf67

  Copy full SHA for 04cbf67

• Add abs function to OCaml backend, following aa702f2 (rehabilitate abs function in backends, 2022-11-22)

  mdurero

  committed
  bf10615

  Copy full SHA for bf10615

• Use the new access to variable definition from Bir, from PR #200

  mdurero

  committed
  d09444b

  Copy full SHA for d09444b

• Refine an independent IRJ test files parser. Compatibility with both primary and corrective test files.

  mdurero

  committed
  cd23ed2

  Copy full SHA for cd23ed2

Commits on Nov 6, 2023

• Add a future dune file for Ocaml backend. Commented as work on the parser need to be done before using it.

  mdurero

  committed
  ebfa4e3

  Copy full SHA for ebfa4e3