hampi-devel

1–30 of 36

0 selected

1/28/15

Multiple Solutions?

From skimming the documentation, paper, and playing with a couple of examples, I'm wondering how

unread,

Multiple Solutions?

From skimming the documentation, paper, and playing with a couple of examples, I'm wondering how

1/28/15

9/2/14

Facing issues with multiple asserts

A file containing the following lines var v : 1 .. 10; cfg Digit := ['0'-'9']; cfg

unread,

Facing issues with multiple asserts

A file containing the following lines var v : 1 .. 10; cfg Digit := ['0'-'9']; cfg

9/2/14

8/12/13

I am wondering why something like this returns unsat in hampi var v : 10 .. 150; //Target: xmlns= $$

unread,

I am wondering why something like this returns unsat in hampi var v : 10 .. 150; //Target: xmlns= $$

8/12/13

4/30/13

Fwd: [hampi-devel] Problem running pcre_tohampi

forwarding to hampi-devel for future reference ---------- Forwarded message ---------- From: Milad

unread,

Fwd: [hampi-devel] Problem running pcre_tohampi

forwarding to hampi-devel for future reference ---------- Forwarded message ---------- From: Milad

4/30/13

Colin Soleim, Adam Kiezun2

3/27/13

Getting HAMPI to Output Random Strings

Hi Colin, For generating random strings, you should use a different tool, a fuzzer. There are many

unread,

Getting HAMPI to Output Random Strings

Hi Colin, For generating random strings, you should use a different tool, a fuzzer. There are many

3/27/13

C. Creus L., Adam Kiezun4

12/17/12

Trouble running Hampi

Hello, Thanks for the reply. I was wondering whether my inputs were wrong or the computations

unread,

Trouble running Hampi

Hello, Thanks for the reply. I was wondering whether my inputs were wrong or the computations

12/17/12

Adam Kiezun, … Adam Kiezun6

9/24/12

embed STP source

Hi Jun, speed-wide, upgrading to the newest STP would not make much difference. Almost all time in

unread,

embed STP source

Hi Jun, speed-wide, upgrading to the newest STP would not make much difference. Almost all time in

9/24/12

Jun He, … shay....@gmail.com8

5/13/12

Can Hampi output the regular expressions generated from a CFG grammar

Sent from my LG phone Jun He <jun...@it.uu.se> wrote: >Hi Adam, > >I am planning to a

unread,

Can Hampi output the regular expressions generated from a CFG grammar

Sent from my LG phone Jun He <jun...@it.uu.se> wrote: >Hi Adam, > >I am planning to a

5/13/12

5/10/12

Running Hampi's source code: Hampi always outputs true even for unsat problems

Done. The reason is I didn't run hampi_server.sh first. On May 9, 9:31 pm, Jun He <jun...@it.

unread,

Running Hampi's source code: Hampi always outputs true even for unsat problems

Done. The reason is I didn't run hampi_server.sh first. On May 9, 9:31 pm, Jun He <jun...@it.

5/10/12

Bikash Chandra, … Prateek Saxena6

9/13/11

Using Hampi to generate constraints od the type >

Hi Bikash, Please direct your queries to me (Prateek) @ prat...@cs.berkeley.edu directly if you are

unread,

Using Hampi to generate constraints od the type >

Hi Bikash, Please direct your queries to me (Prateek) @ prat...@cs.berkeley.edu directly if you are

9/13/11

2/18/11

Re: Hampi build problems

Having set these paths, 'make' worked, but 'make verify' died with this message: .

unread,

Re: Hampi build problems

Having set these paths, 'make' worked, but 'make verify' died with this message: .

2/18/11

1/27/11

HAMPI Journal paper attached for review by you

Hello Everyone, We have written a new paper on HAMPI for a journal submission. It would be great if

unread,

HAMPI Journal paper attached for review by you

Hello Everyone, We have written a new paper on HAMPI for a journal submission. It would be great if

1/27/11

Elnatan Reisner, Pieter Hooimeijer3

12/31/10

lib/stp-jni/stp/STPJNI.c is really a C++ file

Thanks for the pointer, and sorry for the spam. Elnatan On Dec 31, 2010, at 12:34 PM, Pieter

unread,

lib/stp-jni/stp/STPJNI.c is really a C++ file

Thanks for the pointer, and sorry for the spam. Elnatan On Dec 31, 2010, at 12:34 PM, Pieter

12/31/10

Elnatan Reisner, … Adam Kiezun9

12/29/10

Re: Hampi build problems

On Dec 29, 2010, at 11:01 AM, Adam Kiezun wrote: >> suggesting that the unsat instances work

unread,

Re: Hampi build problems

On Dec 29, 2010, at 11:01 AM, Adam Kiezun wrote: >> suggesting that the unsat instances work

12/29/10

10/5/10

SAT/SMT Constraint Solver Summer School 2011

Hello All, We are organizing a Boolean SAT/SMT constraint solver summer school @ MIT from June, 12th

unread,

SAT/SMT Constraint Solver Summer School 2011

Hello All, We are organizing a Boolean SAT/SMT constraint solver summer school @ MIT from June, 12th

10/5/10

Shay Artzi, Vijay Ganesh2

5/28/10

Adding equality constraint

Shay, This is fantastic!! -Vijay. On Fri, May 28, 2010 at 11:27 AM, Shay Artzi <shay.artzi@gmail.

unread,

Adding equality constraint

Shay, This is fantastic!! -Vijay. On Fri, May 28, 2010 at 11:27 AM, Shay Artzi <shay.artzi@gmail.

5/28/10

Jesper, Adam Kiezun3

5/25/10

[hampi-devel] Will Hampi run in Windows?

Thanks adam. I will try with Windows first by following your suggested steps and will feedback if it

unread,

[hampi-devel] Will Hampi run in Windows?

Thanks adam. I will try with Windows first by following your suggested steps and will feedback if it

5/25/10

5/21/10

[hampi-devel] New language operation: sub-string

Hi all- I just committed an update to Hampi that allows the definition and use of sub-strings. Here

unread,

[hampi-devel] New language operation: sub-string

Hi all- I just committed an update to Hampi that allows the definition and use of sub-strings. Here

5/21/10

Adam Kiezun, … Vijay Ganesh4

5/21/10

[hampi-devel] subsequence and string length

On Fri, May 21, 2010 at 11:16 AM, Tim Hinrichs <t...@uchicago.edu> wrote: > Hi Adam, >

unread,

[hampi-devel] subsequence and string length

On Fri, May 21, 2010 at 11:16 AM, Tim Hinrichs <t...@uchicago.edu> wrote: > Hi Adam, >

5/21/10

pedro.salgueiro, Adam Kiezun6

5/5/10

[hampi-devel] Hampi_server.sh, where does the results go?

Well, I have just found the problem, and the culprit is ... Ubuntu ... It happens that Ubuntu uses nc

unread,

[hampi-devel] Hampi_server.sh, where does the results go?

Well, I have just found the problem, and the culprit is ... Ubuntu ... It happens that Ubuntu uses nc

5/5/10

Gideon Redelinghuys, Adam Kiezun6

3/11/10

Problem with specifying small length strings

OK, these are not real compile errors. They result from overly strict compiler settings in Eclipse. I

unread,

Problem with specifying small length strings

OK, these are not real compile errors. They result from overly strict compiler settings in Eclipse. I

3/11/10

Gideon Redelinghuys, … Adam Kiezun4

3/3/10

[hampi-devel] Make script appears broken (Revision 40)

Gideon, The tests should all work, so it's a bit strange that it fails for you. But I'm happy

unread,

[hampi-devel] Make script appears broken (Revision 40)

Gideon, The tests should all work, so it's a bit strange that it fails for you. But I'm happy

3/3/10

Tim Hinrichs, … Adam Kiezun6

2/26/10

Hampi bug investigation

The workaround for now is to inline the constant string, eg for badcase1 in issue1: cfg q3 := [\032 -

unread,

Hampi bug investigation

The workaround for now is to inline the constant string, eg for badcase1 in issue1: cfg q3 := [\032 -

2/26/10

Devdatta, … Tim Hinrichs14

2/9/10

On SVN : automatic conversion of Regex to Hampi Grammar

Hi fixed. Also added both examples to the sampleRegex file. cheers devdatta On 9 February 2010 13:18,

unread,

On SVN : automatic conversion of Regex to Hampi Grammar

Hi fixed. Also added both examples to the sampleRegex file. cheers devdatta On 9 February 2010 13:18,

2/9/10

Tim Hinrichs, Adam Kiezun2

2/3/10

Hi Tim, You've hit a good case where we could definitely do a *much* better job in grammar

unread,

Hi Tim, You've hit a good case where we could definitely do a *much* better job in grammar

2/3/10

Tim Hinrichs, Adam Kiezun2

2/1/10

Hampi parser bug?

Thanks Tim for reporting this. I delta-debugged it down to: var v : 1; cfg R := ['a' - 'b

unread,

Hampi parser bug?

Thanks Tim for reporting this. I delta-debugged it down to: var v : 1; cfg R := ['a' - 'b

2/1/10

Tim Hinrichs, … Devdatta12

1/23/10

done! http://code.google.com/p/hampi/issues/detail?id=1 2010/1/23 Adam Kiezun <aki...@gmail.com

unread,

done! http://code.google.com/p/hampi/issues/detail?id=1 2010/1/23 Adam Kiezun <aki...@gmail.com

1/23/10

Adam Kiezun, … Tim Hinrichs5

12/13/09

ADDED: support for lower and upper bounds on variable size

Adam, I had been downloading the zip file. I'll use svn in the future. The problem disappeared

unread,

ADDED: support for lower and upper bounds on variable size

Adam, I had been downloading the zip file. I'll use svn in the future. The problem disappeared

12/13/09

Adam Kiezun, … Tim Hinrichs11

12/7/09

Additional operators

The recent paper by prof. Tao Xie and N. Tillman, J. de Halleux, and W. Schulte https://sites.google.

unread,

Additional operators

The recent paper by prof. Tao Xie and N. Tillman, J. de Halleux, and W. Schulte https://sites.google.

12/7/09

prateeks, … Adam Kiezun18

12/7/09

A possible bug in "not in"

>> I'm not sure why we'd need 'OR inside the not'. Can you give an example?

unread,

A possible bug in "not in"

>> I'm not sure why we'd need 'OR inside the not'. Can you give an example?

12/7/09

Search

Clear search

Close search

Google apps

Main menu