Code

Modular compilation in JuvixTree#3324

Code

Open

lukaszcz wants to merge 24 commits intomainanoma/juvix:mainfrom modular-strippedanoma/juvix:modular-strippedCopy head branch name to clipboard

+2,220-1,182

Commits

Commits on Feb 26, 2025

• add Stripped.Module

  

  lukaszcz

  authored and

  janmasrovira

  committed
  557bfeb

  Copy full SHA for 557bfeb

• remove infoFieldSize from info tables

  

  lukaszcz

  authored and

  janmasrovira

  committed
  1ee34c5

  Copy full SHA for 1ee34c5

• Store.Backend

  

  lukaszcz

  authored and

  janmasrovira

  committed
  5991c48

  Copy full SHA for 5991c48

• Core.Stripped.Module

  

  lukaszcz

  authored and

  janmasrovira

  committed
  1071530

  Copy full SHA for 1071530

• fix tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  3710cee

  Copy full SHA for 3710cee

• modules in the backend

  

  lukaszcz

  authored and

  janmasrovira

  committed
  1c3c9c0

  Copy full SHA for 1c3c9c0

• fix test compilation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  4dbf75b

  Copy full SHA for 4dbf75b

• fix apply transformation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  15baf76

  Copy full SHA for 15baf76

• modular pipeline wip

  

  lukaszcz

  authored and

  janmasrovira

  committed
  16c16e2

  Copy full SHA for 16c16e2

• wip

  

  lukaszcz

  authored and

  janmasrovira

  committed
  e2ba38b

  Copy full SHA for e2ba38b

• Tree module serialization

  

  lukaszcz

  authored and

  janmasrovira

  committed
  c35134a

  Copy full SHA for c35134a

• modular pipeline

  

  lukaszcz

  authored and

  janmasrovira

  committed
  92bf54f

  Copy full SHA for 92bf54f

• fix compilation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  65e864d

  Copy full SHA for 65e864d

• move sha256 computation

  

  lukaszcz

  authored and

  janmasrovira

  committed
  c61c773

  Copy full SHA for c61c773

• runModularPipeline

  

  lukaszcz

  authored and

  janmasrovira

  committed
  5aabc91

  Copy full SHA for 5aabc91

• fix non-modular pipeline

  

  lukaszcz

  authored and

  janmasrovira

  committed
  b386d26

  Copy full SHA for b386d26

• fix IR parsing

  

  lukaszcz

  authored and

  janmasrovira

  committed
  3d8164e

  Copy full SHA for 3d8164e

• fix tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  d25ecf5

  Copy full SHA for d25ecf5

• modular stripped

  

  lukaszcz

  authored and

  janmasrovira

  committed
  e8aff90

  Copy full SHA for e8aff90

• use backend modularization in compilation pipeline tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  01b6e8b

  Copy full SHA for 01b6e8b

• runIOEitherModular

  

  lukaszcz

  authored and

  janmasrovira

  committed
  d0e7b1c

  Copy full SHA for d0e7b1c

• use Core evaluator in pipeline tests

  

  lukaszcz

  authored and

  janmasrovira

  committed
  e9b4e75

  Copy full SHA for e9b4e75

• remove unused code

  

  lukaszcz

  authored and

  janmasrovira

  committed
  5aa6abe

  Copy full SHA for 5aa6abe

• changes

  

  lukaszcz

  authored and

  janmasrovira

  committed
  dab8de7

  Copy full SHA for dab8de7