Index of /~leavens/JML-release/org/jmlspecs/samples/prelimdesign
Name Last modified Size Description
Parent Directory 16-Mar-2009 13:17 -
Account.class 16-Mar-2009 13:11 1k
Account.java 17-Feb-2009 14:42 2k
Account.jml 17-Feb-2009 14:42 3k
Account_JML_Test$One..> 16-Mar-2009 13:17 2k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Account_JML_Test.class 16-Mar-2009 13:17 7k
Account_JML_Test.java 16-Mar-2009 13:16 24k
Account_JML_TestData..> 16-Mar-2009 13:17 1k
Account_JML_TestData..> 16-Mar-2009 13:17 1k
Account_JML_TestData..> 16-Mar-2009 13:17 1k
Account_JML_TestData..> 16-Mar-2009 13:17 2k
Account_JML_TestData..> 17-Feb-2009 14:42 11k
BankAccount.jml 17-Feb-2009 14:42 3k
IntMathOps.class 16-Mar-2009 13:11 1k
IntMathOps.java 17-Feb-2009 14:42 2k
IntMathOps2.class 16-Mar-2009 13:11 1k
IntMathOps2.java 17-Feb-2009 14:42 1k
IntMathOps2.jml-refined 17-Feb-2009 14:42 1k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 2k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 4k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 8k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps2_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps2_JML_Test..> 17-Feb-2009 14:42 6k
IntMathOps3.class 16-Mar-2009 13:11 1k
IntMathOps3.java 17-Feb-2009 14:42 1k
IntMathOps4.class 16-Mar-2009 13:11 1k
IntMathOps4.java 17-Feb-2009 14:42 1k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 2k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 4k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 8k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps4_JML_Test..> 16-Mar-2009 13:17 1k
IntMathOps4_JML_Test..> 17-Feb-2009 14:42 6k
IntMathOps_JML_Test$..> 16-Mar-2009 13:17 2k
IntMathOps_JML_Test$..> 16-Mar-2009 13:17 1k
IntMathOps_JML_Test...> 16-Mar-2009 13:17 4k
IntMathOps_JML_Test...> 16-Mar-2009 13:17 8k
IntMathOps_JML_TestD..> 16-Mar-2009 13:17 1k
IntMathOps_JML_TestD..> 16-Mar-2009 13:17 1k
IntMathOps_JML_TestD..> 17-Feb-2009 14:42 6k
Makefile 17-Feb-2009 14:42 1k
Money.class 16-Mar-2009 13:11 1k
Money.java 17-Feb-2009 14:42 2k
MoneyAC.class 16-Mar-2009 13:11 1k
MoneyAC.java 17-Feb-2009 14:42 2k
MoneyComparable.class 16-Mar-2009 13:11 1k
MoneyComparable.java 17-Feb-2009 14:42 2k
MoneyComparableAC.class 16-Mar-2009 13:11 1k
MoneyComparableAC.java 17-Feb-2009 14:42 1k
MoneyOps.class 16-Mar-2009 13:11 1k
MoneyOps.java 17-Feb-2009 14:42 3k
PlusAccount.class 16-Mar-2009 13:11 2k
PlusAccount.java 17-Feb-2009 14:42 2k
PlusAccount.jml 17-Feb-2009 14:42 6k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 9k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 32k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 1k
PlusAccount_JML_Test..> 16-Mar-2009 13:17 2k
PlusAccount_JML_Test..> 17-Feb-2009 14:42 11k
Point2D.class 16-Mar-2009 13:11 1k
Point2D.java 17-Feb-2009 14:42 2k
Point2D_JML_Test$One..> 16-Mar-2009 13:17 2k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test$Tes..> 16-Mar-2009 13:17 1k
Point2D_JML_Test.class 16-Mar-2009 13:17 6k
Point2D_JML_Test.java 16-Mar-2009 13:17 21k
Point2D_JML_TestData..> 16-Mar-2009 13:17 1k
Point2D_JML_TestData..> 16-Mar-2009 13:17 1k
Point2D_JML_TestData..> 16-Mar-2009 13:17 2k
Point2D_JML_TestData..> 17-Feb-2009 14:42 8k
TestSuite$1.class 16-Mar-2009 13:17 1k
TestSuite.class 16-Mar-2009 13:17 1k
TestSuite.java 16-Mar-2009 13:17 1k
USMoney.class 16-Mar-2009 13:11 1k
USMoney.java 17-Feb-2009 14:42 2k
USMoney_JML_Test$One..> 16-Mar-2009 13:17 2k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 2k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 2k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test$Tes..> 16-Mar-2009 13:17 1k
USMoney_JML_Test.class 16-Mar-2009 13:17 12k
USMoney_JML_Test.java 16-Mar-2009 13:17 48k
USMoney_JML_TestData..> 16-Mar-2009 13:17 1k
USMoney_JML_TestData..> 16-Mar-2009 13:17 1k
USMoney_JML_TestData..> 16-Mar-2009 13:17 1k
USMoney_JML_TestData..> 16-Mar-2009 13:17 1k
USMoney_JML_TestData..> 16-Mar-2009 13:17 3k
USMoney_JML_TestData..> 17-Feb-2009 14:42 12k
buildtests.stamp 16-Mar-2009 13:17 0k
classes.stamp 16-Mar-2009 13:11 0k
package.html 17-Feb-2009 14:42 1k
Apache/1.3.41 Server at www.eecs.ucf.edu Port 80