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 (4 years, 11 months ago) by jhr
  add outputs for int64.sml

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

Revision 3677 - Directory Listing
Modified Sun Jan 22 04:35:57 2012 UTC (5 years, 8 months 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 (5 years, 8 months 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 (5 years, 8 months 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 (5 years, 8 months 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, 2 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, 2 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, 2 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, 5 months ago) by larsberg
Simple process redirecter sample

Revision 2953 - Directory Listing
Modified Mon Feb 25 15:41:09 2008 UTC (9 years, 6 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, 7 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, 7 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, 3 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, 3 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, 3 months ago) by dbm
updating modules/README and openbugs

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


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


Revision 2562 - Directory Listing
Modified Thu May 17 15:04:57 2007 UTC (10 years, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 months ago) by gkuan
another matchDefStr0 test case

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


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

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

Revision 2523 - Directory Listing
Modified Wed May 9 03:01:49 2007 UTC (10 years, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 months ago) by dbm
corrected typing/tests/5.sml

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

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

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


Revision 2447 - Directory Listing
Modified Mon Apr 23 17:17:23 2007 UTC (10 years, 5 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, 5 months ago) by dbm
updating basis tests and outputs

Revision 2440 - Directory Listing
Modified Sat Apr 21 20:21:53 2007 UTC (10 years, 5 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, 5 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, 5 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, 5 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, 5 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, 5 months ago) by gkuan
post-110.63 typing outputs

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

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

Revision 2411 - Directory Listing
Modified Mon Apr 16 15:38:36 2007 UTC (10 years, 5 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, 5 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, 5 months ago) by dbm
fixed testml.sh

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

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

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

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

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

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

Sort log by:

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