akiezun/hampi

Automatically exported from code.google.com/p/hampi

hampi's Issues

path to jni.h broken

linux systems often come with openjdk installed instead of sun-java. Thus
the correct java path could be  any one of
/usr/lib/jvm/java-6-openjdk/include/ or /usr/lib/jvm/java-6-sun/include.
The current configure scripts and makefiles assume the later resulting in
errors during make if you don't have the sun-java6-jdk package installed.

Original issue reported on code.google.com by [email protected] on 4 Mar 2010 at 7:02

Unsat for correct cases

What steps will reproduce the problem?
1. ./hampi.sh ${ATTACHEDFILE}.hmp

What is the expected output? What do you see instead?
SAT
I see UNSAT

Original issue reported on code.google.com by [email protected] on 24 Jan 2010 at 2:11

Attachments:

• badcase1.hmp
• badcase2.hmp

Parser error with multiple asserts and ranges

Run this:

var v : 1;
cfg R := ['a' - 'b'];
assert v in R;
assert v in R;

Should return 'a' or 'b'. Instead, throws exception:
distributions in bounding: 0ms (3 times)
grammar bounding for R: 27ms (1 times)

java.lang.IllegalArgumentException: Cannot find nonterminal rangea_b in
grammar: R = rangea_b  ;

at
hampi.grammars.apps.UnreachableNonterminalRemover.getReachableNonterminals(Unrea
chableNonterminalRemover.java:62)
at
hampi.grammars.apps.UnreachableNonterminalRemover.removeUnreachableNonterminals(
UnreachableNonterminalRemover.java:76)
at
hampi.grammars.apps.EpsilonProductionRemover.removeEpsilonProductions(EpsilonPro
ductionRemover.java:52)
at
hampi.grammars.apps.GrammarStringBounder.getBoundedRegexp(GrammarStringBounder.j
ava:51)
at
hampi.parser.HConstraintPreparer.prepareSizeFixRegexp(HConstraintPreparer.java:2
16)
at hampi.parser.HConstraintPreparer.prepareIn(HConstraintPreparer.java:132)
at hampi.parser.HConstraintPreparer.prepare(HConstraintPreparer.java:47)
at hampi.parser.HConstraintPreparer.prepare(HConstraintPreparer.java:34)
at hampi.Hampi.run(Hampi.java:283)
at hampi.Hampi.run(Hampi.java:259)
at hampi.Hampi.main(Hampi.java:238)

Original issue reported on code.google.com by [email protected] on 2 Feb 2010 at 1:50

Out of memory in grammar bounding

This should go through really fast because all sizes are fixed. Instead, it
blows up.

var string:75;
cfg q2 := \104 \116 \116 \112 \058 \047 \047 \057 \056;
cfg q3 := \046;
cfg q4 := \049 \051 \048;
cfg q5 := \046;
cfg q6 := \050 \052 \057;
cfg q7 := \046;
cfg q8 := \053 \055 \047 \098 \050 \101 \118 \111 \108 \117 \116 \105  
\111 \110 \047 \097 \100 \109 \105 \110;
cfg q9 := \046;
cfg q10 := \112 \104 \112;
cfg q11 := \063;
cfg q12 := \099 \116 \114 \108 \061 \105 \116 \101 \109 \115 \038  
\102 \105 \108 \116 \101 \114 \061 \114 \101 \115 \116 \111 \114 \101  
\038 \098 \108 \111 \103 \061 \049;
cfg q1 := q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12;
cfg flax0 := q1;

assert string in flax0; 

Original issue reported on code.google.com by [email protected] on 3 Feb 2010 at 6:19

not in doesn't work if grammar length is less than string length

var hampiStringVar : 9 ;
cfg _q2 := \049 ;
assert hampiStringVar not in _q2 ;

This should return any string of length 9, but it seems to return UNSAT

Original issue reported on code.google.com by [email protected] on 14 Oct 2010 at 6:40