Code

Progress on the C backend#671

Code

Merged

AltGr merged 75 commits intomasterCatalaLang/catala:masterfrom crunCatalaLang/catala:crunCopy head branch name to clipboardSep 26, 2024

+5,006-2,325

Commits

Commits on Aug 9, 2024

• WIP: completing the C runtime

  AltGr

  committed
  58234d1

  Copy full SHA for 58234d1

• C runtime: dumber and faster allocator

  AltGr

  committed
  cbda06e

  Copy full SHA for cbda06e

• C runtime: all these operators

  AltGr

  committed
  7fad2f8

  Copy full SHA for 7fad2f8

• WIP C runtime

  AltGr

  committed
  62260f8

  Copy full SHA for 62260f8

• C runtime: it appears monomorphisation is not needed at this point

  Show description for e113702
  AltGr

  committed
  e113702

  Copy full SHA for e113702

• Some more work in progress for the C backend

  Show description for bd7961b
  AltGr

  committed
  bd7961b

  Copy full SHA for bd7961b

• Disable polymorphic equality

  Show description for 74ce540
  AltGr

  committed
  74ce540

  Copy full SHA for 74ce540

• C backend: now tests/arithmetic/good/rounding.catala_en seems to run

  AltGr

  committed
  34a8c6f

  Copy full SHA for 34a8c6f

• C backend: more progress, fixed handling of closures

  AltGr

  committed
  7f256f0

  Copy full SHA for 7f256f0

• Add monomorphised Eq operator on booleans

  AltGr

  committed
  1f7712f

  Copy full SHA for 1f7712f

• C backend: improve layout

  AltGr

  committed
  5d5e18b

  Copy full SHA for 5d5e18b

• C backend: cleanup static ITE, cleanup printer

  AltGr

  committed
  9bdd965

  Copy full SHA for 9bdd965

• C backend: handle enums

  AltGr

  committed
  7cd277e

  Copy full SHA for 7cd277e

• C backend: do more initialisations at declaration

  Show description for 60a5d21
  AltGr

  committed
  60a5d21

  Copy full SHA for 60a5d21

• Optimisations: simplify default terms with no exceptions

  Show description for efa0a52
  AltGr

  committed
  efa0a52

  Copy full SHA for efa0a52

• C backend: Lift position declarations

  Show description for 1f739d6
  AltGr

  committed
  1f739d6

  Copy full SHA for 1f739d6

• C backend: mark const everything that can be

  AltGr

  committed
  1fc0e92

  Copy full SHA for 1fc0e92

• C backend: now passing all array tests

  AltGr

  committed
  84651a3

  Copy full SHA for 84651a3

• Tweaks in scalc

  Show description for 3f6d8bf
  AltGr

  committed
  3f6d8bf

  Copy full SHA for 3f6d8bf

• Implement expansion of equality tests

  Show description for edb8db9
  AltGr

  committed
  edb8db9

  Copy full SHA for edb8db9

• Reformat

  AltGr

  committed
  8405301

  Copy full SHA for 8405301

Commits on Aug 30, 2024

• Merge commit origin/master into crun

  AltGr

  committed
  7def9a2

  Copy full SHA for 7def9a2

• Fix renaming of the Option enum constructors

  AltGr

  committed
  f69f87a

  Copy full SHA for f69f87a

• C backend: workaround renaming of position idents

  Show description for 38a15e4
  AltGr

  committed
  38a15e4

  Copy full SHA for 38a15e4

• Implement lifting of positions at the scalc level

  Show description for da101ea
  AltGr

  committed
  da101ea

  Copy full SHA for da101ea

• Fix: avoid hard failure on position printing when file changed

  Show description for dd7b21b
  AltGr

  committed
  dd7b21b

  Copy full SHA for dd7b21b

• Closure conversion: discard special handling of fct ops

  Show description for 7aefdb5
  AltGr

  committed
  7aefdb5

  Copy full SHA for 7aefdb5

• Plugin loader: improve message on failed load

  AltGr

  committed
  d3d7bf9

  Copy full SHA for d3d7bf9

• Tweak the interpreter to transparently support closures as operator args

  Show description for 4e5b47b
  AltGr

  committed
  4e5b47b

  Copy full SHA for 4e5b47b

• Python backend: fix handling of operations that can raise

  AltGr

  committed
  7819a0a

  Copy full SHA for 7819a0a

• Manpage improvements

  Show description for 9450e3a
  AltGr

  committed
  9450e3a

  Copy full SHA for 9450e3a

• Closure conversion: restore non-transformation of higher order ops under a flag

  Show description for a971260
  AltGr

  committed
  a971260

  Copy full SHA for a971260

• Printer: print the actual variables binding scopes, topdefs

  AltGr

  committed
  395d9b9

  Copy full SHA for 395d9b9

• Lcalc: enable correct renaming of idents when printing

  Show description for b42be4a
  AltGr

  committed
  b42be4a

  Copy full SHA for b42be4a

Commits on Sep 2, 2024

• Merge remote-tracking branch 'origin/master' into crun

  AltGr

  committed
  2f78d05

  Copy full SHA for 2f78d05

• Forward visibility information of scopes/topdefs in the ctx

  Show description for 671ada5
  AltGr

  committed
  671ada5

  Copy full SHA for 671ada5

• Renaming: make renaming of public idents stable

  Show description for 2d9b2ed
  AltGr

  committed
  2d9b2ed

  Copy full SHA for 2d9b2ed

• Move struct_or_enum type to generic TypeIdent.t

  Show description for f2ac1e3
  AltGr

  committed
  f2ac1e3

  Copy full SHA for f2ac1e3

• Forward visibility information on struct/enums

  AltGr

  committed
  69202b9

  Copy full SHA for 69202b9

• Renaming: ensure stability of type idents as well

  Show description for 329fa6c
  AltGr

  committed
  329fa6c

  Copy full SHA for 329fa6c

• OCaml backend: only export public idents

  AltGr

  committed
  4c354d7

  Copy full SHA for 4c354d7

• Update test references

  AltGr

  committed
  5088832

  Copy full SHA for 5088832

• Fixes to renamings, scalc and C backend

  AltGr

  committed
  e97f2dd

  Copy full SHA for e97f2dd

• Reformat

  AltGr

  committed
  cb88cb0

  Copy full SHA for cb88cb0

Commits on Sep 4, 2024

• Fix a few remaining renaming glitches

  AltGr

  committed
  634de67

  Copy full SHA for 634de67

• Cleanup commented code (in particular related to scalc SpecialOps)

  Show description for 59d6103
  AltGr

  committed
  59d6103

  Copy full SHA for 59d6103

Commits on Sep 5, 2024

• C runtime fixes

  AltGr

  committed
  0e220ba

  Copy full SHA for 0e220ba

• Renaming: use __N suffixes rather than just N

  Show description for e91bf3b
  AltGr

  committed
  e91bf3b

  Copy full SHA for e91bf3b

Commits on Sep 6, 2024

• Scalc translation: rework to avoid unneeded intermediate vars

  AltGr

  committed
  6dad83e

  Copy full SHA for 6dad83e

• Scalc backends: inline arguments of enums

  Show description for 9c10e7f
  AltGr

  committed
  9c10e7f

  Copy full SHA for 9c10e7f

• Fix the application of naming rules on the scalc translation

  AltGr

  committed
  2ef2666

  Copy full SHA for 2ef2666

• One more fix for variable names in scalc

  AltGr

  committed
  06937a0

  Copy full SHA for 06937a0

• We can keep scope idents capitalised in Python

  AltGr

  committed
  62d9270

  Copy full SHA for 62d9270

• Renaming: forbid use of x within <e> in let x = <e> in ...

  Show description for 77607ac
  AltGr

  committed
  77607ac

  Copy full SHA for 77607ac

• Some more scalc/c/renaming tweaks

  Show description for d3f4b58
  AltGr

  committed
  d3f4b58

  Copy full SHA for d3f4b58

Commits on Sep 10, 2024

• Fix the date - duration operator to handle date rounding mode

  Show description for 20c3749
  AltGr

  committed
  20c3749

  Copy full SHA for 20c3749

Commits on Sep 11, 2024

• Properly link and use dates_calc into the C runtime, and use header files

  Show description for d0bc112
  AltGr

  committed
  d0bc112

  Copy full SHA for d0bc112

• Scalc printer: be explicit about inits

  AltGr

  committed
  e1b5e2c

  Copy full SHA for e1b5e2c

• Marvelous hack to handle lazy constant initialisation in C

  AltGr

  committed
  ff18ee0

  Copy full SHA for ff18ee0

Commits on Sep 13, 2024

• C backend: better ensure consistent declarations and mallocs

  AltGr

  committed
  22a16c2

  Copy full SHA for 22a16c2

• scalc translation: simplify local bindings implem

  Show description for 313eff4
  AltGr

  committed
  313eff4

  Copy full SHA for 313eff4

• C backend: all tests pass but modules

  Show description for c27f1c4
  AltGr

  committed
  c27f1c4

  Copy full SHA for c27f1c4

• C backend: fix a few priority and closure-env cast issues

  AltGr

  committed
  2e312c3

  Copy full SHA for 2e312c3

• C backend: WIP handling mixed const/non-const inits

  Show description for ee56965
  AltGr

  committed
  ee56965

  Copy full SHA for ee56965

Commits on Sep 16, 2024

• C backend: fix handling of struct inits that may be const or not

  Show description for 2e68915
  AltGr

  committed
  2e68915

  Copy full SHA for 2e68915

Commits on Sep 17, 2024

• C backend: qualify definitions with module name

  AltGr

  committed
  5ca3702

  Copy full SHA for 5ca3702

• Cleanup: add function for more direct stringification of uids

  AltGr

  committed
  59afc7f

  Copy full SHA for 59afc7f

• C backend: first module handling proto using raw #include

  AltGr

  committed
  dd6ef8b

  Copy full SHA for dd6ef8b

Commits on Sep 23, 2024

• C backend: generate .h files and use them for imported modules

  Show description for f50f387
  AltGr

  committed
  f50f387

  Copy full SHA for f50f387

• Clerk: compilation to C

  AltGr

  committed
  7f929a3

  Copy full SHA for 7f929a3

• Clerk: consistent capitalisation of module filenames

  Show description for ea0ab3c
  AltGr

  committed
  ea0ab3c

  Copy full SHA for ea0ab3c

• Cleanup: pass visibility info down to scalc

  AltGr

  committed
  a20bdc8

  Copy full SHA for a20bdc8

Commits on Sep 25, 2024

• Python backend: fix handling of renamed modules

  AltGr

  committed
  270d33f

  Copy full SHA for 270d33f

• Finalisation of the C backend PR

  AltGr

  committed
  aa8bc35

  Copy full SHA for aa8bc35

• Add tiny C runtime unit test

  AltGr

  committed
  156afa7

  Copy full SHA for 156afa7