Annotations rebased#193

Open

Dspil wants to merge 91 commits intomasterfrom

annotations_rebased

Commits on Jan 19, 2022

Get MFA to Kfun mappings

aggelgian
authored and
Dspil
committed

Commits on Jan 22, 2022

Commits on Jan 26, 2022

Commits on Jan 27, 2022

updated unification algorithm to try to catch unions
Dspil
committed

Commits on Jan 28, 2022

deconstructed pass_down_types
Dspil
committed

Commits on Jan 29, 2022

Commits on Feb 10, 2022

Commits on Feb 11, 2022

Commits on Feb 12, 2022

Commits on Feb 14, 2022

Commits on Feb 15, 2022

added function spec conversion to erl_types

Dspil
authored and
kostis
committed
Remove unnecessary changes

Dspil
authored and
kostis
committed
Added unit test file for convert_specs

Dspil
authored and
kostis
committed
Verbose printing of the MFA specs

aggelgian
authored and
kostis
committed
Add spec assertions

aggelgian
authored and
kostis
committed
Rename conver_specs to specs_as_erl_types

aggelgian
authored and
kostis
committed
Reverse the Line-Type tuples for consistency

aggelgian
authored and
kostis
committed
Refactor the extraction of type definitions from a kmodule.

aggelgian
authored and
kostis
committed
Rename the names for the fix computation

aggelgian
authored and
kostis
committed
Add examples with remote types

aggelgian
authored and
kostis
committed
Rename unhandled to openset

aggelgian
authored and
kostis
committed
Remove the Change variable

aggelgian
authored and
kostis
committed
Refactor specs_as_erl_types_fix

aggelgian
authored and
kostis
committed
Rerun the module again

aggelgian
authored and
kostis
committed
Remove the inner fixpoint

aggelgian
authored and
kostis
committed
Fix remote types

aggelgian
authored and
kostis
committed
Compute the specs of a module

aggelgian
authored and
kostis
committed
Refactor the update of RecDict

aggelgian
authored and
kostis
committed
Add an example with a bounded fun

aggelgian
authored and
kostis
committed
Refactor removal of bounded funs

aggelgian
authored and
kostis
committed
Refactor record substitution in specs.

aggelgian
authored and
kostis
committed
Update comments

aggelgian
authored and
kostis
committed
Refactor function clause conversion to erl_types

aggelgian
authored and
kostis
committed
Filtered variable renamed to ExpTypes

Dspil
authored and
kostis
committed
better use of erl_types api in cuter_types_test

Dspil
authored and
kostis
committed
Renamed examples_for_type_analysis* to examples_for_spec_conversion*

Dspil
authored and
kostis
committed
Cleanup tests and simplify assertions
kostis
committed
Resolve conflict
kostis
committed
Avoid multiple type names for the same type
kostis
committed
Avoid unnecessary type export and simplification
kostis
committed
Cleanup and simplify cuter_debug
kostis
committed
report specs that couldn't be converted to an erl_type
Dspil
committed
Merge branch 'erl_types_signatures' of github.com:cuter-testing/cuter into erl_types_signatures
Dspil
committed
removed unnecessary function mfa_to_string from cuter_types.erl
Dspil
committed
moved mfa_to_string/1 from cuter_tests_lib.erl to cuter_types.erl
Dspil
committed

Commits on Feb 17, 2022

Commits on Mar 17, 2022

cuter graphs update
Dspil
committed

Commits on Apr 7, 2022

Commits on May 8, 2022