Index of /~leavens/JML-release/org/jmlspecs/samples/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	Counter.java	2009-02-17 14:42	1.4K
	Counter_JML_TestData.java	2009-02-17 14:42	6.6K
	EqualsN.java	2009-02-17 14:42	1.4K
	LessThanN.java	2009-02-17 14:42	1.4K
	LinearSearch.java	2009-02-17 14:42	3.3K
	LinearSearch_JML_TestData.java	2009-02-17 14:42	8.1K
	Makefile	2009-02-17 14:42	1.1K
	Meter.java	2009-02-17 14:42	1.4K
	Meter_JML_TestData.java	2009-02-17 14:42	6.6K
	Proof.java	2009-02-17 14:42	14K
	Proof.java-refined	2009-02-17 14:42	1.9K
	Proof_JML_TestData.java	2009-02-17 14:42	9.4K
	SingleSolution.java	2009-02-17 14:42	1.6K
	package.html	2009-02-17 14:42	529
	Counter.class	2009-03-16 13:11	215
	EqualsN.class	2009-03-16 13:11	414
	LessThanN.class	2009-03-16 13:11	420
	LinearSearch.class	2009-03-16 13:11	351
	Meter.class	2009-03-16 13:11	398
	Proof.class	2009-03-16 13:11	567
	SingleSolution.class	2009-03-16 13:11	655
	classes.stamp	2009-03-16 13:11	0
	Counter_JML_Test.java	2009-03-16 13:16	11K
	LinearSearch_JML_Test.java	2009-03-16 13:16	14K
	Meter_JML_Test.java	2009-03-16 13:16	12K
	Counter_JML_Test$OneTest.class	2009-03-16 13:16	1.6K
	Counter_JML_Test$TestInc.class	2009-03-16 13:16	1.1K
	Counter_JML_Test$TestValue.class	2009-03-16 13:16	1.1K
	Counter_JML_Test.class	2009-03-16 13:16	4.3K
	Counter_JML_TestData$1.class	2009-03-16 13:16	684
	Counter_JML_TestData.class	2009-03-16 13:16	1.1K
	LinearSearch_JML_Test$OneTest.class	2009-03-16 13:16	1.6K
	LinearSearch_JML_Test$TestF.class	2009-03-16 13:16	1.3K
	LinearSearch_JML_Test$TestFind.class	2009-03-16 13:16	1.1K
	LinearSearch_JML_Test$TestLimit.class	2009-03-16 13:16	1.1K
	LinearSearch_JML_Test.class	2009-03-16 13:16	5.1K
	LinearSearch_JML_TestData$1.class	2009-03-16 13:16	865
	LinearSearch_JML_TestData.class	2009-03-16 13:16	1.5K
	Meter_JML_Test$OneTest.class	2009-03-16 13:16	1.6K
	Meter_JML_Test$TestInc.class	2009-03-16 13:16	1.1K
	Meter_JML_Test$TestMeter.class	2009-03-16 13:16	730
	Meter_JML_Test$TestValue.class	2009-03-16 13:16	1.1K
	Meter_JML_Test.class	2009-03-16 13:16	4.5K
	Meter_JML_TestData$1.class	2009-03-16 13:16	676
	Meter_JML_TestData.class	2009-03-16 13:16	1.1K
	Proof_JML_Test$OneTest.class	2009-03-16 13:16	1.6K
	Proof_JML_Test$TestFind.class	2009-03-16 13:16	1.4K
	Proof_JML_Test$TestFind_min.class	2009-03-16 13:16	1.3K
	Proof_JML_Test$TestGetRes.class	2009-03-16 13:16	1.1K
	Proof_JML_Test.class	2009-03-16 13:16	5.3K
	Proof_JML_Test.java	2009-03-16 13:16	15K
	Proof_JML_TestData$1.class	2009-03-16 13:16	524
	Proof_JML_TestData$2.class	2009-03-16 13:16	821
	Proof_JML_TestData$3.class	2009-03-16 13:16	676
	Proof_JML_TestData.class	2009-03-16 13:16	1.7K
	TestSuite.java	2009-03-16 13:16	1.1K
	buildtests.stamp	2009-03-16 13:16	0
	TestSuite$1.class	2009-03-16 13:17	384
	TestSuite.class	2009-03-16 13:17	903