pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f7903007ee'
${ noResults }
infer_clone/infer/src/nullsafe
History
Jules Villard c19d9254b4
[typ] make use of pretty printers instead of strings 		6 years ago
..
AnnotatedSignature.ml [typ] make use of pretty printers instead of strings 6 years ago
AnnotatedSignature.mli [nullsafe] Convert AnnotatedSignature subtypes from tuples to records 6 years ago
NullabilityCheck.ml [specs] put specs files operations in their own module 6 years ago
NullabilityCheck.mli [copyright] Remove years 6 years ago
NullabilitySuggest.ml [infer] Make infer respect external-packages param 6 years ago
NullabilitySuggest.mli [copyright] Remove years 6 years ago
NullsafeType.ml [nullsafe] Introduce NullsafeType abstraction 6 years ago
NullsafeType.mli [nullsafe] Introduce NullsafeType abstraction 6 years ago
eradicate.ml [nullsafe] Convert AnnotatedSignature subtypes from tuples to records 6 years ago
eradicate.mli [copyright] Remove years 6 years ago
eradicateCheckers.ml [copyright] Remove years 6 years ago
eradicateCheckers.mli [copyright] Remove years 6 years ago
eradicateChecks.ml [nullsafe] Convert AnnotatedSignature subtypes from tuples to records 6 years ago
immutableChecker.ml Remove redundant fields from proc_callback_args 6 years ago
immutableChecker.mli [copyright] Remove years 6 years ago
modelTables.ml [nullsafe] Don't mention "unannotated" in Models 6 years ago
modelTables.mli [nullsafe] Don't mention "unannotated" in Models 6 years ago
models.ml [nullsafe] Don't mention "unannotated" in Models 6 years ago
typeAnnotation.ml [nullsafe] remove 'annotation' abstraction. 6 years ago
typeAnnotation.mli [nullsafe] Remove functionality for @Present annotations 6 years ago
typeCheck.ml [nullsafe] Convert AnnotatedSignature subtypes from tuples to records 6 years ago
typeCheck.mli [copyright] Remove years 6 years ago
typeErr.ml [nullsafe] Convert AnnotatedSignature subtypes from tuples to records 6 years ago
typeErr.mli [nullsafe] Remove special treatment of @Nonnull for "Condition Redundant" check 6 years ago
typeOrigin.ml [nullsafe] Don't mention "unannotated" in Models 6 years ago
typeOrigin.mli [copyright] Remove years 6 years ago
typeState.ml [eradicate] remove the constant flag only_keep_intersection 6 years ago
typeState.mli [copyright] Remove years 6 years ago