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/modules
ViewVC logotype

Log of /tests/trunk/modules

View Directory Listing Directory Listing


Sticky Revision:

Revision 2550 - Directory Listing
Modified Tue May 15 15:29:36 2007 UTC (12 years, 1 month ago) by gkuan
another matchDefStr0 test case

Revision 2546 - Directory Listing
Modified Tue May 15 01:45:54 2007 UTC (12 years, 1 month ago) by gkuan


Revision 2545 - Directory Listing
Modified Tue May 15 01:42:22 2007 UTC (12 years, 1 month ago) by gkuan
matchDefStr compiler bug testcase

Revision 2543 - Directory Listing
Modified Mon May 14 23:25:19 2007 UTC (12 years, 1 month ago) by gkuan
added defstrspec module/sigmatch testcases

Revision 2516 - Directory Listing
Modified Mon May 7 18:29:34 2007 UTC (12 years, 1 month ago) by gkuan
updated bugs and modules test reference outputs in line with secondary compiler bug fixes

Revision 2486 - Directory Listing
Modified Thu May 3 20:03:06 2007 UTC (12 years, 1 month ago) by gkuan
added Twelf nonstrict type operator sigmatch test

Revision 2480 - Directory Listing
Modified Wed May 2 18:39:08 2007 UTC (12 years, 1 month ago) by gkuan
updated modules/tests/307 expected output

Revision 2469 - Directory Listing
Modified Mon Apr 30 16:51:27 2007 UTC (12 years, 1 month ago) by gkuan
removed warnings from expected output and modules 307 seems to be an error in 110.63 trunk and primop3 FLINT

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

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

Revision 2071 - Directory Listing
Modified Tue Oct 31 02:58:12 2006 UTC (12 years, 7 months ago) by blume
moved tests trunk

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

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

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

Sort log by:

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