Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Log of /tests/trunk
ViewVC logotype

Log of /tests/trunk

View Directory Listing Directory Listing


Sticky Revision:

Revision 2466 - Directory Listing
Modified Mon Apr 30 04:53:50 2007 UTC (11 years, 10 months ago) by dbm
adding notes file in coresml

Revision 2463 - Directory Listing
Modified Sat Apr 28 21:19:47 2007 UTC (11 years, 11 months ago) by gkuan
missing bug tests subdirectories

Revision 2462 - Directory Listing
Modified Sat Apr 28 21:14:48 2007 UTC (11 years, 11 months ago) by gkuan
post-110.63 elab/flint revision regression tests and outputs

Revision 2461 - Directory Listing
Modified Sat Apr 28 20:36:18 2007 UTC (11 years, 11 months ago) by gkuan
modules regression tests updated to multiline structure signature format

Revision 2460 - Directory Listing
Modified Sat Apr 28 20:18:10 2007 UTC (11 years, 11 months ago) by gkuan


Revision 2447 - Directory Listing
Modified Mon Apr 23 17:17:23 2007 UTC (11 years, 11 months ago) by dbm
finished updating basis tests and outputs

Revision 2442 - Directory Listing
Modified Mon Apr 23 05:30:00 2007 UTC (11 years, 11 months ago) by dbm
updating basis tests and outputs

Revision 2440 - Directory Listing
Modified Sat Apr 21 20:21:53 2007 UTC (11 years, 11 months ago) by dbm
added outputs.post-110.63 (incorrectly copied with .svn file from outputs.post-110.5

Revision 2439 - Directory Listing
Modified Fri Apr 20 22:53:42 2007 UTC (11 years, 11 months ago) by dbm
revised outputs: general, date, array, bytechar

Revision 2438 - Directory Listing
Modified Fri Apr 20 22:49:45 2007 UTC (11 years, 11 months ago) by dbm
updating basis tests general.sml, filesys.sml

Revision 2427 - Directory Listing
Modified Wed Apr 18 21:51:58 2007 UTC (11 years, 11 months ago) by dbm
corrected tests and outputs in coresml and basis

Revision 2426 - Directory Listing
Modified Wed Apr 18 19:19:16 2007 UTC (11 years, 11 months ago) by gkuan
post FLINT primop overhaul pretty-printing revision reference outputs

Revision 2421 - Directory Listing
Modified Wed Apr 18 16:17:08 2007 UTC (11 years, 11 months ago) by gkuan
post-110.63 typing outputs

Revision 2420 - Directory Listing
Modified Wed Apr 18 16:09:12 2007 UTC (11 years, 11 months ago) by gkuan
printing test outputs

Revision 2412 - Directory Listing
Modified Mon Apr 16 16:35:25 2007 UTC (11 years, 11 months ago) by dbm
updated coresml tests and outputs

Revision 2411 - Directory Listing
Modified Mon Apr 16 15:38:36 2007 UTC (11 years, 11 months ago) by gkuan
renamed tests outputs to outputs.pre-110.63 due to inferred signature printing fix

Revision 2403 - Directory Listing
Modified Wed Apr 11 21:41:09 2007 UTC (11 years, 11 months ago) by dbm
added coresml/outputs.post-110.61

Revision 2401 - Directory Listing
Modified Wed Apr 11 20:50:59 2007 UTC (11 years, 11 months ago) by dbm
fixed testml.sh

Revision 2071 - Directory Listing
Modified Tue Oct 31 02:58:12 2006 UTC (12 years, 4 months ago) by blume
Copied from: sml/trunk/tests revision 2070
moved tests trunk

Revision 795 - Directory Listing
Modified Fri Mar 2 19:10:50 2001 UTC (18 years ago) by dbm
Original Path: sml/trunk/tests
adding new files, mostly modules test outputs

Revision 792 - Directory Listing
Modified Thu Mar 1 19:04:34 2001 UTC (18 years ago) by dbm
Original Path: sml/trunk/tests
updated outputs for modules tests 83, 94, 96

Revision 791 - Directory Listing
Modified Thu Mar 1 18:59:35 2001 UTC (18 years ago) by dbm
Original Path: sml/trunk/tests
new output files (outputs.pre-110.5) for new tests

Revision 790 - Directory Listing
Modified Wed Feb 28 22:46:05 2001 UTC (18 years ago) by dbm
Original Path: sml/trunk/tests
corrections: bug1582.1.sml -> bug1506.1.sml, bug1602.1.sml

Revision 789 - Directory Listing
Modified Wed Feb 28 21:57:58 2001 UTC (18 years ago) by dbm
Original Path: sml/trunk/tests
new test cases

Revision 787 - Directory Listing
Modified Fri Feb 23 21:38:43 2001 UTC (18 years, 1 month ago) by dbm
Original Path: sml/trunk/tests
bug fixes

Revision 786 - Directory Listing
Modified Fri Feb 23 21:36:06 2001 UTC (18 years, 1 month ago) by dbm
Original Path: sml/trunk/tests
update

Revision 552 - Directory Listing
Modified Tue Feb 29 20:44:14 2000 UTC (19 years ago) by dbm
Original Path: sml/trunk/tests
revised README with [basis/tests setup] note

Revision 551 - Directory Listing
Modified Tue Feb 29 17:31:13 2000 UTC (19 years ago) by dbm
Original Path: sml/trunk/tests
revised README

Revision 548 - Directory Listing
Added Tue Feb 29 16:38:11 2000 UTC (19 years ago) by dbm
Original Path: sml/trunk/tests
Initial revision

Sort log by:

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0