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 2519 - Directory Listing
Modified Mon May 7 20:01:47 2007 UTC (12 years, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month ago) by gkuan
missing bug tests subdirectories

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


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

Revision 791 - Directory Listing
Modified Thu Mar 1 18:59:35 2001 UTC (18 years, 3 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, 3 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, 3 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, 3 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, 3 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, 3 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