abtools-devel Mailing List for Another B TOOLS
Status: Beta
Brought to you by:
jlboulanger
Menu
▾
▴
abtools-devel — ABTOOLS news on development
You can subscribe to this list here.
| 2010 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(20) |
Sep
(5) |
Oct
|
Nov
|
Dec
(3) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(5) |
Jun
(36) |
Jul
(13) |
Aug
(16) |
Sep
|
Oct
(2) |
Nov
|
Dec
|
| 2014 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <jlb...@us...> - 2014-05-09 10:59:00
|
Revision: 180
http://sourceforge.net/p/abtools/code/180
Author: jlboulanger
Date: 2014-05-09 10:58:58 +0000 (Fri, 09 May 2014)
Log Message:
-----------
Modified Paths:
--------------
Binary/runABTools
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-10-13 15:34:39
|
Revision: 179
http://abtools.svn.sourceforge.net/abtools/?rev=179&view=rev
Author: wahlst
Date: 2011-10-13 15:34:33 +0000 (Thu, 13 Oct 2011)
Log Message:
-----------
representing SETS as nonstatic final ghost variables (rather than static ones)
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-10-13 15:33:39
|
Revision: 178
http://abtools.svn.sourceforge.net/abtools/?rev=178&view=rev
Author: wahlst
Date: 2011-10-13 15:33:30 +0000 (Thu, 13 Oct 2011)
Log Message:
-----------
updated examples for change of SET representation
Modified Paths:
--------------
BBENCH/JML/BOUND.java
BBENCH/JML/CARTESIAN.java
BBENCH/JML/GIVEN.java
BBENCH/JML/OUTPUT.java
BBENCH/JML/SOCIAL_FRIENDS.java
BBENCH/JML/SOCIAL_NETWORK.java
BBENCH/JML/TYPECHECK.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-18 21:38:21
|
Revision: 177
http://abtools.svn.sourceforge.net/abtools/?rev=177&view=rev
Author: wahlst
Date: 2011-08-18 21:38:15 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
example with correct translation of boolean literals
Modified Paths:
--------------
BBENCH/JML/VARTEST.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-18 21:36:57
|
Revision: 176
http://abtools.svn.sourceforge.net/abtools/?rev=176&view=rev
Author: wahlst
Date: 2011-08-18 21:36:51 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
correcting translation of boolean literals
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-18 21:26:13
|
Revision: 175
http://abtools.svn.sourceforge.net/abtools/?rev=175&view=rev
Author: wahlst
Date: 2011-08-18 21:26:07 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
updating translation examples
Modified Paths:
--------------
BBENCH/JML/BOUND.java
BBENCH/JML/CARTESIAN.java
BBENCH/JML/GIVEN.java
BBENCH/JML/INTERVAL.java
BBENCH/JML/SEQUENCE.java
BBENCH/JML/SET.java
BBENCH/JML/SOCIAL_FRIENDS.java
BBENCH/JML/SOCIAL_NETWORK.java
BBENCH/JML/SOCIAL_NETWORK_2r.java
BBENCH/JML/SOCIAL_NETWORK_3r.java
BBENCH/JML/SOCIAL_NETWORK_4r.java
BBENCH/JML/SOCIAL_NETWORK_r.java
BBENCH/JML/TYPECHECK.java
BBENCH/JML/VARTEST.java
BBENCH/JML/testMachine2.java
Added Paths:
-----------
BBENCH/JML/SOCIAL_NETWORK_3r.mch
Removed Paths:
-------------
BBENCH/JML/SOCIAL_NETWORK_3r.mch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-18 21:02:15
|
Revision: 174
http://abtools.svn.sourceforge.net/abtools/?rev=174&view=rev
Author: wahlst
Date: 2011-08-18 21:02:08 +0000 (Thu, 18 Aug 2011)
Log Message:
-----------
qualifying references to static fields and methods to make inheritance easier
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.g
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-17 20:11:06
|
Revision: 173
http://abtools.svn.sourceforge.net/abtools/?rev=173&view=rev
Author: wahlst
Date: 2011-08-17 20:10:58 +0000 (Wed, 17 Aug 2011)
Log Message:
-----------
removing unused symbol table field from toJML_TreeWalker
Modified Paths:
--------------
src/ABTOOLS/INTERFACE_TEXTE/ABTools.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-17 20:10:27
|
Revision: 172
http://abtools.svn.sourceforge.net/abtools/?rev=172&view=rev
Author: wahlst
Date: 2011-08-17 20:10:21 +0000 (Wed, 17 Aug 2011)
Log Message:
-----------
removing unused symbol table field
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-16 15:15:07
|
Revision: 171
http://abtools.svn.sourceforge.net/abtools/?rev=171&view=rev
Author: wahlst
Date: 2011-08-16 15:15:01 +0000 (Tue, 16 Aug 2011)
Log Message:
-----------
performance enhancement - caching the refinement/includes chain rather than recalculating it for each nonlocal variable reference.
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/BTyping.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jlb...@us...> - 2011-08-13 19:36:33
|
Revision: 170
http://abtools.svn.sourceforge.net/abtools/?rev=170&view=rev
Author: jlboulanger
Date: 2011-08-13 19:36:27 +0000 (Sat, 13 Aug 2011)
Log Message:
-----------
Add trace variables in makefile
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/Makefile.grammars
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jlb...@us...> - 2011-08-13 19:29:01
|
Revision: 169
http://abtools.svn.sourceforge.net/abtools/?rev=169&view=rev
Author: jlboulanger
Date: 2011-08-13 19:28:55 +0000 (Sat, 13 Aug 2011)
Log Message:
-----------
correct some bug in Treewalker
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/B.g
src/ABTOOLS/GRAMMAR/BTyping.g
src/ABTOOLS/GRAMMAR/Expression.g
src/ABTOOLS/GRAMMAR/ExpressionTreeWalker.g
src/ABTOOLS/GRAMMAR/Makefile.grammars
src/ABTOOLS/GRAMMAR/PredicateTreeWalker.g
src/ABTOOLS/GRAMMAR/TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-13 01:01:24
|
Revision: 168
http://abtools.svn.sourceforge.net/abtools/?rev=168&view=rev
Author: wahlst
Date: 2011-08-13 01:01:17 +0000 (Sat, 13 Aug 2011)
Log Message:
-----------
updated 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.
Modified Paths:
--------------
BBENCH/JML/BOUND.java
BBENCH/JML/CARTESIAN.java
BBENCH/JML/GIVEN.java
BBENCH/JML/OUTPUT.java
BBENCH/JML/SEQUENCE.java
BBENCH/JML/SET.java
BBENCH/JML/SOCIAL_NETWORK.java
BBENCH/JML/SOCIAL_NETWORK.mch
BBENCH/JML/TYPECHECK.java
BBENCH/JML/VARTEST.java
Added Paths:
-----------
BBENCH/JML/INTERVAL.java
BBENCH/JML/INTERVAL.mch
BBENCH/JML/NEST.java
BBENCH/JML/NEST.mch
BBENCH/JML/SOCIAL_FRIENDS.java
BBENCH/JML/SOCIAL_FRIENDS.mch
BBENCH/JML/SOCIAL_NETWORK.mch.back
BBENCH/JML/SOCIAL_NETWORK_2r.java
BBENCH/JML/SOCIAL_NETWORK_2r.mch
BBENCH/JML/SOCIAL_NETWORK_3r.java
BBENCH/JML/SOCIAL_NETWORK_3r.mch
BBENCH/JML/SOCIAL_NETWORK_4r.java
BBENCH/JML/SOCIAL_NETWORK_4r.mch
BBENCH/JML/SOCIAL_NETWORK_r.java
BBENCH/JML/SOCIAL_NETWORK_r.mch
BBENCH/JML/testMachine2.java
BBENCH/JML/testMachine2.mch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-13 00:57:48
|
Revision: 167
http://abtools.svn.sourceforge.net/abtools/?rev=167&view=rev
Author: wahlst
Date: 2011-08-13 00:57:40 +0000 (Sat, 13 Aug 2011)
Log Message:
-----------
fix for Bug #6 on sourceforge (MantisBT)
all refined and included machines are now searched to resolve
nonlocal identifiers
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/BTyping.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <var...@us...> - 2011-08-12 17:37:30
|
Revision: 166
http://abtools.svn.sourceforge.net/abtools/?rev=166&view=rev
Author: varivera
Date: 2011-08-12 17:37:24 +0000 (Fri, 12 Aug 2011)
Log Message:
-----------
Fixed problem dealing with multiple file extensions.
Modified Paths:
--------------
src/ABTOOLS/INTERFACE_TEXTE/ABTools.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <var...@us...> - 2011-08-12 17:31:42
|
Revision: 165
http://abtools.svn.sourceforge.net/abtools/?rev=165&view=rev
Author: varivera
Date: 2011-08-12 17:31:36 +0000 (Fri, 12 Aug 2011)
Log Message:
-----------
Fixed problem dealing with multiple file extensions.
Modified Paths:
--------------
src/ABTOOLS/ANTLR_TOOLS/AbstractMachine.java
src/ABTOOLS/ANTLR_TOOLS/LinkedAM.java
src/ABTOOLS/ANTLR_TOOLS/Project.java
src/ABTOOLS/GRAMMAR/B.g
src/ABTOOLS/GRAMMAR/BEvent.g
src/ABTOOLS/GRAMMAR/BModel.g
src/ABTOOLS/GRAMMAR/BPrime.g
src/ABTOOLS/GRAMMAR/BSystem.g
src/ABTOOLS/GRAMMAR/BTyping.g
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
src/ABTOOLS/INTERFACE_TEXTE/ABTools.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-11 15:02:37
|
Revision: 164
http://abtools.svn.sourceforge.net/abtools/?rev=164&view=rev
Author: wahlst
Date: 2011-08-11 15:02:31 +0000 (Thu, 11 Aug 2011)
Log Message:
-----------
fixing handling of interval types and changing the representation of
carrier sets from model fields to public static ghost fields
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-09 22:16:40
|
Revision: 163
http://abtools.svn.sourceforge.net/abtools/?rev=163&view=rev
Author: wahlst
Date: 2011-08-09 22:16:33 +0000 (Tue, 09 Aug 2011)
Log Message:
-----------
updating library code for B2JML
- corrected implementation of Intervals
- added documentation
- added type parameters as needed
- removed print statements from test cases
Modified Paths:
--------------
B2JML/org/jmlspecs/b2jml/test/BijectionTest.java
B2JML/org/jmlspecs/b2jml/test/ModelUtilsTest.java
B2JML/org/jmlspecs/b2jml/test/PartialInjectTest.java
B2JML/org/jmlspecs/b2jml/test/PartialSurjectTest.java
B2JML/org/jmlspecs/b2jml/test/PartialTest.java
B2JML/org/jmlspecs/b2jml/test/RelationTest.java
B2JML/org/jmlspecs/b2jml/test/TotalInjectTest.java
B2JML/org/jmlspecs/b2jml/test/TotalSurjectTest.java
B2JML/org/jmlspecs/b2jml/test/TotalTest.java
B2JML/org/jmlspecs/b2jml/util/B_Types.java
B2JML/org/jmlspecs/b2jml/util/Bijection.java
B2JML/org/jmlspecs/b2jml/util/Interval.java
B2JML/org/jmlspecs/b2jml/util/ModelUtils.java
B2JML/org/jmlspecs/b2jml/util/Partial.java
B2JML/org/jmlspecs/b2jml/util/PartialInject.java
B2JML/org/jmlspecs/b2jml/util/PartialSurject.java
B2JML/org/jmlspecs/b2jml/util/Relation.java
B2JML/org/jmlspecs/b2jml/util/Seq.java
B2JML/org/jmlspecs/b2jml/util/Set.java
B2JML/org/jmlspecs/b2jml/util/Total.java
B2JML/org/jmlspecs/b2jml/util/TotalInject.java
B2JML/org/jmlspecs/b2jml/util/TotalSurject.java
Added Paths:
-----------
B2JML/org/jmlspecs/b2jml/test/IntervalTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-08-06 21:14:41
|
Revision: 162
http://abtools.svn.sourceforge.net/abtools/?rev=162&view=rev
Author: wahlst
Date: 2011-08-06 21:14:33 +0000 (Sat, 06 Aug 2011)
Log Message:
-----------
temporary patch so that ABTools will look more than one refinement back when resolving identifiers.
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/BTyping.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-18 14:41:16
|
Revision: 161
http://abtools.svn.sourceforge.net/abtools/?rev=161&view=rev
Author: wahlst
Date: 2011-07-18 14:41:10 +0000 (Mon, 18 Jul 2011)
Log Message:
-----------
stronger tests for VAR substitutions
Modified Paths:
--------------
BBENCH/JML/VAR.mch
BBENCH/JML/VARTEST.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-15 16:43:25
|
Revision: 160
http://abtools.svn.sourceforge.net/abtools/?rev=160&view=rev
Author: wahlst
Date: 2011-07-15 16:43:19 +0000 (Fri, 15 Jul 2011)
Log Message:
-----------
updated example with redundant conversions removed
Modified Paths:
--------------
BBENCH/JML/SOCIAL_NETWORK.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-15 16:42:46
|
Revision: 159
http://abtools.svn.sourceforge.net/abtools/?rev=159&view=rev
Author: wahlst
Date: 2011-07-15 16:42:40 +0000 (Fri, 15 Jul 2011)
Log Message:
-----------
setting type of a set of maplets as relation to avoid redundant conversions
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-15 00:53:35
|
Revision: 158
http://abtools.svn.sourceforge.net/abtools/?rev=158&view=rev
Author: wahlst
Date: 2011-07-15 00:53:29 +0000 (Fri, 15 Jul 2011)
Log Message:
-----------
test case for VAR substitution
Added Paths:
-----------
BBENCH/JML/VAR.mch
BBENCH/JML/VARTEST.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-15 00:52:56
|
Revision: 157
http://abtools.svn.sourceforge.net/abtools/?rev=157&view=rev
Author: wahlst
Date: 2011-07-15 00:52:50 +0000 (Fri, 15 Jul 2011)
Log Message:
-----------
bug fix - should have tested a bit more before the previous commit
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wa...@us...> - 2011-07-15 00:42:28
|
Revision: 156
http://abtools.svn.sourceforge.net/abtools/?rev=156&view=rev
Author: wahlst
Date: 2011-07-15 00:42:22 +0000 (Fri, 15 Jul 2011)
Log Message:
-----------
simplifying handling of assignable variables
Modified Paths:
--------------
src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
