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

Log of /tests/trunk/bugs

View Directory Listing Directory Listing


Sticky Revision:

Revision 4602 - Directory Listing
Modified Wed May 16 12:53:32 2018 UTC (14 months ago) by jhr
  updating open bugs for changes in line numbers in exception messages
  and a fix of bug1375

Revision 4595 - Directory Listing
Modified Mon May 14 13:13:35 2018 UTC (14 months, 1 week ago) by jhr
  update outputs and open bugs list

Revision 4594 - Directory Listing
Modified Mon May 14 12:55:48 2018 UTC (14 months, 1 week ago) by jhr
  update test for recent versions of CML and SML/NJ.

Revision 4592 - Directory Listing
Modified Sun May 13 14:53:57 2018 UTC (14 months, 1 week ago) by jhr
  bug status summary for 110.82+ (r4591)

Revision 4591 - Directory Listing
Modified Sun May 13 14:52:56 2018 UTC (14 months, 1 week ago) by jhr
  updating openbugs list and outputs for some test cases.

Revision 4590 - Directory Listing
Modified Sun May 13 13:39:30 2018 UTC (14 months, 1 week ago) by jhr
  make test case not depend on current local time

Revision 4589 - Directory Listing
Modified Sat May 12 23:40:47 2018 UTC (14 months, 1 week ago) by jhr
  updating bugs test directory for 110.82+

Revision 4588 - Directory Listing
Modified Sat May 12 22:50:36 2018 UTC (14 months, 1 week ago) by jhr
  Add some comments to tests and port to SML'97 / modern SML/NJ

Revision 4586 - Directory Listing
Modified Sat May 12 21:29:43 2018 UTC (14 months, 1 week ago) by jhr
fix type error in test

Revision 4583 - Directory Listing
Modified Sat May 12 16:57:46 2018 UTC (14 months, 1 week ago) by jhr
  update test for SML'97 Basis Library

Revision 4582 - Directory Listing
Modified Sat May 12 16:39:37 2018 UTC (14 months, 1 week ago) by jhr
  fix test for bug1156 (List now contains 'sub' function)

Revision 4581 - Directory Listing
Modified Sat May 12 16:00:40 2018 UTC (14 months, 1 week ago) by jhr
  Renamed bugs tests to always have four digits in their bug number.
  Also updated outputs to match new names (in most cases).

Revision 4575 - Directory Listing
Modified Mon May 7 14:14:31 2018 UTC (14 months, 2 weeks ago) by jhr
updating summary

Revision 4573 - Directory Listing
Modified Mon May 7 13:20:00 2018 UTC (14 months, 2 weeks ago) by jhr
  revised the summary to reflect bug fixes

Revision 4569 - Directory Listing
Modified Sun May 6 22:00:24 2018 UTC (14 months, 2 weeks ago) by jhr
  added a couple of missing descriptions

Revision 4568 - Directory Listing
Modified Sun May 6 21:38:16 2018 UTC (14 months, 2 weeks ago) by jhr
adding status report for rev 4562

Revision 3677 - Directory Listing
Modified Sun Jan 22 04:35:57 2012 UTC (7 years, 6 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 (7 years, 6 months ago) by dbm
updated bug reference outputs, added 110.74, notes on discrepencies

Revision 3671 - Directory Listing
Modified Fri Jan 20 23:02:27 2012 UTC (7 years, 6 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 (11 years ago) by dbm
outputs updated and (preliminary) SUMMARY-110.68 added

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

Revision 2643 - Directory Listing
Modified Thu May 31 02:52:54 2007 UTC (12 years, 1 month ago) by blume
fixed some of the official outputs for bugs regressions

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

Revision 2597 - Directory Listing
Modified Wed May 23 17:53:03 2007 UTC (12 years, 2 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 (12 years, 2 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 (12 years, 2 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 (12 years, 2 months 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, 2 months 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, 2 months ago) by gkuan


Revision 2519 - Directory Listing
Modified Mon May 7 20:01:47 2007 UTC (12 years, 2 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 (12 years, 2 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 (12 years, 2 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 (12 years, 2 months ago) by gkuan
updated bugs and modules test reference outputs in line with secondary compiler bug fixes

Revision 2509 - Directory Listing
Modified Sat May 5 12:57:08 2007 UTC (12 years, 2 months ago) by gkuan
added correct outputs for datatype replication freetycs entpath bugs

Revision 2489 - Directory Listing
Modified Thu May 3 20:59:58 2007 UTC (12 years, 2 months ago) by gkuan
updated bugs test outputs...Unbound cases are failing

Revision 2471 - Directory Listing
Modified Mon Apr 30 21:52:16 2007 UTC (12 years, 2 months ago) by gkuan
removed spurious FLINT error from bug1396.1.out

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

Revision 2462 - Directory Listing
Modified Sat Apr 28 21:14:48 2007 UTC (12 years, 2 months ago) by gkuan
post-110.63 elab/flint revision regression tests and outputs

Revision 2460 - Directory Listing
Modified Sat Apr 28 20:18:10 2007 UTC (12 years, 2 months ago) by gkuan


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

Revision 791 - Directory Listing
Modified Thu Mar 1 18:59:35 2001 UTC (18 years, 4 months ago) by dbm
Original Path: sml/trunk/tests/bugs
new output files (outputs.pre-110.5) for new tests

Revision 790 - Directory Listing
Modified Wed Feb 28 22:46:05 2001 UTC (18 years, 4 months ago) by dbm
Original Path: sml/trunk/tests/bugs
corrections: bug1582.1.sml -> bug1506.1.sml, bug1602.1.sml

Revision 789 - Directory Listing
Modified Wed Feb 28 21:57:58 2001 UTC (18 years, 4 months ago) by dbm
Original Path: sml/trunk/tests/bugs
new test cases

Revision 787 - Directory Listing
Modified Fri Feb 23 21:38:43 2001 UTC (18 years, 5 months ago) by dbm
Original Path: sml/trunk/tests/bugs
bug fixes

Revision 786 - Directory Listing
Modified Fri Feb 23 21:36:06 2001 UTC (18 years, 5 months ago) by dbm
Original Path: sml/trunk/tests/bugs
update

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

Sort log by:

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