Programming Languages Research Group: Git

author	yeom <yeom>
	Tue, 16 Aug 2011 01:36:06 +0000 (01:36 +0000)
committer	yeom <yeom>
	Tue, 16 Aug 2011 01:36:06 +0000 (01:36 +0000)
commit	49f02b081d717c559f3739344164214fef287fb0
tree	46cb9d5cfdf84fa6a378430200444d42dcd06d98	tree \| snapshot
parent	be34eec682d9c5a81206b8172032b3154ad57210	commit \| diff

mp3decoder compiled by our research compiler produces the same output that I get from the mp3decoder compiled by OpenJDK. But SS checking was turned off, so still need to have more annotations/code changes to get desired properties, linear-type and ss.

Irvine Research Compiler

RSS Atom

Robust/src/ClassLibrary/SSJava/BufferedInputStream.java		diff \| blob \| history
Robust/src/ClassLibrary/SSJava/PushbackInputStream.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/Bitstream.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/Decoder.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/Header.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/LayerIIIDecoder.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/Player.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/SampleBuffer.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/makefile		diff \| blob \| history
Robust/src/Tests/ssJava/mp3decoder/run	[new file with mode: 0755]	blob