Code

Per-module compilation#2468

Code

Merged

janmasrovira merged 85 commits intomainanoma/juvix:mainfrom per-module-compilationanoma/juvix:per-module-compilationCopy head branch name to clipboardDec 30, 2023

+4,994-4,578

Commits

Commits on Nov 8, 2023

• serialization instances

  lukaszcz

  committed
  bf52baf

• wip

  lukaszcz

  committed
  095f7e5

• wip

  lukaszcz

  committed
  0e686e0

• wip

  lukaszcz

  committed
  78e69b7

• wip internal

  lukaszcz

  committed
  bb73b56

• wip compilation

  lukaszcz

  committed
  4d4c633

Commits on Nov 9, 2023

• fix compilation

  lukaszcz

  committed
  80e42c8

• new name id

  lukaszcz

  committed
  cde98a2

• wip

  lukaszcz

  committed
  a4c65d8

Commits on Nov 10, 2023

• wip

  lukaszcz

  committed
  2017716

Commits on Nov 13, 2023

• wip

  lukaszcz

  committed
  1646d66

Commits on Nov 14, 2023

• wip

  lukaszcz

  committed
  079525e

Commits on Nov 15, 2023

• fix pipeline wip

  lukaszcz

  committed
  a45392c

Commits on Nov 16, 2023

• serialize concrete

  lukaszcz

  committed
  86f0e6e

Commits on Nov 17, 2023

• simplify

  lukaszcz

  committed
  e23e2e4

• simplify import

  lukaszcz

  committed
  88884e8

• stored name signatures

  lukaszcz

  committed
  67d1826

• add file

  lukaszcz

  committed
  a12a004

• signature info

  lukaszcz

  committed
  39c5c42

Commits on Nov 20, 2023

• SignatureInfoBuilder

  lukaszcz

  committed
  b8c9fa4

• InternalModule

  lukaszcz

  committed
  8fb470d

• Store.Scoped.Data.InfoTable

  lukaszcz

  committed
  19c9d5c

Commits on Nov 21, 2023

• fix scoper

  lukaszcz

  committed
  33d3b61

• fix Internal.FromConcrete

  lukaszcz

  committed
  c6798d7

• Core.fromInternal

  lukaszcz

  committed
  46b2753

• FunctionsTable & TypesTable

  lukaszcz

  committed
  e3f0d4e

• adjust Core (wip)

  lukaszcz

  committed
  812503b

Commits on Nov 22, 2023

• Core <-> Store.Core conversions

  lukaszcz

  committed
  14c1cce

• Repl.hs & Run.hs

  lukaszcz

  committed
  97c6771

Commits on Nov 23, 2023

• fix compilation

  lukaszcz

  committed
  bf2a84c

• add module id to core Symbol

  lukaszcz

  committed
  d77b93a

• add module id to core tags

  lukaszcz

  committed
  ab94301

Commits on Nov 24, 2023

• per-module compilation in Core

  lukaszcz

  committed
  a29df67

Commits on Nov 27, 2023

• combine info table

  lukaszcz

  committed
  10b5641

• import cycle detection

  lukaszcz

  committed
  283efdb

• Merge branch 'main' into per-module-compilation

  lukaszcz

  committed
  9573931

• Merge branch 'main' into per-module-compilation

  lukaszcz

  authored
  145976c

• merge fixes

  lukaszcz

  committed
  ed4a419

• bugfixes

  lukaszcz

  committed
  1420873

• bugfixes

  lukaszcz

  committed
  4f73fd4

Commits on Nov 28, 2023

• scoped local modules

  lukaszcz

  committed
  53db8be

• fix duplicate dependencies

  lukaszcz

  committed
  9707059

• Merge branch 'main' into per-module-compilation

  lukaszcz

  authored
  e197eb7

Commits on Nov 29, 2023

• Merge branch 'main' into per-module-compilation

  lukaszcz

  authored
  f2468d8

Commits on Dec 1, 2023

• Merge branch 'main' into per-module-compilation

  lukaszcz

  committed
  a3792c3

• Merge branch 'main' into per-module-compilation

  lukaszcz

  authored
  63f8861

• module saving/loading

  lukaszcz

  committed
  578c2b3

Commits on Dec 14, 2023

• Merge branch 'main' into per-module-compilation

  lukaszcz

  committed
  0ae4460

• Fix after merge

  lukaszcz

  committed
  7cd72fb

• bugfixes

  lukaszcz

  committed
  b048ad4

• refactor

  lukaszcz

  committed
  efd76fc

Commits on Dec 15, 2023

• cache visited modules in memory

  lukaszcz

  committed
  085d0ab

• tests compile

  lukaszcz

  committed
  f99426a

• Merge branch 'main' into per-module-compilation

  lukaszcz

  authored
  cf07146

• fix after merge

  lukaszcz

  committed
  b871ffb

Commits on Dec 18, 2023

• fix path resolver errors

  lukaszcz

  committed
  836576f

• fix path resolver errors

  lukaszcz

  committed
  96c5340

• fix scoping local modules

  lukaszcz

  committed
  e9b4dd6

• fix scoper tests

  lukaszcz

  committed
  dfa86e8

• fix alias bug

  lukaszcz

  committed
  dd91517

• fix combined scoped info table

  lukaszcz

  committed
  13ee253

• fix format

  lukaszcz

  committed
  1fbc8bd

• fix markdown test

  lukaszcz

  committed
  06c7f57

• fix geb tests

  lukaszcz

  committed
  916a986

Commits on Dec 19, 2023

• fix info table pruning

  lukaszcz

  committed
  858d1e1

• fix internal to core tests

  lukaszcz

  committed
  21f0e9d

Commits on Dec 20, 2023

• fix dependency builder

  lukaszcz

  committed
  c7e6613

• comment

  lukaszcz

  committed
  1c923a5

• fix pipeline tests

  lukaszcz

  committed
  f7057b0

• fix judoc scoping

  lukaszcz

  committed
  e91cbe0

• fix repl loading

  lukaszcz

  committed
  cc34c77

• fix repl scoping & evaluation

  lukaszcz

  committed
  2ec39b9

Commits on Dec 21, 2023

• fix smoke tests

  lukaszcz

  committed
  768e2fb

• fix repl imports

  lukaszcz

  committed
  3993587

• fix repl

  lukaszcz

  committed
  d7f0afe

• fix double stdin read

  lukaszcz

  committed
  43baaf0

• fix imports on stdin

  lukaszcz

  committed
  9cc0f78

• fix synonyms test

  lukaszcz

  committed
  511f9e2

• lock build dir for parallel tests

  lukaszcz

  committed
  a9db3e4

• fix highlighting

  lukaszcz

  committed
  ea76263

Commits on Dec 22, 2023

• fine-grained locking

  lukaszcz

  committed
  d68d1d2

• fix recursive html generation

  lukaszcz

  committed
  18a21e7

• fix smoke tests

  lukaszcz

  committed
  ab74823

• remove dead code

  lukaszcz

  committed
  6f050e8

• fragile recompilation

  lukaszcz

  committed
  f8559b9