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

Log of /tests

View Directory Listing Directory Listing


Sticky Revision:

Revision 3792 - Directory Listing
Modified Sat Oct 20 19:12:49 2012 UTC (5 years, 3 months ago) by jhr
  add outputs for int64.sml

Revision 3791 - Directory Listing
Modified Sat Oct 20 18:51:18 2012 UTC (5 years, 3 months ago) by jhr
  Add tests for Int64 module

Revision 3677 - Directory Listing
Modified Sun Jan 22 04:35:57 2012 UTC (6 years ago) by dbm
adding summaries for 110.74, a couple more updated outputs

Revision 3676 - Directory Listing
Modified Sun Jan 22 01:49:53 2012 UTC (6 years ago) by dbm
updated bug reference outputs, added 110.74, notes on discrepencies

Revision 3674 - Directory Listing
Modified Sat Jan 21 18:02:59 2012 UTC (6 years ago) by dbm
cleanup of old outputs, fix in tests/string.sml, added 110.74 notes file

Revision 3671 - Directory Listing
Modified Fri Jan 20 23:02:27 2012 UTC (6 years ago) by dbm
updating some output files for minor changes in locations, etc.

Revision 3114 - Directory Listing
Modified Wed Jul 16 21:56:10 2008 UTC (9 years, 6 months ago) by dbm
outputs updated and (preliminary) SUMMARY-110.68 added

Revision 3111 - Directory Listing
Modified Wed Jul 16 20:03:01 2008 UTC (9 years, 6 months ago) by dbm
updated tests/bin/arch-n-opsys.sh to recognize Darwin 9.*

Revision 3109 - Directory Listing
Modified Wed Jul 16 17:49:51 2008 UTC (9 years, 6 months ago) by dbm
README update, start of outputs update for temi

Revision 2974 - Directory Listing
Modified Tue Apr 8 00:05:35 2008 UTC (9 years, 9 months ago) by larsberg
Simple process redirecter sample

Revision 2953 - Directory Listing
Modified Mon Feb 25 15:41:09 2008 UTC (9 years, 11 months ago) by gkuan
closing bug1262, copysign(x,~0.0)

Revision 2942 - Directory Listing
Modified Thu Feb 14 18:36:17 2008 UTC (9 years, 11 months ago) by larsberg
Windows basis library DDE sample/test code

Revision 2937 - Directory Listing
Modified Tue Feb 5 19:12:38 2008 UTC (9 years, 11 months ago) by larsberg
Registry tests for win32. Note that outputs are not yet available due to there being no batch scripts for this platform...

Revision 2644 - Directory Listing
Modified Thu May 31 03:50:13 2007 UTC (10 years, 7 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 (10 years, 7 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 (10 years, 7 months ago) by dbm
updating modules/README and openbugs

Revision 2640 - Directory Listing
Modified Wed May 30 21:48:13 2007 UTC (10 years, 7 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 (10 years, 7 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 months ago) by gkuan


Revision 2563 - Directory Listing
Modified Thu May 17 15:05:39 2007 UTC (10 years, 8 months ago) by gkuan


Revision 2562 - Directory Listing
Modified Thu May 17 15:04:57 2007 UTC (10 years, 8 months ago) by gkuan
FLINT primop type and signature matching testcases

Revision 2560 - Directory Listing
Modified Wed May 16 22:24:49 2007 UTC (10 years, 8 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 (10 years, 8 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 (10 years, 8 months ago) by dbm
added tests/typing/tests/21.sml

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

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

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

Revision 2546 - Directory Listing
Modified Tue May 15 01:45:54 2007 UTC (10 years, 8 months ago) by gkuan


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

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

Revision 2523 - Directory Listing
Modified Wed May 9 03:01:49 2007 UTC (10 years, 8 months ago) by dbm
added tricky overloading resolution test case

Revision 2519 - Directory Listing
Modified Mon May 7 20:01:47 2007 UTC (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 months ago) by gkuan
added signature datatype replication printing test case

Revision 2509 - Directory Listing
Modified Sat May 5 12:57:08 2007 UTC (10 years, 8 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 (10 years, 8 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 (10 years, 8 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 (10 years, 8 months ago) by gkuan
added Twelf nonstrict type operator sigmatch test

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

Revision 2478 - Directory Listing
Modified Tue May 1 20:24:25 2007 UTC (10 years, 8 months ago) by gkuan
initial check-in of primop propagation tests

Revision 2477 - Directory Listing
Modified Tue May 1 00:00:23 2007 UTC (10 years, 8 months ago) by dbm
added tests 17.sml and 18.sml

Revision 2471 - Directory Listing
Modified Mon Apr 30 21:52:16 2007 UTC (10 years, 8 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 (10 years, 8 months ago) by dbm
corrected typing/tests/5.sml

Revision 2469 - Directory Listing
Modified Mon Apr 30 16:51:27 2007 UTC (10 years, 8 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 (10 years, 8 months ago) by dbm
adding notes file in coresml

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

Revision 2462 - Directory Listing
Modified Sat Apr 28 21:14:48 2007 UTC (10 years, 8 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 (10 years, 8 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 (10 years, 8 months ago) by gkuan


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

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

Revision 2440 - Directory Listing
Modified Sat Apr 21 20:21:53 2007 UTC (10 years, 9 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 (10 years, 9 months ago) by dbm
revised outputs: general, date, array, bytechar

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

Revision 2427 - Directory Listing
Modified Wed Apr 18 21:51:58 2007 UTC (10 years, 9 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 (10 years, 9 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 (10 years, 9 months ago) by gkuan
post-110.63 typing outputs

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

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

Revision 2411 - Directory Listing
Modified Mon Apr 16 15:38:36 2007 UTC (10 years, 9 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 (10 years, 9 months ago) by dbm
added coresml/outputs.post-110.61

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

Revision 2085 - Directory Listing
Modified Tue Oct 31 03:07:25 2006 UTC (11 years, 2 months ago) by blume
moved release-110.32/tests

Revision 2084 - Directory Listing
Modified Tue Oct 31 03:07:25 2006 UTC (11 years, 2 months ago) by blume
moved release-110.31/tests

Revision 2083 - Directory Listing
Modified Tue Oct 31 03:07:24 2006 UTC (11 years, 2 months ago) by blume
moved release-110.30/tests

Revision 2082 - Directory Listing
Modified Tue Oct 31 03:07:24 2006 UTC (11 years, 2 months ago) by blume
created tests/releases

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

Revision 2070 - Directory Listing
Added Tue Oct 31 02:57:50 2006 UTC (11 years, 2 months ago) by blume
created tests dir

Sort log by:

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