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 '99464c01da'
${ noResults }
infer_clone/infer/src/biabduction
History
Jules Villard 41c003ace1
[biabd] rename models-related things to "biabduction-..." 		6 years ago
..
Abs.ml [copyright] Remove years 6 years ago
Abs.mli [copyright] Remove years 6 years ago
Absarray.ml [copyright] Remove years 6 years ago
Absarray.mli [copyright] Remove years 6 years ago
Attribute.ml [copyright] Remove years 6 years ago
Attribute.mli [copyright] Remove years 6 years ago
BiabductionConfig.ml [copyright] Remove years 6 years ago
BiabductionConfig.mli [copyright] Remove years 6 years ago
BiabductionSummary.ml [copyright] Remove years 6 years ago
BiabductionSummary.mli [copyright] Remove years 6 years ago
Buckets.ml [copyright] Remove years 6 years ago
Buckets.mli [copyright] Remove years 6 years ago
Builtin.ml Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
Builtin.mli Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
BuiltinDefn.ml Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
BuiltinDefn.mli [copyright] Remove years 6 years ago
Dom.ml [copyright] Remove years 6 years ago
Dom.mli [copyright] Remove years 6 years ago
JoinState.ml [copyright] Remove years 6 years ago
JoinState.mli [copyright] Remove years 6 years ago
Match.ml [ocaml] upgrade most dependencies 6 years ago
Match.mli [copyright] Remove years 6 years ago
Paths.ml [copyright] Remove years 6 years ago
Paths.mli [copyright] Remove years 6 years ago
Prop.ml [copyright] Remove years 6 years ago
Prop.mli [copyright] Remove years 6 years ago
PropUtil.ml [copyright] Remove years 6 years ago
PropUtil.mli [copyright] Remove years 6 years ago
Propgraph.ml [copyright] Remove years 6 years ago
Propgraph.mli [copyright] Remove years 6 years ago
Propset.ml [copyright] Remove years 6 years ago
Propset.mli [copyright] Remove years 6 years ago
Prover.ml Biabduction prover now logs inconsistency reason. 6 years ago
Prover.mli [copyright] Remove years 6 years ago
Rearrange.ml [copyright] Remove years 6 years ago
Rearrange.mli [copyright] Remove years 6 years ago
RetainCycles.ml [copyright] Remove years 6 years ago
RetainCycles.mli [copyright] Remove years 6 years ago
RetainCyclesType.ml [copyright] Remove years 6 years ago
RetainCyclesType.mli [copyright] Remove years 6 years ago
State.ml [ocaml] upgrade most dependencies 6 years ago
State.mli [copyright] Remove years 6 years ago
SymExec.ml add flag for (undefined) functions that should be modelled as mallocs 6 years ago
SymExec.mli Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
SymExecBlocks.ml Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
SymExecBlocks.mli Supply caller summary to Ondemand.analyze_proc_desc and Ondemand.analyze_proc_name 6 years ago
Tabulation.ml [biabd] rename models-related things to "biabduction-..." 6 years ago
Tabulation.mli [copyright] Remove years 6 years ago
Timeout.ml [copyright] Remove years 6 years ago
Timeout.mli [copyright] Remove years 6 years ago
interproc.ml [summary] change `int ref` field in record to `mutable` 6 years ago
interproc.mli [copyright] Remove years 6 years ago