crocopat - CrocoPat: A Tool for Simple and Efficient Relational Programming

Older Apr 05, 2011 issue 1 (Feature Request: String split function) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 2 (Variable names not bound in `#' expression) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 5 (Join with the universe on incorrect arity) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 6 (request to access ,v files) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 7 (Running .rml files directly) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 10 (Truncation of a constant) Owner changed by DirkBeye...@gmail.com - Owner: Owner: Apr 05, 2011 issue 11 (Silence Java warnings) changed by DirkBeye...@gmail.com - Thanks a lot! Status: Fixed Owner: Thanks a lot! Status: Fixed Owner: Apr 05, 2011 r52 (Removal of unnecessary comments and correction of misspellin...) committed by DirkBeye...@gmail.com - Removal of unnecessary comments and correction of misspelling (depht). Removal of unnecessary comments and correction of misspelling (depht). Apr 05, 2011 r51 (Issue 11: Status: New Owner: ---- New issue 11 by loganje....) committed by DirkBeye...@gmail.com - Issue 11 : Status: New Owner: ---- New issue 11 by loganje...@gmail.com: Silence Java warnings http://code.google.com/p/crocopat/issues/detail?id=11 What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-) Issue 11 : Status: New Owner: ---- New issue 11 by loganje...@gmail.com: Silence Java warnings http://code.google.com/p/crocopat/issues/detail?id=11 What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-) Apr 05, 2011 issue 9 (GCC streamlined header architecture) commented on by DirkBeye...@gmail.com - In summary, I just moved down the include of cstdlib from relObject to bddBdd and bddSymTab. Nicer. In summary, I just moved down the include of cstdlib from relObject to bddBdd and bddSymTab. Nicer. Apr 05, 2011 r50 (Cleanup after fix for Issue 9: cstdlib not necessary in relO...) committed by DirkBeye...@gmail.com - Cleanup after fix for Issue 9 : cstdlib not necessary in relObject, because it is included in bddBdd and bddSymTab. Cleanup after fix for Issue 9 : cstdlib not necessary in relObject, because it is included in bddBdd and bddSymTab. Apr 05, 2011 issue 10 (Truncation of a constant) Status changed by DirkBeye...@gmail.com - This problem was fixed already. Status: Invalid This problem was fixed already. Status: Invalid Apr 05, 2011 issue 9 (GCC streamlined header architecture) Status changed by DirkBeye...@gmail.com - Status: Fixed Status: Fixed Apr 05, 2011 r49 (Issue 9: Status: New Owner: ---- New issue 9 by loganje......) committed by DirkBeye...@gmail.com - Issue 9 : Status: New Owner: ---- New issue 9 by loganje...@gmail.com: GCC streamlined header architecture http://code.google.com/p/crocopat/issues/detail?id=9 What steps will reproduce the problem? 1. Attempt to build CrocoPat 2.1.4 with GCC 4.5 or later 2. 3. What is the expected output? What do you see instead? The build fails with error messages indicating that various symbols are not defined. Please use labels and text to provide additional information. This is a common problem with C++ projects and GCC 4.5, since that version of GCC introduced a "streamlined header architecture". Many header files which used to be included implicitly must now be included explicitly. The attached patch fixes the problem. Issue 9 : Status: New Owner: ---- New issue 9 by loganje...@gmail.com: GCC streamlined header architecture http://code.google.com/p/crocopat/issues/detail?id=9 What steps will reproduce the problem? 1. Attempt to build CrocoPat 2.1.4 with GCC 4.5 or later 2. 3. What is the expected output? What do you see instead? The build fails with error messages indicating that various symbols are not defined. Please use labels and text to provide additional information. This is a common problem with C++ projects and GCC 4.5, since that version of GCC introduced a "streamlined header architecture". Many header files which used to be included implicitly must now be included explicitly. The attached patch fixes the problem. Apr 05, 2011 r48 (Tracking new working configuration: gcc 4.4.4 and bison 2.4....) committed by DirkBeye...@gmail.com - Tracking new working configuration: gcc 4.4.4 and bison 2.4.1 Tracking new working configuration: gcc 4.4.4 and bison 2.4.1 Apr 05, 2011 issue 9 (GCC streamlined header architecture) changed by DirkBeye...@gmail.com - Thanks a lot for the report. Could you please try again with the latest version of the repository? Some of the changes are already there and I wonder if the others are actually required (cstdlib for bddBdd and bddSymTab). Status: Started Owner: Thanks a lot for the report. Could you please try again with the latest version of the repository? Some of the changes are already there and I wonder if the others are actually required (cstdlib for bddBdd and bddSymTab). Status: Started Owner: Apr 04, 2011 issue 11 (Silence Java warnings) reported by loganje...@gmail.com - What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-) What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-) Apr 04, 2011 issue 10 (Truncation of a constant) reported by loganje...@gmail.com - What steps will reproduce the problem? 1. Compile CrocoPat 2.1.4 + the streamlined header patch with GCC 4.5 2. 3. What is the expected output? What do you see instead? GCC issues 2 warnings about truncating a constant to fit into its declared type. This is due to trying to store the constant "(unsigned) -1" into a 31-bit unsigned integer field. Please use labels and text to provide additional information. Since we know the fields are 31 bits wide, using "(1U << 31) - 1U" compiles to the same code, but doesn't produce any GCC warnings. See the attached patch. What steps will reproduce the problem? 1. Compile CrocoPat 2.1.4 + the streamlined header patch with GCC 4.5 2. 3. What is the expected output? What do you see instead? GCC issues 2 warnings about truncating a constant to fit into its declared type. This is due to trying to store the constant "(unsigned) -1" into a 31-bit unsigned integer field. Please use labels and text to provide additional information. Since we know the fields are 31 bits wide, using "(1U << 31) - 1U" compiles to the same code, but doesn't produce any GCC warnings. See the attached patch. Apr 04, 2011 issue 9 (GCC streamlined header architecture) reported by loganje...@gmail.com - What steps will reproduce the problem? 1. Attempt to build CrocoPat 2.1.4 with GCC 4.5 or later 2. 3. What is the expected output? What do you see instead? The build fails with error messages indicating that various symbols are not defined. Please use labels and text to provide additional information. This is a common problem with C++ projects and GCC 4.5, since that version of GCC introduced a "streamlined header architecture". Many header files which used to be included implicitly must now be included explicitly. The attached patch fixes the problem. What steps will reproduce the problem? 1. Attempt to build CrocoPat 2.1.4 with GCC 4.5 or later 2. 3. What is the expected output? What do you see instead? The build fails with error messages indicating that various symbols are not defined. Please use labels and text to provide additional information. This is a common problem with C++ projects and GCC 4.5, since that version of GCC introduced a "streamlined header architecture". Many header files which used to be included implicitly must now be included explicitly. The attached patch fixes the problem. Dec 05, 2010 issue 8 (Output to file should not append by default, but overwrite.) reported by DirkBeye...@gmail.com - Check if it is really necessary to append. I belive this confuses more than it helps. Check if it is really necessary to append. I belive this confuses more than it helps. Jun 16, 2010 r47 (Drawings of a Binary Decision Tree.) committed by DirkBeye...@gmail.com - Drawings of a Binary Decision Tree. Drawings of a Binary Decision Tree. Jan 25, 2010 r46 (test case) committed by DirkBeyer7201 - test case test case Sep 18, 2009 issue 7 (Running .rml files directly) commented on by siretart - verified, works for me. Thanks for implementing the idea! :-) verified, works for me. Thanks for implementing the idea! :-) Aug 19, 2009 issue 6 (request to access ,v files) Status changed by DirkBeyer7201 - Status: Invalid Status: Invalid Aug 19, 2009 issue 7 (Running .rml files directly) Status changed by DirkBeyer7201 - Nice idea. Done. Please review and test Revision r45 and let me know. Status: Fixed Nice idea. Done. Please review and test Revision r45 and let me know. Status: Fixed Aug 19, 2009 r45 (Shell-like comments using # at the beginning of a line are n...) committed by DirkBeyer7201 - Shell-like comments using # at the beginning of a line are now supported. Cf. Issue 7 . Shell-like comments using # at the beginning of a line are now supported. Cf. Issue 7 . Aug 18, 2009 issue 7 (Running .rml files directly) reported by siretart - If crocopat would treat lines leading with '#' as comments in addition to '/* /' and '//', then it would be possible to have crocopat as she-bang: ----- #!/usr/local/bin/crocopat ...rml code here... ----- then the file could be made executable and started directly. Would make scripts that use crocopat easier. If crocopat would treat lines leading with '#' as comments in addition to '/ */' and '//', then it would be possible to have crocopat as she-bang: ----- #!/usr/local/bin/crocopat ...rml code here... ----- then the file could be made executable and started directly. Would make scripts that use crocopat easier. May 05, 2009 r44 (Fixed yyFlexLexer problem to make it more portable (3).) committed by DirkBeyer7201 - Fixed yyFlexLexer problem to make it more portable (3). Fixed yyFlexLexer problem to make it more portable (3). May 05, 2009 r43 (Fixed yyFlexLexer problem to make it more portable (2).) committed by DirkBeyer7201 - Fixed yyFlexLexer problem to make it more portable (2). Fixed yyFlexLexer problem to make it more portable (2). May 05, 2009 r42 (Fixed yyFlexLexer problem to make it more portable.) committed by DirkBeyer7201 - Fixed yyFlexLexer problem to make it more portable. Fixed yyFlexLexer problem to make it more portable. May 05, 2009 r41 (Maintenance changes required/suggested by new version of com...) committed by DirkBeyer7201 - Maintenance changes required/suggested by new version of compilation environment. Maintenance changes required/suggested by new version of compilation environment. Apr 30, 2009 issue 6 (request to access ,v files) commented on by DirkBeyer7201 - This is an SVN repository, not a CVS repository. Therefore, there are no ,v files. If you want to access the version history, you can, via: http://crocopat.googlecode.com/svn/trunk/ This is an SVN repository, not a CVS repository. Therefore, there are no ,v files. If you want to access the version history, you can, via: http://crocopat.googlecode.com/svn/trunk/ Apr 30, 2009 issue 6 (request to access ,v files) reported by ravichandra.sadam - Hello sir, please let us know how to access the ,v files in CVS repository and we downloaded crocopat and there are no ,v files in it. so please kindly tell us about the above mentioned problem. Thanks Hello sir, please let us know how to access the ,v files in CVS repository and we downloaded crocopat and there are no ,v files in it. so please kindly tell us about the above mentioned problem. Thanks

r51 (Issue 11: Status: New Owner: ---- New issue 11 by loganje....) committed by DirkBeye...@gmail.com - Issue 11 : Status: New Owner: ---- New issue 11 by loganje...@gmail.com: Silence Java warnings http://code.google.com/p/crocopat/issues/detail?id=11 What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-)

Issue 11 : Status: New Owner: ---- New issue 11 by loganje...@gmail.com: Silence Java warnings http://code.google.com/p/crocopat/issues/detail?id=11 What steps will reproduce the problem? 1. Compile VisuBDD 2. 3. What is the expected output? What do you see instead? Both OpenJDK and gcj emit a large number of warnings. This is largely due to the use of pre-Java 5 java.util containers. Please use labels and text to provide additional information. If you have any interest in moving up to Java 5 and generics, then the attached patch is a start. It does the following: - Removes unused imports (as reported by gcj). - Removes unnecessary type casts. - Adds generics to bare java.util.List declarations. - Implements the List interface with unsynchronized ArrayList instead of synchronized Vector. I reviewed the code to see if this was safe, and it appeared to me to be so. Please check me on this, though. - Changes "new String(string_variable)" to "string_variable". This is safe since Java strings are immutable. - Changes "new Double(number)" to "Double.valueOf(number)" to (possibly) take advantage of caching. - Replaces some loops that use integer counters with iteration over Lists. - Updates some calls to deprecated methods. The patch does NOT correct the spelling of "depht". :-)

Older