Programming Languages Research Group: Git

author	yeom <yeom>
	Sun, 4 Nov 2012 23:20:39 +0000 (23:20 +0000)
committer	yeom <yeom>
	Sun, 4 Nov 2012 23:20:39 +0000 (23:20 +0000)
commit	8642620b2e4b2c1c0e71d5612007a935abc42eb6
tree	dc4c999e494b334f27d70aaff9db794bbe9549f1	tree \| snapshot
parent	d45bb251bdc1196d7848094fa2ccd566b39e021c	commit \| diff

Changes: Inference engine works fine with the JavaNator benchmark. Found some problems in the original benchmark with the current version of location type checker + definitely written analysis. From the original benchmark, 1) removed static references 2) removed persistent states.

15 files changed:

Robust/src/Analysis/SSJava/LocationInference.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNator/Command.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNator/HWSimulator.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNator/PWMManager.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNator/RCBridge.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNator/RandomWrapper.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNator/RobotMain.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNator/StrategyMgr.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNatorInfer/Command.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNatorInfer/HWSimulator.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNatorInfer/MotorControl.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNatorInfer/PWMManager.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNatorInfer/RandomWrapper.java	[new file with mode: 0644]	blob
Robust/src/Benchmarks/SSJava/JavaNatorInfer/RobotMain.java		diff \| blob \| history
Robust/src/Benchmarks/SSJava/JavaNatorInfer/StrategyMgr.java		diff \| blob \| history

Irvine Research Compiler

RSS Atom