Code

New backend (elpi 2.0)#269

Code

Merged

gares merged 52 commits intomasterLPCIC/elpi:masterfrom scoped-termLPCIC/elpi:scoped-termCopy head branch name to clipboardNov 22, 2024

Commits

Commits on Nov 21, 2024

• [scopedterm] add Impl constructor

  

  FissoreD

  authored and

  gares

  committed
  8fb9857

  Copy full SHA for 8fb9857

• new compiler

  gares

  committed
  27de13e

  Copy full SHA for 27de13e

• Merge pull request #279 from FissoreD/scope-term

  Show description for 51baebb
  gares

  committed
  51baebb

  Copy full SHA for 51baebb

• new compiler

  gares

  committed
  22fce69

  Copy full SHA for 22fce69

• fix test suite

  gares

  committed
  ff3ba42

  Copy full SHA for ff3ba42

• [functionality] add functionality field to program

  

  FissoreD

  authored and

  gares

  committed
  d26d9b5

  Copy full SHA for d26d9b5

• [functionality] polymorphic functional typeabbrev taken into account

  

  FissoreD

  authored and

  gares

  committed
  583e203

  Copy full SHA for 583e203

• [functionality] change type functionality

  

  FissoreD

  authored and

  gares

  committed
  ce02c8e

  Copy full SHA for ce02c8e

• [functionality] add functionality tests

  

  FissoreD

  authored and

  gares

  committed
  01fd930

  Copy full SHA for 01fd930

• [functionality] head check

  

  FissoreD

  authored and

  gares

  committed
  6086af1

  Copy full SHA for 6086af1

• [functionality] test heads rename

  

  FissoreD

  authored and

  gares

  committed
  e76ff0e

  Copy full SHA for e76ff0e

• [test] option LN_NB to set max size of log error printing

  

  FissoreD

  authored and

  gares

  committed
  2bab2e6

  Copy full SHA for 2bab2e6

• [functionality] remove Prop from ScopedTypeExpression.t + add precomputed_functional_preds to checked_compilation_unit

  

  FissoreD

  authored and

  gares

  committed
  6638b1b

  Copy full SHA for 6638b1b

• Merge pull request #280 from FissoreD/scope-term

  Show description for c50cbe4
  gares

  committed
  c50cbe4

  Copy full SHA for c50cbe4

• fix computation of type checking time

  gares

  committed
  59dc5e9

  Copy full SHA for 59dc5e9

• [compiler] pass id to global constructor

  

  FissoreD

  authored and

  gares

  committed
  7c68b6d

  Copy full SHA for 7c68b6d

• cleanup Scope.Global type

  gares

  committed
  87b624f

  Copy full SHA for 87b624f

• reorganize src/ into src/compiler/ and src/runtime/

  gares

  committed
  d58b7c0

  Copy full SHA for d58b7c0

• [determinacy] refactor determinacy checker (working with unique type ids)

  

  FissoreD

  authored and

  gares

  committed
  4089cdd

  Copy full SHA for 4089cdd

• separate compiler

  gares

  committed
  2801fee

  Copy full SHA for 2801fee

• [determinacy] remove dead code

  

  FissoreD

  authored and

  gares

  committed
  19d1566

  Copy full SHA for 19d1566

• checker: suggest inferred types

  gares

  committed
  212a018

  Copy full SHA for 212a018

• Merge pull request #283 from FissoreD/funct_with_unique_id

  Show description for 4a63f14
  gares

  committed
  4a63f14

  Copy full SHA for 4a63f14

• [compiler] merge_skema respect order of types

  

  FissoreD

  authored and

  gares

  committed
  3e60d84

  Copy full SHA for 3e60d84

• new compiler

  gares

  committed
  4e7cd8e

  Copy full SHA for 4e7cd8e

• Merge pull request #284 from FissoreD/merge_skema

  Show description for 4a346d9
  gares

  committed
  4a346d9

  Copy full SHA for 4a346d9

• new compiler

  gares

  committed
  9b15e83

  Copy full SHA for 9b15e83

• ci

  gares

  committed
  036fc6c

  Copy full SHA for 036fc6c

• Merge remote-tracking branch 'origin/master' into scoped-term

  gares

  committed
  de65b98

  Copy full SHA for de65b98

• new compiler

  gares

  committed
  e70949b

  Copy full SHA for e70949b

• warning for A => B, C

  gares

  committed
  bcf27b9

  Copy full SHA for bcf27b9

• improve error message

  gares

  committed
  21b05df

  Copy full SHA for 21b05df

• improve warn

  gares

  committed
  dac9ad6

  Copy full SHA for dac9ad6

• fix loc type

  gares

  committed
  fb519af

  Copy full SHA for fb519af

• better test

  gares

  committed
  4b23c38

  Copy full SHA for 4b23c38

• cleanup generation of uvars during goal compilation

  gares

  committed
  73e80eb

  Copy full SHA for 73e80eb

• new API for accumulating a signature

  gares

  committed
  6958084

  Copy full SHA for 6958084

• fix macro duplication

  gares

  committed
  70aaf8e

  Copy full SHA for 70aaf8e

• add notion of unit signature

  gares

  committed
  134224e

  Copy full SHA for 134224e

• cleanup loc

  gares

  committed
  bea3c19

  Copy full SHA for bea3c19

• parser

  gares

  committed
  2bd1dd8

  Copy full SHA for 2bd1dd8

• ifdef on version

  gares

  committed
  4fae3c7

  Copy full SHA for 4fae3c7

• improve message

  gares

  committed
  9589f2a

  Copy full SHA for 9589f2a

• improve errors on builtins

  gares

  committed
  597608e

  Copy full SHA for 597608e

• units can carry builtins

  gares

  committed
  af9b022

  Copy full SHA for af9b022

• complete error messages

  gares

  committed
  9ef6851

  Copy full SHA for 9ef6851

• update doc

  gares

  committed
  a7950cc

  Copy full SHA for a7950cc

• cleanup

  gares

  committed
  37c540d

  Copy full SHA for 37c540d

• expose ScopedProgram in the API

  gares

  committed
  98395c1

  Copy full SHA for 98395c1

Commits on Nov 22, 2024

• cleanup

  gares

  committed
  c5559b4

  Copy full SHA for c5559b4

• CI

  gares

  committed
  7169481

  Copy full SHA for 7169481

• fix computation of needs_spilling

  gares

  committed
  e540bd7

  Copy full SHA for e540bd7