Commits

History for

Commits on Jun 6, 2015

Move the side effect synthesis out of first pass static analysis into the second pass to avoid some terrifying recursion.
kg
committed
a836c0a
Fix static analysis data not flagging .ctor methods as violating this-reference immutability
kg
committed
ad6071c

Commits on Feb 13, 2015

Fix static analyzer not flagging variables as accessed when a verbatim expression references them. Fixes a bug in the ProceduralTextures example
kg
committed
06caa3a

Commits on Feb 10, 2015

Tweak a test case to stop asserting that an optimization isn't happening (it happens now! :D )
kg
committed
287571c

Commits on Feb 6, 2015

In static analysis first pass, synthesize a x=x assignment for every parameter 'x' before analyzing any statements inside of a function, to ensure that optimization passes don't think a parameter w…
kg
committed
7cf75b0

Commits on Jul 8, 2014

Treat variables inside invocation expressions as if they have already had dependencies resolved in struct assignment post-optimization
kg
committed
ae75f2e
Fix various issues with nullable handling in the static analyzer
kg
committed
c618d5e
Checkpoint
kg
committed
1029519
Checkpoint: Correctly propagate argument modification data through second pass static analysis
kg
committed
b8599c4
Propagate variable modification state from invocations (method x modifies 'this') into callers' second pass modification data
kg
committed
e3861b9
Enable the commented-out cloning check for RecursivePureStructOperator
kg
committed
dab8445
Checkpoint
kg
committed
b2e0c39
Checkpoint
kg
committed
fd8b793
Fix issue 494 and add tests.
kg
committed
7c4cddf

Commits on Jun 23, 2014

Commits on Feb 25, 2014

Commits on Nov 13, 2013

Checkpoint:
kg
committed
4a097bc

Commits on Sep 11, 2013

Clean up compiler warnings.
kg
committed
ff33be3

Commits on Jun 27, 2013

Commits on May 14, 2013

Commits on Mar 20, 2013

Commits on Mar 8, 2013

Various library and translator tweaks/bug fixes so that FSharpExecutable is closer to passing:
kg
committed
38e3657

Commits on Mar 5, 2013

Turn off analyzer tracing
kg
committed
5deff2f
Fix the static analyzer not doing invocation escape/modification analysis on 'new' expressions.
kg
committed
bab66a4

Commits on Feb 27, 2013

Switch to a new threading model for the function cache where tracked locks are used to detect deadlocks instead of WaitOne.
kg
committed
f793526