Code

Annotations rebased#193

Code

Open

Dspil wants to merge 91 commits intomastercuter-testing/cuter:masterfrom annotations_rebasedcuter-testing/cuter:annotations_rebasedCopy head branch name to clipboard

+3,686-282

Commits

Commits on Jan 19, 2022

• Get MFA to Kfun mappings

  Show description for 37bb194
  

  aggelgian

  authored and

  Dspil

  committed
  37bb194

  Copy full SHA for 37bb194

Commits on Jan 22, 2022

• kmodule api refactor

  Dspil

  committed
  c702f3b

  Copy full SHA for c702f3b

• kmodule api updated

  Dspil

  committed
  956d5ae

  Copy full SHA for 956d5ae

• kmodule api update

  Dspil

  committed
  4c78b6e

  Copy full SHA for 4c78b6e

• kmodule api update

  Dspil

  committed
  18559fa

  Copy full SHA for 18559fa

• utest fixed

  Dspil

  committed
  d676160

  Copy full SHA for d676160

Commits on Jan 26, 2022

• updated mark unreachable clauses logic

  Dspil

  committed
  196c8b2

  Copy full SHA for 196c8b2

• bugfix to type_dependent_unreachable annotation stacking

  Dspil

  committed
  b1308b0

  Copy full SHA for b1308b0

• made openset in passing down types fix point computation a queue

  Dspil

  committed
  d8aadcc

  Copy full SHA for d8aadcc

Commits on Jan 27, 2022

• updated unification algorithm to try to catch unions

  Dspil

  committed
  8ef1360

  Copy full SHA for 8ef1360

Commits on Jan 28, 2022

• deconstructed pass_down_types

  Dspil

  committed
  e3666b1

  Copy full SHA for e3666b1

Commits on Jan 29, 2022

• type inference for nested functions

  Dspil

  committed
  9cc6871

  Copy full SHA for 9cc6871

• nested functions supported in maybe_error annotation

  Dspil

  committed
  11fe091

  Copy full SHA for 11fe091

Commits on Feb 10, 2022

• Tracking master changes

  Dspil

  committed
  3b3c608

  Copy full SHA for 3b3c608

• added function spec conversion to erl_types

  Dspil

  committed
  1f393b9

  Copy full SHA for 1f393b9

Commits on Feb 11, 2022

• refactored cuter_types.erl

  Dspil

  committed
  691b2b4

  Copy full SHA for 691b2b4

• name change to parse_specs

  Dspil

  committed
  57b0cb5

  Copy full SHA for 57b0cb5

• Remove unnecessary changes

  Dspil

  committed
  45e84ae

  Copy full SHA for 45e84ae

• Added unit test file for convert_specs

  Dspil

  committed
  364d844

  Copy full SHA for 364d844

Commits on Feb 12, 2022

• Verbose printing of the MFA specs

  aggelgian

  committed
  1cb83ef

  Copy full SHA for 1cb83ef

• Add spec assertions

  aggelgian

  committed
  c08e7b0

  Copy full SHA for c08e7b0

• Rename conver_specs to specs_as_erl_types

  aggelgian

  committed
  6e6b8ce

  Copy full SHA for 6e6b8ce

• Reverse the Line-Type tuples for consistency

  aggelgian

  committed
  1a41999

  Copy full SHA for 1a41999

• Refactor the extraction of type definitions from a kmodule.

  aggelgian

  committed
  1bbf420

  Copy full SHA for 1bbf420

• Rename the names for the fix computation

  aggelgian

  committed
  deaa7c3

  Copy full SHA for deaa7c3

• Add examples with remote types

  aggelgian

  committed
  ba8b6c3

  Copy full SHA for ba8b6c3

• Rename unhandled to openset

  aggelgian

  committed
  f12a2d6

  Copy full SHA for f12a2d6

• Remove the Change variable

  aggelgian

  committed
  1a1cf7d

  Copy full SHA for 1a1cf7d

• Refactor specs_as_erl_types_fix

  aggelgian

  committed
  c49ded6

  Copy full SHA for c49ded6

• Rerun the module again

  aggelgian

  committed
  33feb42

  Copy full SHA for 33feb42

• Remove the inner fixpoint

  aggelgian

  committed
  cedbfee

  Copy full SHA for cedbfee

• Fix remote types

  aggelgian

  committed
  60e417c

  Copy full SHA for 60e417c

• Compute the specs of a module

  aggelgian

  committed
  5e20572

  Copy full SHA for 5e20572

• Refactor the update of RecDict

  aggelgian

  committed
  bdde60c

  Copy full SHA for bdde60c

• Add an example with a bounded fun

  aggelgian

  committed
  00fbab6

  Copy full SHA for 00fbab6

• Refactor removal of bounded funs

  aggelgian

  committed
  b1a21f4

  Copy full SHA for b1a21f4

• Refactor record substitution in specs.

  aggelgian

  committed
  c8cfc8e

  Copy full SHA for c8cfc8e

• Update comments

  aggelgian

  committed
  057eb9c

  Copy full SHA for 057eb9c

• Refactor function clause conversion to erl_types

  aggelgian

  committed
  60d8d88

  Copy full SHA for 60d8d88

Commits on Feb 14, 2022

• Filtered variable renamed to ExpTypes

  Dspil

  committed
  dc2a57a

  Copy full SHA for dc2a57a

• better use of erl_types api in cuter_types_test

  Dspil

  committed
  6c39131

  Copy full SHA for 6c39131

• Renamed examples_for_type_analysis* to examples_for_spec_conversion*

  Dspil

  committed
  82a12c3

  Copy full SHA for 82a12c3

Commits on Feb 15, 2022

• added function spec conversion to erl_types

  

  Dspil

  authored and

  kostis

  committed
  53f7631

  Copy full SHA for 53f7631

• Remove unnecessary changes

  

  Dspil

  authored and

  kostis

  committed
  188a30b

  Copy full SHA for 188a30b

• Added unit test file for convert_specs

  

  Dspil

  authored and

  kostis

  committed
  111cb5d

  Copy full SHA for 111cb5d

• Verbose printing of the MFA specs

  

  aggelgian

  authored and

  kostis

  committed
  f2c64ec

  Copy full SHA for f2c64ec

• Add spec assertions

  

  aggelgian

  authored and

  kostis

  committed
  daa490c

  Copy full SHA for daa490c

• Rename conver_specs to specs_as_erl_types

  

  aggelgian

  authored and

  kostis

  committed
  13ae42c

  Copy full SHA for 13ae42c

• Reverse the Line-Type tuples for consistency

  

  aggelgian

  authored and

  kostis

  committed
  21a922d

  Copy full SHA for 21a922d

• Refactor the extraction of type definitions from a kmodule.

  

  aggelgian

  authored and

  kostis

  committed
  eb8194f

  Copy full SHA for eb8194f

• Rename the names for the fix computation

  

  aggelgian

  authored and

  kostis

  committed
  4afdaac

  Copy full SHA for 4afdaac

• Add examples with remote types

  

  aggelgian

  authored and

  kostis

  committed
  91a2003

  Copy full SHA for 91a2003

• Rename unhandled to openset

  

  aggelgian

  authored and

  kostis

  committed
  613253d

  Copy full SHA for 613253d

• Remove the Change variable

  

  aggelgian

  authored and

  kostis

  committed
  5047114

  Copy full SHA for 5047114

• Refactor specs_as_erl_types_fix

  

  aggelgian

  authored and

  kostis

  committed
  358e075

  Copy full SHA for 358e075

• Rerun the module again

  

  aggelgian

  authored and

  kostis

  committed
  10f76c0

  Copy full SHA for 10f76c0

• Remove the inner fixpoint

  

  aggelgian

  authored and

  kostis

  committed
  a378ab3

  Copy full SHA for a378ab3

• Fix remote types

  

  aggelgian

  authored and

  kostis

  committed
  55a136b

  Copy full SHA for 55a136b

• Compute the specs of a module

  

  aggelgian

  authored and

  kostis

  committed
  3478003

  Copy full SHA for 3478003

• Refactor the update of RecDict

  

  aggelgian

  authored and

  kostis

  committed
  51b2fbb

  Copy full SHA for 51b2fbb

• Add an example with a bounded fun

  

  aggelgian

  authored and

  kostis

  committed
  728884d

  Copy full SHA for 728884d

• Refactor removal of bounded funs

  

  aggelgian

  authored and

  kostis

  committed
  035bc06

  Copy full SHA for 035bc06

• Refactor record substitution in specs.

  

  aggelgian

  authored and

  kostis

  committed
  82f8810

  Copy full SHA for 82f8810

• Update comments

  

  aggelgian

  authored and

  kostis

  committed
  e04b2ed

  Copy full SHA for e04b2ed

• Refactor function clause conversion to erl_types

  

  aggelgian

  authored and

  kostis

  committed
  7e39824

  Copy full SHA for 7e39824

• Filtered variable renamed to ExpTypes

  

  Dspil

  authored and

  kostis

  committed
  b637f9c

  Copy full SHA for b637f9c

• better use of erl_types api in cuter_types_test

  

  Dspil

  authored and

  kostis

  committed
  5baca75

  Copy full SHA for 5baca75

• Renamed examples_for_type_analysis* to examples_for_spec_conversion*

  

  Dspil

  authored and

  kostis

  committed
  9818b2e

  Copy full SHA for 9818b2e

• Cleanup tests and simplify assertions

  kostis

  committed
  d19d0fa

  Copy full SHA for d19d0fa

• Resolve conflict

  kostis

  committed
  e4a422a

  Copy full SHA for e4a422a

• Avoid multiple type names for the same type

  kostis

  committed
  03cbaf2

  Copy full SHA for 03cbaf2

• Avoid unnecessary type export and simplification

  kostis

  committed
  6926f9b

  Copy full SHA for 6926f9b

• Cleanup and simplify cuter_debug

  kostis

  committed
  48c19af

  Copy full SHA for 48c19af

• report specs that couldn't be converted to an erl_type

  Dspil

  committed
  1f8b33b

  Copy full SHA for 1f8b33b

• Merge branch 'erl_types_signatures' of github.com:cuter-testing/cuter into erl_types_signatures

  Dspil

  committed
  35dff54

  Copy full SHA for 35dff54

• removed unnecessary function mfa_to_string from cuter_types.erl

  Dspil

  committed
  0d4de21

  Copy full SHA for 0d4de21

• moved mfa_to_string/1 from cuter_tests_lib.erl to cuter_types.erl

  Dspil

  committed
  6eff159

  Copy full SHA for 6eff159

Commits on Feb 16, 2022

• Code cleanups (and better warning slogan)

  kostis

  committed
  e95f6b1

  Copy full SHA for e95f6b1

• added temporary call to cuter_types:specs_as_erl_types/1

  Dspil

  committed
  5bd01b8

  Copy full SHA for 5bd01b8

• Graceful shutdown during exceptions in initialization

  Dspil

  committed
  96aa8db

  Copy full SHA for 96aa8db

• Print the error message

  Dspil

  committed
  0d85883

  Copy full SHA for 0d85883

• Generalize free variables in bounded funs

  Dspil

  committed
  5d7911d

  Copy full SHA for 5d7911d

Commits on Feb 17, 2022

• Merge branch 'master' into erl_types_signatures

  kostis

  authored
  1532866

  Copy full SHA for 1532866

• added unit tests for cuter_graphs.erl

  Dspil

  committed
  5be600f

  Copy full SHA for 5be600f

• Merge branch 'master' into annotations_rebased

  Dspil

  committed
  7116531

  Copy full SHA for 7116531

Commits on Mar 17, 2022

• cuter graphs update

  Dspil

  committed
  b7d8038

  Copy full SHA for b7d8038

Commits on Apr 7, 2022

• Merge erl_types_signatures into annotations_rebased

  Dspil

  committed
  3737b74

  Copy full SHA for 3737b74

• bugfix

  Dspil

  committed
  15d6a8e

  Copy full SHA for 15d6a8e

• changes from eval options pr

  Dspil

  committed
  9e2c56a

  Copy full SHA for 9e2c56a

Commits on May 8, 2022

• comment and refactor cuter_spec_checker

  Dspil

  committed
  45b5061

  Copy full SHA for 45b5061

• more refactoring and comments

  Dspil

  committed
  a0a21bb

  Copy full SHA for a0a21bb