Code

Big cleanup#45

Code

Merged

sonmarcho merged 42 commits intomainAeneasVerif/aeneas:mainfrom son_merge_typesAeneasVerif/aeneas:son_merge_typesCopy head branch name to clipboardNov 22, 2023

+12,538-11,526

Commits

Commits on Nov 12, 2023

• Remove the 'r type variable from the ty type definition

  sonmarcho

  committed
  b9f33bd

  Copy full SHA for b9f33bd

• Rename some variants

  sonmarcho

  committed
  0a5859f

  Copy full SHA for 0a5859f

• Prefix variants related to types with "T"

  sonmarcho

  committed
  6ef68fa

  Copy full SHA for 6ef68fa

• Add the "V" prefix to most variants related to values

  sonmarcho

  committed
  746239e

  Copy full SHA for 746239e

Commits on Nov 13, 2023

• Add RegionsHierarchy.ml

  sonmarcho

  committed
  6c88d30

  Copy full SHA for 6c88d30

• Make minor modifications

  sonmarcho

  committed
  cb179ba

  Copy full SHA for cb179ba

• Normalize the types when computing the regions hierarchies

  sonmarcho

  committed
  4192258

  Copy full SHA for 4192258

Commits on Nov 15, 2023

• Start updating the name type, cleanup the names and the module abbrevs

  sonmarcho

  committed
  21e3b71

  Copy full SHA for 21e3b71

• Do more cleanup

  sonmarcho

  committed
  15f1349

  Copy full SHA for 15f1349

• Do more cleanup

  sonmarcho

  committed
  e0351ad

  Copy full SHA for e0351ad

Commits on Nov 16, 2023

• Finish propagating the changes to the names and cleaning

  sonmarcho

  committed
  a27efd1

  Copy full SHA for a27efd1

• Rename Driver.ml to Main.ml

  sonmarcho

  committed
  4972f21

  Copy full SHA for 4972f21

• Update SymbolicToPure.eliminate_box_functions

  sonmarcho

  committed
  9ab6a03

  Copy full SHA for 9ab6a03

• Do more cleanup

  sonmarcho

  committed
  0757cde

  Copy full SHA for 0757cde

• Fix a minor issue

  sonmarcho

  committed
  4a3779d

  Copy full SHA for 4a3779d

Commits on Nov 20, 2023

• Use the name matcher implemented in Charon

  sonmarcho

  committed
  672ceef

  Copy full SHA for 672ceef

• Fix minor issues

  sonmarcho

  committed
  5aa37b3

  Copy full SHA for 5aa37b3

• Fix minor issues

  sonmarcho

  committed
  db58a6b

  Copy full SHA for db58a6b

Commits on Nov 21, 2023

• Fix issues with the builtin names

  sonmarcho

  committed
  dcd34ce

  Copy full SHA for dcd34ce

• Update the standard libraries

  sonmarcho

  committed
  c3b6ad3

  Copy full SHA for c3b6ad3

• Update more names

  sonmarcho

  committed
  1dbdd9e

  Copy full SHA for 1dbdd9e

• Make a minor modification

  sonmarcho

  committed
  00882b8

  Copy full SHA for 00882b8

• Regenerate most of the test files

  sonmarcho

  committed
  5e92ae6

  Copy full SHA for 5e92ae6

• Regenerate the Traits files

  sonmarcho

  committed
  46ab0fc

  Copy full SHA for 46ab0fc

• Regenerate the betree files

  sonmarcho

  committed
  753f7e7

  Copy full SHA for 753f7e7

• Rename PrimitiveValues to Values

  sonmarcho

  committed
  f852e1a

  Copy full SHA for f852e1a

• Add an is_local field to declarations

  sonmarcho

  committed
  e94cd72

  Copy full SHA for e94cd72

• Add span information to the generated code

  sonmarcho

  committed
  77ba13b

  Copy full SHA for 77ba13b

• Make minor updates to the extraction of spans

  sonmarcho

  committed
  d564a01

  Copy full SHA for d564a01

• Regenerate the files

  sonmarcho

  committed
  137cc73

  Copy full SHA for 137cc73

• Reorganize the "Extract" files

  sonmarcho

  committed
  b916f69

  Copy full SHA for b916f69

• Update the generation of names for the parent trait clauses

  sonmarcho

  committed
  42a0a49

  Copy full SHA for 42a0a49

• Improve the generation of parent clause names

  sonmarcho

  committed
  66e0535

  Copy full SHA for 66e0535

• Regenerate the files

  sonmarcho

  committed
  184e27b

  Copy full SHA for 184e27b

Commits on Nov 22, 2023

• Improve further the generation of parent clause/trait clause names

  sonmarcho

  committed
  ba66f35

  Copy full SHA for ba66f35

• Regenerate the test files

  sonmarcho

  committed
  84a505e

  Copy full SHA for 84a505e

• Use NameMatcher.NameMatcherMap instead of associative lists

  sonmarcho

  committed
  724ff98

  Copy full SHA for 724ff98

• Make a minor modification

  sonmarcho

  committed
  4caed6d

  Copy full SHA for 4caed6d

• Cleanup a bit

  sonmarcho

  committed
  5c3a798

  Copy full SHA for 5c3a798

• Update the flake.lock

  sonmarcho

  committed
  138ba20

  Copy full SHA for 138ba20

• Fix an issue with the nix flake and update the flake.lock

  sonmarcho

  committed
  d163bb8

  Copy full SHA for d163bb8

• Update the flake.lock

  sonmarcho

  committed
  01cfd89

  Copy full SHA for 01cfd89