mrust - [no description]

Age	Commit message (Expand)	Author	Files	Lines
2017-08-23	MIR Check - (minor) fix re-use of variable name	John Hodge	1	-2/+2
2017-07-06	MIR - Add (but don't use) a SwitchValue terminator	John Hodge	1	-0/+8
2017-06-16	MIR - Unify temporaries and variables	John Hodge	1	-85/+45
2017-06-10	MIR Validate Full - Remove need for garbage collection of states	John Hodge	1	-45/+142
2017-06-09	Fix use of hard tabs	John Hodge	1	-3/+3
2017-05-14	Visual Studio compile fixes	John Hodge (bugs)	1	-3/+4
2017-05-12	MIR Check - (minor) Note to check for leaks on assignment	John Hodge	1	-0/+3
2017-05-12	MIR - Fixed optimisation and scopring issues	John Hodge	1	-2/+34
2017-04-28	MIR Check Full - Print the cause of invalidity	John Hodge	1	-2/+134
2017-04-22	MIR - Add ScopeEnd statement to indicate where a value will no longer be used	John Hodge	1	-0/+3
2017-04-20	MIR Check Full - Mask values based on calculated lifetimes	John Hodge	1	-1/+49
2017-04-17	MIR Helpers - Move lifetime calculation to helpers so CheckFull can use it	John Hodge	1	-0/+4
2017-03-11	MIR Check full - Fiddling (still unbouned memory usage)	John Hodge	1	-1/+11
2017-03-04	MIR Check Full - State comparison, printing of state	John Hodge	1	-0/+76
2017-03-04	MIR Check Full - Variants	John Hodge	1	-4/+28
2017-03-04	MIR Check Full - Handling of shallow drops	John Hodge	1	-15/+165
2017-03-04	MIR - Add a (disabled) full value state validator	John Hodge	1	-0/+499