Logo
Explore Help
Sign In
pghs975uc
/
infer_clone
1
0
Fork
You've already forked infer_clone
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.
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f43901bc69'
${ noResults }
infer_clone/infer
History
Sungkeun Cho f43901bc69
[CCBM] Revise assignment semantics
Summary:
This diff revises assignment semantics, so it can store/load from the
heap location.

Reviewed By: ezgicicek

Differential Revision: D22042823

fbshipit-source-id: 20d91bfc5
5 years ago
..
annotations [infer][PR] Release infer-annotation 0.18.0 5 years ago
bin [build] Replace custom make cmds w/ dune promotion and byte_complete 5 years ago
documentation [website] add remaining issue types 5 years ago
etc
…
lib [help] import issue types documentation from website 5 years ago
man/man1 [biabduction] Delete POINTER_SIZE_MISMATCH 5 years ago
models [java] store specs files same as clang models 5 years ago
src [CCBM] Revise assignment semantics 5 years ago
tests [nullsafe] Add a FP test for null-checking assignment result 5 years ago
.ocp-indent
…
dune [help] scaffolding to start documenting issue types 5 years ago
dune-project [dune] ignore all dirs except src/ 5 years ago
dune-workspace.in [build] Replace custom make cmds w/ dune promotion and byte_complete 5 years ago
infer.mld documentation for new libraries 5 years ago
infer.opam [dune] ignore all dirs except src/ 5 years ago
Powered by Gitea Version: development Page: 1088ms Template: 12ms
English
Bahasa Indonesia Deutsch English Español Français Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API