http://cia.vc/stats/project/abtools100Python Subversion client for CIA1.20from sfp-svn-2.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id A87B8232928
for <cia@cia.vc>; Thu, 13 Oct 2011 10:51:28 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-2.v30.ch3.sourceforge.com)
by sfp-svn-2.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1RENIn-0008OP-I2
for cia@cia.vc; Thu, 13 Oct 2011 15:34:33 +0000noreply@sourceforge.net<E1RENIn-0008OP-I2@sfp-svn-2.v30.ch3.sourceforge.com>Thu, 13 Oct 2011 15:34:33 +0000abtools179wahlstrepresenting SETS as nonstatic final ghost variables (rather than static ones) 23http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=179src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g1318528288Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id B2B78232928
for <cia@cia.vc>; Thu, 13 Oct 2011 10:50:25 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1RENHm-0007Se-Jq
for cia@cia.vc; Thu, 13 Oct 2011 15:33:30 +0000noreply@sourceforge.net<E1RENHm-0007Se-Jq@sfp-svn-1.v30.ch3.sourceforge.com>Thu, 13 Oct 2011 15:33:30 +0000abtools178wahlstupdated examples for change of SET representation 95http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=178BBENCH/JML/BOUND.javaBBENCH/JML/CARTESIAN.javaBBENCH/JML/GIVEN.javaBBENCH/JML/OUTPUT.javaBBENCH/JML/SOCIAL_FRIENDS.javaBBENCH/JML/SOCIAL_NETWORK.javaBBENCH/JML/TYPECHECK.java1318528225Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id C552C23291A
for <cia@cia.vc>; Thu, 18 Aug 2011 16:23:35 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QuAI3-0008CQ-TX
for cia@cia.vc; Thu, 18 Aug 2011 21:38:15 +0000noreply@sourceforge.net<E1QuAI3-0008CQ-TX@sfp-svn-1.v30.ch3.sourceforge.com>Thu, 18 Aug 2011 21:38:15 +0000abtools177wahlstexample with correct translation of boolean literals 24http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=177BBENCH/JML/VARTEST.java1313709815Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (unknown [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 1035123291A
for <cia@cia.vc>; Thu, 18 Aug 2011 16:22:21 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QuAGh-00089j-AP
for cia@cia.vc; Thu, 18 Aug 2011 21:36:51 +0000noreply@sourceforge.net<E1QuAGh-00089j-AP@sfp-svn-1.v30.ch3.sourceforge.com>Thu, 18 Aug 2011 21:36:51 +0000abtools176wahlstcorrecting translation of boolean literals 22http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=176src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.g1313709741Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 40FA723291A
for <cia@cia.vc>; Thu, 18 Aug 2011 16:11:27 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QuA6J-0007qg-Pn
for cia@cia.vc; Thu, 18 Aug 2011 21:26:07 +0000noreply@sourceforge.net<E1QuA6J-0007qg-Pn@sfp-svn-1.v30.ch3.sourceforge.com>Thu, 18 Aug 2011 21:26:07 +0000abtools175wahlstupdating translation examples 854http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=175BBENCH/JML/BOUND.javaBBENCH/JML/CARTESIAN.javaBBENCH/JML/GIVEN.javaBBENCH/JML/INTERVAL.javaBBENCH/JML/SEQUENCE.javaBBENCH/JML/SET.javaBBENCH/JML/SOCIAL_FRIENDS.javaBBENCH/JML/SOCIAL_NETWORK.javaBBENCH/JML/SOCIAL_NETWORK_2r.javaBBENCH/JML/SOCIAL_NETWORK_3r.javaBBENCH/JML/SOCIAL_NETWORK_3r.mchBBENCH/JML/SOCIAL_NETWORK_3r.mchBBENCH/JML/SOCIAL_NETWORK_4r.javaBBENCH/JML/SOCIAL_NETWORK_r.javaBBENCH/JML/TYPECHECK.javaBBENCH/JML/VARTEST.javaBBENCH/JML/testMachine2.java1313709087Python Subversion client for CIA1.20from sfp-svn-2.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 3314D23291A
for <cia@cia.vc>; Thu, 18 Aug 2011 15:47:28 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-2.v30.ch3.sourceforge.com)
by sfp-svn-2.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qu9j7-0007BW-8O
for cia@cia.vc; Thu, 18 Aug 2011 21:02:09 +0000noreply@sourceforge.net<E1Qu9j7-0007BW-8O@sfp-svn-2.v30.ch3.sourceforge.com>Thu, 18 Aug 2011 21:02:09 +0000abtools174wahlstqualifying references to static fields and methods to make inheritance easier 355http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=174src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.gsrc/ABTOOLS/GRAMMAR/toJML_TreeWalker.g1313707648Python Subversion client for CIA1.20from sfp-svn-4.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 8A6E723291A
for <cia@cia.vc>; Wed, 17 Aug 2011 14:55:42 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-4.v30.ch3.sourceforge.com)
by sfp-svn-4.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QtmS2-0001cy-SI
for cia@cia.vc; Wed, 17 Aug 2011 20:10:58 +0000noreply@sourceforge.net<E1QtmS2-0001cy-SI@sfp-svn-4.v30.ch3.sourceforge.com>Wed, 17 Aug 2011 20:10:58 +0000abtools173wahlstremoving unused symbol table field from toJML_TreeWalker 21http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=173src/ABTOOLS/INTERFACE_TEXTE/ABTools.java1313618142Python Subversion client for CIA1.20from sfp-svn-4.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 8BA2423291A
for <cia@cia.vc>; Wed, 17 Aug 2011 14:55:05 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-4.v30.ch3.sourceforge.com)
by sfp-svn-4.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QtmRR-0001cH-Tz
for cia@cia.vc; Wed, 17 Aug 2011 20:10:21 +0000noreply@sourceforge.net<E1QtmRR-0001cH-Tz@sfp-svn-4.v30.ch3.sourceforge.com>Wed, 17 Aug 2011 20:10:21 +0000abtools172wahlstremoving unused symbol table field 34http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=172src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g1313618105Python Subversion client for CIA1.20from sfp-svn-4.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 8311823291A
for <cia@cia.vc>; Tue, 16 Aug 2011 09:59:04 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-4.v30.ch3.sourceforge.com)
by sfp-svn-4.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QtLM5-00064n-LM
for cia@cia.vc; Tue, 16 Aug 2011 15:15:01 +0000noreply@sourceforge.net<E1QtLM5-00064n-LM@sfp-svn-4.v30.ch3.sourceforge.com>Tue, 16 Aug 2011 15:15:01 +0000abtools171wahlstperformance enhancement - caching the refinement/includes chain rather than recalculating it for each nonlocal variable reference. 22http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=171src/ABTOOLS/GRAMMAR/BTyping.g1313513944Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id AE3B1232917
for <cia@cia.vc>; Sat, 13 Aug 2011 14:18:54 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QsK0R-0003Ee-Vi
for cia@cia.vc; Sat, 13 Aug 2011 19:36:27 +0000noreply@sourceforge.net<E1QsK0R-0003Ee-Vi@sfp-svn-1.v30.ch3.sourceforge.com>Sat, 13 Aug 2011 19:36:27 +0000abtools170jlboulangerAdd trace variables in makefile 39http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=170src/ABTOOLS/GRAMMAR/Makefile.grammars1313270334Python Subversion client for CIA1.20from sfp-svn-6.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id F34FB232917
for <cia@cia.vc>; Sat, 13 Aug 2011 14:11:21 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-6.v30.ch3.sourceforge.com)
by sfp-svn-6.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QsJt9-0003ei-EE
for cia@cia.vc; Sat, 13 Aug 2011 19:28:55 +0000noreply@sourceforge.net<E1QsJt9-0003ei-EE@sfp-svn-6.v30.ch3.sourceforge.com>Sat, 13 Aug 2011 19:28:55 +0000abtools169jlboulangercorrect some bug in Treewalker 151http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=169src/ABTOOLS/GRAMMAR/B.gsrc/ABTOOLS/GRAMMAR/BTyping.gsrc/ABTOOLS/GRAMMAR/Expression.gsrc/ABTOOLS/GRAMMAR/ExpressionTreeWalker.gsrc/ABTOOLS/GRAMMAR/Makefile.grammarssrc/ABTOOLS/GRAMMAR/PredicateTreeWalker.gsrc/ABTOOLS/GRAMMAR/TreeWalker.g1313269882Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 9F113232917
for <cia@cia.vc>; Fri, 12 Aug 2011 19:43:18 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qs2bG-00035n-BW
for cia@cia.vc; Sat, 13 Aug 2011 01:01:18 +0000noreply@sourceforge.net<E1Qs2bG-00035n-BW@sfp-svn-1.v30.ch3.sourceforge.com>Sat, 13 Aug 2011 01:01:18 +0000abtools168wahlstupdated examples for B2Jml
note that machine SOCIAL_FRIENDS has been modified to treat FRIEND as
a carrier set (rather than a parameter set) because B2Jml does not yet
handle parameter sets. 3068http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=168BBENCH/JML/BOUND.javaBBENCH/JML/CARTESIAN.javaBBENCH/JML/GIVEN.javaBBENCH/JML/INTERVAL.javaBBENCH/JML/INTERVAL.mchBBENCH/JML/NEST.javaBBENCH/JML/NEST.mchBBENCH/JML/OUTPUT.javaBBENCH/JML/SEQUENCE.javaBBENCH/JML/SET.javaBBENCH/JML/SOCIAL_FRIENDS.javaBBENCH/JML/SOCIAL_FRIENDS.mchBBENCH/JML/SOCIAL_NETWORK.javaBBENCH/JML/SOCIAL_NETWORK.mchBBENCH/JML/SOCIAL_NETWORK.mch.backBBENCH/JML/SOCIAL_NETWORK_2r.javaBBENCH/JML/SOCIAL_NETWORK_2r.mchBBENCH/JML/SOCIAL_NETWORK_3r.javaBBENCH/JML/SOCIAL_NETWORK_3r.mchBBENCH/JML/SOCIAL_NETWORK_4r.javaBBENCH/JML/SOCIAL_NETWORK_4r.mchBBENCH/JML/SOCIAL_NETWORK_r.javaBBENCH/JML/SOCIAL_NETWORK_r.mchBBENCH/JML/TYPECHECK.javaBBENCH/JML/VARTEST.javaBBENCH/JML/testMachine2.javaBBENCH/JML/testMachine2.mch1313203398Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 59E06232917
for <cia@cia.vc>; Fri, 12 Aug 2011 19:39:41 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qs2Xl-00030n-4j
for cia@cia.vc; Sat, 13 Aug 2011 00:57:41 +0000noreply@sourceforge.net<E1Qs2Xl-00030n-4j@sfp-svn-1.v30.ch3.sourceforge.com>Sat, 13 Aug 2011 00:57:41 +0000abtools167wahlstfix for Bug #6 on sourceforge (MantisBT)
all refined and included machines are now searched to resolve
nonlocal identifiers 106http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=167src/ABTOOLS/GRAMMAR/BTyping.g1313203181Python Subversion client for CIA1.20from sfp-svn-4.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 45471232917
for <cia@cia.vc>; Fri, 12 Aug 2011 12:19:14 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-4.v30.ch3.sourceforge.com)
by sfp-svn-4.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qrvfg-0004RA-CV
for cia@cia.vc; Fri, 12 Aug 2011 17:37:24 +0000noreply@sourceforge.net<E1Qrvfg-0004RA-CV@sfp-svn-4.v30.ch3.sourceforge.com>Fri, 12 Aug 2011 17:37:24 +0000abtools166variveraFixed problem dealing with multiple file extensions. 68http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=166src/ABTOOLS/INTERFACE_TEXTE/ABTools.java1313176754Python Subversion client for CIA1.20from sfp-svn-4.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 937C0232917
for <cia@cia.vc>; Fri, 12 Aug 2011 12:13:26 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-4.v30.ch3.sourceforge.com)
by sfp-svn-4.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qrva4-0004L2-Tx
for cia@cia.vc; Fri, 12 Aug 2011 17:31:36 +0000noreply@sourceforge.net<E1Qrva4-0004L2-Tx@sfp-svn-4.v30.ch3.sourceforge.com>Fri, 12 Aug 2011 17:31:36 +0000abtools165variveraFixed problem dealing with multiple file extensions. 916http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=165src/ABTOOLS/ANTLR_TOOLS/AbstractMachine.javasrc/ABTOOLS/ANTLR_TOOLS/LinkedAM.javasrc/ABTOOLS/ANTLR_TOOLS/Project.javasrc/ABTOOLS/GRAMMAR/B.gsrc/ABTOOLS/GRAMMAR/BEvent.gsrc/ABTOOLS/GRAMMAR/BModel.gsrc/ABTOOLS/GRAMMAR/BPrime.gsrc/ABTOOLS/GRAMMAR/BSystem.gsrc/ABTOOLS/GRAMMAR/BTyping.gsrc/ABTOOLS/GRAMMAR/toJML_TreeWalker.gsrc/ABTOOLS/INTERFACE_TEXTE/ABTools.java1313176406Python Subversion client for CIA1.20from sfp-svn-1.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id A3574232918
for <cia@cia.vc>; Thu, 11 Aug 2011 09:43:43 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-1.v30.ch3.sourceforge.com)
by sfp-svn-1.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QrWmF-0003nz-K9
for cia@cia.vc; Thu, 11 Aug 2011 15:02:31 +0000noreply@sourceforge.net<E1QrWmF-0003nz-K9@sfp-svn-1.v30.ch3.sourceforge.com>Thu, 11 Aug 2011 15:02:31 +0000abtools164wahlstfixing handling of interval types and changing the representation of
carrier sets from model fields to public static ghost fields 65http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=164src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g1313081034Python Subversion client for CIA1.20from sfp-svn-6.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 3FD0C232917
for <cia@cia.vc>; Tue, 9 Aug 2011 16:56:48 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-6.v30.ch3.sourceforge.com)
by sfp-svn-6.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QqubC-0003YB-01
for cia@cia.vc; Tue, 09 Aug 2011 22:16:34 +0000noreply@sourceforge.net<E1QqubC-0003YB-01@sfp-svn-6.v30.ch3.sourceforge.com>Tue, 09 Aug 2011 22:16:34 +0000abtools163wahlstupdating library code for B2JML
- corrected implementation of Intervals
- added documentation
- added type parameters as needed
- removed print statements from test cases 726http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=163B2JML/org/jmlspecs/b2jml/test/BijectionTest.javaB2JML/org/jmlspecs/b2jml/test/IntervalTest.javaB2JML/org/jmlspecs/b2jml/test/ModelUtilsTest.javaB2JML/org/jmlspecs/b2jml/test/PartialInjectTest.javaB2JML/org/jmlspecs/b2jml/test/PartialSurjectTest.javaB2JML/org/jmlspecs/b2jml/test/PartialTest.javaB2JML/org/jmlspecs/b2jml/test/RelationTest.javaB2JML/org/jmlspecs/b2jml/test/TotalInjectTest.javaB2JML/org/jmlspecs/b2jml/test/TotalSurjectTest.javaB2JML/org/jmlspecs/b2jml/test/TotalTest.javaB2JML/org/jmlspecs/b2jml/util/B_Types.javaB2JML/org/jmlspecs/b2jml/util/Bijection.javaB2JML/org/jmlspecs/b2jml/util/Interval.javaB2JML/org/jmlspecs/b2jml/util/ModelUtils.javaB2JML/org/jmlspecs/b2jml/util/Partial.javaB2JML/org/jmlspecs/b2jml/util/PartialInject.javaB2JML/org/jmlspecs/b2jml/util/PartialSurject.javaB2JML/org/jmlspecs/b2jml/util/Relation.javaB2JML/org/jmlspecs/b2jml/util/Seq.javaB2JML/org/jmlspecs/b2jml/util/Set.javaB2JML/org/jmlspecs/b2jml/util/Total.javaB2JML/org/jmlspecs/b2jml/util/TotalInject.javaB2JML/org/jmlspecs/b2jml/util/TotalSurject.java1312934208Python Subversion client for CIA1.20from sfp-svn-2.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 903BE232916
for <cia@cia.vc>; Sat, 6 Aug 2011 15:53:04 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-2.v30.ch3.sourceforge.com)
by sfp-svn-2.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QpoCX-0008DY-SI
for cia@cia.vc; Sat, 06 Aug 2011 21:14:33 +0000noreply@sourceforge.net<E1QpoCX-0008DY-SI@sfp-svn-2.v30.ch3.sourceforge.com>Sat, 06 Aug 2011 21:14:33 +0000abtools162wahlsttemporary patch so that ABTools will look more than one refinement back when resolving identifiers. 18http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=162src/ABTOOLS/GRAMMAR/BTyping.g1312671184Python Subversion client for CIA1.20from sfp-svn-6.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id BC321232912
for <cia@cia.vc>; Mon, 18 Jul 2011 09:08:52 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-6.v30.ch3.sourceforge.com)
by sfp-svn-6.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1Qip0Q-0003m3-IY
for cia@cia.vc; Mon, 18 Jul 2011 14:41:10 +0000noreply@sourceforge.net<E1Qip0Q-0003m3-IY@sfp-svn-6.v30.ch3.sourceforge.com>Mon, 18 Jul 2011 14:41:10 +0000abtools161wahlststronger tests for VAR substitutions 74http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=161BBENCH/JML/VAR.mchBBENCH/JML/VARTEST.java1311005332Python Subversion client for CIA1.20from sfp-svn-2.v30.ch3.sourceforge.com (ch3.sourceforge.net [216.34.181.60])
by cia.vc (Postfix) with ESMTP id 556DE232910
for <cia@cia.vc>; Fri, 15 Jul 2011 11:09:18 -0700 (PDT)from localhost ([127.0.0.1] helo=sfp-svn-2.v30.ch3.sourceforge.com)
by sfp-svn-2.v30.ch3.sourceforge.com with esmtp (Exim 4.76)
(envelope-from <noreply@sourceforge.net>)
id 1QhlTz-00045Q-T9
for cia@cia.vc; Fri, 15 Jul 2011 16:43:19 +0000noreply@sourceforge.net<E1QhlTz-00045Q-T9@sfp-svn-2.v30.ch3.sourceforge.com>Fri, 15 Jul 2011 16:43:19 +0000abtools160wahlstupdated example with redundant conversions removed 85http://abtools.svn.sourceforge.net/abtools/?view=rev&rev=160BBENCH/JML/SOCIAL_NETWORK.java1310753358