index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
compiler
/
src
/
beam_validator.erl
Age
Commit message (
Expand
)
Author
2019-03-18
beam_validator: Infer types on both sides of '=:='
John Högberg
2019-03-06
beam_validator: Express test_arity/is_tagged_tuple as type tests
John Högberg
2019-03-06
beam_validator: Fix type subtraction on select_* and inequality
John Högberg
2019-03-05
beam_validator: Style fix for asserts in list comprehensions
John Högberg
2019-03-05
beam_validator: Infer types from bs_put instructions
John Högberg
2019-03-05
beam_validator: is_map no longer needs special treatment
John Högberg
2019-03-05
beam_validator: Refactor type conflict resolution
John Högberg
2019-03-05
beam_validator: Refactor branch handling
John Högberg
2019-03-04
beam_validator: Fix element/2 BIF handling
John Högberg
2019-03-04
beam_validator: Rename get_move_term_type and clean up get_raw_type
John Högberg
2019-02-27
beam_validator: Clarify a comment
John Högberg
2019-02-27
beam_validator: Make call argument validation stricter
John Högberg
2019-02-27
beam_validator: Don't explode when building terms in receive
John Högberg
2019-02-27
beam_validator: Improve 'binary' type tracking
John Högberg
2019-02-27
beam_validator: Infer tuple element types
John Högberg
2019-02-27
beam_validator: Tolerate the 'receive' hack in prim_eval
John Högberg
2019-02-27
beam_validator: Track types by value rather than by register
John Högberg
2019-02-27
beam_validator: Disregard 'none' on join
John Högberg
2019-02-27
beam_validator: Handle is_number, and join(float,int) -> number
John Högberg
2019-02-27
beam_validator: Treat is_nil as is_eq_exact with nil
John Högberg
2019-02-27
beam_validator: Simplify get_element_type
John Högberg
2019-02-27
beam_validator: Fix literal handling in meet/2
John Högberg
2019-02-27
beam_validator: Use literals as keys in container (tuple) elements
John Högberg
2019-02-27
beam_validator: Refactor try/catch handling, again
John Högberg
2019-02-27
beam_validator: Refactor register initialization
John Högberg
2019-02-27
beam_validator: Refactor stack allocation
John Högberg
2019-02-26
beam_validator: Handle argument/return types for more functions
John Högberg
2019-02-26
beam_validator: Don't forget last element when using put_tuple
John Högberg
2019-02-21
beam_ssa_type: Use types from some 'lists' functions
Björn Gustavsson
2019-02-21
beam_validator: Refactor call argument validation
John Högberg
2019-02-21
beam_validator: Refactor liveness/stack initialization checks
John Högberg
2019-02-21
beam_validator: Refactor try/catch handling
John Högberg
2019-02-20
beam_validator: Remember definitions on assignment
John Högberg
2019-02-20
beam_validator: Refactor stack trimming
John Högberg
2019-02-20
beam_validator: Track definitions of all terms
John Högberg
2019-02-20
beam_validator: Remove special handling of map_get/is_map_key
John Högberg
2019-02-20
beam_validator: Refactor select_tuple_arity
John Högberg
2019-02-20
beam_validator: Treat select_val as a series of '=:='
John Högberg
2019-02-20
beam_validator: Treat all bs_get instructions as extractions
John Högberg
2019-02-20
beam_validator: Separate BIF/call types more clearly
John Högberg
2019-02-20
beam_validator: Assert that no tuple elements are out of bounds
John Högberg
2019-02-20
beam_validator: Get rid of the last uses of set_aliased_type
John Högberg
2019-02-20
beam_validator: Minor cosmetic refactoring
John Högberg
2019-02-18
beam_validator: Infer types from result of all type test BIFs
John Högberg
2019-02-18
beam_validator: Infer BIF argument types
John Högberg
2019-02-08
beam_validator: type_test in BIFs that only fail on invalid types
John Högberg
2019-02-08
beam_validator: Simplify complex branches
John Högberg
2019-02-08
beam_validator: Explain why verify_get_map wipes dst registers
John Högberg
2019-02-08
beam_validator: fconv means we have a number
John Högberg
2019-02-08
beam_validator: Simplify update_ne/eq_types
John Högberg
[next]