SCM Repository
Log of /tests
Sticky Revision: |
Revision 2644 - Directory Listing
Modified Thu May 31 03:50:13 2007 UTC (13 years, 9 months ago) by dbm
checked openbugs in modules, cleaning out obsolete bugs and documenting remainder in modules/README
Revision 2643 - Directory Listing
Modified Thu May 31 02:52:54 2007 UTC (13 years, 9 months ago) by blume
fixed some of the official outputs for bugs regressions
Revision 2641 - Directory Listing
Modified Wed May 30 22:35:28 2007 UTC (13 years, 9 months ago) by dbm
updating modules/README and openbugs
Revision 2640 - Directory Listing
Modified Wed May 30 21:48:13 2007 UTC (13 years, 9 months ago) by dbm
updated output for basis/tests/timer.sml (correct type name)
Revision 2625 - Directory Listing
Modified Tue May 29 23:57:15 2007 UTC (13 years, 9 months ago) by blume
the Div bug should be gone now; this is now reflected in basis/outputs
Revision 2614 - Directory Listing
Modified Fri May 25 22:25:43 2007 UTC (13 years, 9 months ago) by dbm
updated date.out, added Rosenberg tests to typing/tests
Revision 2599 - Directory Listing
Modified Wed May 23 19:47:26 2007 UTC (13 years, 9 months ago) by dbm
added tests/bug/status file, deleted bug627 from bugs/openbugs
Revision 2598 - Directory Listing
Modified Wed May 23 19:43:52 2007 UTC (13 years, 9 months ago) by dbm
updated basis/tests/date.sml and its output, which should now be stable between runs
Revision 2597 - Directory Listing
Modified Wed May 23 17:53:03 2007 UTC (13 years, 9 months ago) by dbm
moved bugs/tests/bug627.sml and added bug627.1.sml
Revision 2573 - Directory Listing
Modified Mon May 21 05:29:47 2007 UTC (13 years, 9 months ago) by dbm
updated output for types in inferred functor signatures
Revision 2569 - Directory Listing
Modified Fri May 18 21:17:46 2007 UTC (13 years, 9 months 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 (13 years, 9 months ago) by dbm
changed outputs to agree with corrected printing of inferred functor result signatures; minor edits of some tests
Revision 2566 - Directory Listing
Modified Thu May 17 19:58:33 2007 UTC (13 years, 9 months ago) by gkuan
updated printing reference output -- default print depth changed?
Revision 2565 - Directory Listing
Modified Thu May 17 19:52:12 2007 UTC (13 years, 9 months ago) by gkuan
updated reference outputs to not expect further errors obtained by signature instantiation and circularity -> overload unify errors
Revision 2564 - Directory Listing
Modified Thu May 17 15:17:29 2007 UTC (13 years, 9 months ago) by gkuan
Revision 2563 - Directory Listing
Modified Thu May 17 15:05:39 2007 UTC (13 years, 9 months ago) by gkuan
Revision 2562 - Directory Listing
Modified Thu May 17 15:04:57 2007 UTC (13 years, 9 months ago) by gkuan
FLINT primop type and signature matching testcases
Revision 2560 - Directory Listing
Modified Wed May 16 22:24:49 2007 UTC (13 years, 9 months ago) by dbm
added test cases and outputs to tests/typing
Revision 2559 - Directory Listing
Modified Wed May 16 18:39:11 2007 UTC (13 years, 9 months ago) by dbm
updated tests/basis/tests/date.sml and it output; added SUMMARY-110.63
Revision 2558 - Directory Listing
Modified Wed May 16 18:37:20 2007 UTC (13 years, 9 months ago) by dbm
added tests/typing/tests/21.sml
Revision 2557 - Directory Listing
Modified Wed May 16 17:14:15 2007 UTC (13 years, 9 months ago) by dbm
added 316.sml with Strange tycon bug
Revision 2553 - Directory Listing
Modified Tue May 15 23:11:19 2007 UTC (13 years, 9 months ago) by gkuan
added overloading and matchdefstr test cases
Revision 2550 - Directory Listing
Modified Tue May 15 15:29:36 2007 UTC (13 years, 9 months ago) by gkuan
another matchDefStr0 test case
Revision 2546 - Directory Listing
Modified Tue May 15 01:45:54 2007 UTC (13 years, 9 months ago) by gkuan
Revision 2545 - Directory Listing
Modified Tue May 15 01:42:22 2007 UTC (13 years, 9 months ago) by gkuan
matchDefStr compiler bug testcase
Revision 2543 - Directory Listing
Modified Mon May 14 23:25:19 2007 UTC (13 years, 9 months ago) by gkuan
added defstrspec module/sigmatch testcases
Revision 2523 - Directory Listing
Modified Wed May 9 03:01:49 2007 UTC (13 years, 9 months ago) by dbm
added tricky overloading resolution test case
Revision 2519 - Directory Listing
Modified Mon May 7 20:01:47 2007 UTC (13 years, 9 months ago) by gkuan
closing bug1499 (secondary elabmod Unbound after duplicate type specs)
Revision 2518 - Directory Listing
Modified Mon May 7 19:53:36 2007 UTC (13 years, 9 months ago) by gkuan
closing bugs1578 (datatype repl secondary error) and 1599
Revision 2517 - Directory Listing
Modified Mon May 7 19:43:37 2007 UTC (13 years, 9 months ago) by gkuan
divided sharing type eqprop test into two cases: duplicate constructor case and type sharing eqprop case
Revision 2516 - Directory Listing
Modified Mon May 7 18:29:34 2007 UTC (13 years, 9 months ago) by gkuan
updated bugs and modules test reference outputs in line with secondary compiler bug fixes
Revision 2510 - Directory Listing
Modified Sat May 5 13:10:15 2007 UTC (13 years, 9 months ago) by gkuan
added signature datatype replication printing test case
Revision 2509 - Directory Listing
Modified Sat May 5 12:57:08 2007 UTC (13 years, 9 months ago) by gkuan
added correct outputs for datatype replication freetycs entpath bugs
Revision 2490 - Directory Listing
Modified Thu May 3 21:29:18 2007 UTC (13 years, 9 months ago) by dbm
removed redundant n* versions of testml.sh, dotest.sh, etc.
Revision 2489 - Directory Listing
Modified Thu May 3 20:59:58 2007 UTC (13 years, 9 months ago) by gkuan
updated bugs test outputs...Unbound cases are failing
Revision 2486 - Directory Listing
Modified Thu May 3 20:03:06 2007 UTC (13 years, 9 months ago) by gkuan
added Twelf nonstrict type operator sigmatch test
Revision 2480 - Directory Listing
Modified Wed May 2 18:39:08 2007 UTC (13 years, 10 months ago) by gkuan
updated modules/tests/307 expected output
Revision 2478 - Directory Listing
Modified Tue May 1 20:24:25 2007 UTC (13 years, 10 months ago) by gkuan
initial check-in of primop propagation tests
Revision 2477 - Directory Listing
Modified Tue May 1 00:00:23 2007 UTC (13 years, 10 months ago) by dbm
added tests 17.sml and 18.sml
Revision 2471 - Directory Listing
Modified Mon Apr 30 21:52:16 2007 UTC (13 years, 10 months ago) by gkuan
removed spurious FLINT error from bug1396.1.out
Revision 2470 - Directory Listing
Modified Mon Apr 30 20:41:09 2007 UTC (13 years, 10 months ago) by dbm
corrected typing/tests/5.sml
Revision 2469 - Directory Listing
Modified Mon Apr 30 16:51:27 2007 UTC (13 years, 10 months ago) by gkuan
removed warnings from expected output and modules 307 seems to be an error in 110.63 trunk and primop3 FLINT
Revision 2466 - Directory Listing
Modified Mon Apr 30 04:53:50 2007 UTC (13 years, 10 months ago) by dbm
adding notes file in coresml
Revision 2463 - Directory Listing
Modified Sat Apr 28 21:19:47 2007 UTC (13 years, 10 months ago) by gkuan
missing bug tests subdirectories
Revision 2462 - Directory Listing
Modified Sat Apr 28 21:14:48 2007 UTC (13 years, 10 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 (13 years, 10 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 (13 years, 10 months ago) by gkuan
Revision 2447 - Directory Listing
Modified Mon Apr 23 17:17:23 2007 UTC (13 years, 10 months ago) by dbm
finished updating basis tests and outputs
Revision 2442 - Directory Listing
Modified Mon Apr 23 05:30:00 2007 UTC (13 years, 10 months ago) by dbm
updating basis tests and outputs
Revision 2440 - Directory Listing
Modified Sat Apr 21 20:21:53 2007 UTC (13 years, 10 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 (13 years, 10 months ago) by dbm
revised outputs: general, date, array, bytechar
Revision 2438 - Directory Listing
Modified Fri Apr 20 22:49:45 2007 UTC (13 years, 10 months ago) by dbm
updating basis tests general.sml, filesys.sml
Revision 2427 - Directory Listing
Modified Wed Apr 18 21:51:58 2007 UTC (13 years, 10 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 (13 years, 10 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 (13 years, 10 months ago) by gkuan
post-110.63 typing outputs
Revision 2420 - Directory Listing
Modified Wed Apr 18 16:09:12 2007 UTC (13 years, 10 months ago) by gkuan
printing test outputs
Revision 2412 - Directory Listing
Modified Mon Apr 16 16:35:25 2007 UTC (13 years, 10 months ago) by dbm
updated coresml tests and outputs
Revision 2411 - Directory Listing
Modified Mon Apr 16 15:38:36 2007 UTC (13 years, 10 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 (13 years, 10 months ago) by dbm
added coresml/outputs.post-110.61
Revision 2401 - Directory Listing
Modified Wed Apr 11 20:50:59 2007 UTC (13 years, 10 months ago) by dbm
fixed testml.sh
Revision 2085 - Directory Listing
Modified Tue Oct 31 03:07:25 2006 UTC (14 years, 4 months ago) by blume
moved release-110.32/tests
Revision 2084 - Directory Listing
Modified Tue Oct 31 03:07:25 2006 UTC (14 years, 4 months ago) by blume
moved release-110.31/tests
Revision 2083 - Directory Listing
Modified Tue Oct 31 03:07:24 2006 UTC (14 years, 4 months ago) by blume
moved release-110.30/tests
Revision 2082 - Directory Listing
Modified Tue Oct 31 03:07:24 2006 UTC (14 years, 4 months ago) by blume
created tests/releases
Revision 2071 - Directory Listing
Modified Tue Oct 31 02:58:12 2006 UTC (14 years, 4 months ago) by blume
moved tests trunk
Revision 2070 - Directory Listing
Added Tue Oct 31 02:57:50 2006 UTC (14 years, 4 months ago) by blume
created tests dir
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |