Programming Languages Research Group: Git

2018-12-20	Cyrille Artho	Added test on redirecting stdout to a file.	commit \| commitdiff \| tree
2018-11-24	Cyrille Artho	FIX: java.lang.Object should be java/lang/Object.	commit \| commitdiff \| tree
2018-11-23	Cyrille Artho	FIX: "java.lang.Char" should be "java.lang.Character...	commit \| commitdiff \| tree
2018-11-23	Cyrille Artho	Fixed out-of-bounds cases for substring.	commit \| commitdiff \| tree
2018-11-23	Cyrille Artho	Added StringIndexOutOfBoundsException for charAt, with...	commit \| commitdiff \| tree
2018-11-23	Cyrille Artho	Fixed behavior of division by 0 on doubles (should...	commit \| commitdiff \| tree
2018-11-23	Cyrille Artho	Fix for System.in.available().	commit \| commitdiff \| tree
2018-11-17	Cyrille Artho	Support Runtime.halt.	commit \| commitdiff \| tree
2018-11-14	Cyrille Artho	modified: build.gradle: Put JPF version into JAR...	commit \| commitdiff \| tree
2018-11-13	Cyrille Artho	modified: bin/jpf-sv-comp: adapt script to path...	commit \| commitdiff \| tree
2018-11-13	Cyrille Artho	modified: bin/jpf-core-sv-comp: Adapt jpf location...	commit \| commitdiff \| tree
2018-10-19	Cyrille Artho	new file: jpf-core-sv-comp: jpf-core-only configuration.	commit \| commitdiff \| tree
2018-10-19	Cyrille Artho	Merge branch 'sv-comp-run-script' of git://github.com...	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.