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 2644 - Directory Listing
Modified Thu May 31 03:50:13 2007 UTC (12 years ago) by dbm
checked openbugs in modules, cleaning out obsolete bugs and documenting remainder in modules/README

Revision 2641 - Directory Listing
Modified Wed May 30 22:35:28 2007 UTC (12 years ago) by dbm
updating modules/README and openbugs

Revision 2599 - Directory Listing
Modified Wed May 23 19:47:26 2007 UTC (12 years ago) by dbm
added tests/bug/status file, deleted bug627 from bugs/openbugs

Revision 2573 - Directory Listing
Modified Mon May 21 05:29:47 2007 UTC (12 years, 1 month ago) by dbm
updated output for types in inferred functor signatures

Revision 2569 - Directory Listing
Modified Fri May 18 21:17:46 2007 UTC (12 years, 1 month ago) by gkuan
moved outputs/test.post-110.63/61 to outputs/tests

Revision 2567 - Directory Listing
Modified Thu May 17 22:28:34 2007 UTC (12 years, 1 month ago) by dbm
changed outputs to agree with corrected printing of inferred functor result signatures; minor edits of some tests

Revision 2565 - Directory Listing
Modified Thu May 17 19:52:12 2007 UTC (12 years, 1 month ago) by gkuan
updated reference outputs to not expect further errors obtained by signature instantiation and circularity -> overload unify errors

Revision 2563 - Directory Listing
Modified Thu May 17 15:05:39 2007 UTC (12 years, 1 month ago) by gkuan


Revision 2557 - Directory Listing
Modified Wed May 16 17:14:15 2007 UTC (12 years, 1 month ago) by dbm
added 316.sml with Strange tycon bug

Revision 2553 - Directory Listing
Modified Tue May 15 23:11:19 2007 UTC (12 years, 1 month ago) by gkuan
added overloading and matchdefstr test cases

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