K-user mailing list

[Seokje Seo <seo43 AT illinois.edu>]

Thank you for your answer Daejun,

here is more details,,

krun test.c --parens smart gives me following

<k>

    .K

</k>

<refactor>

 int mm_product_opt1 ( float * * mA, float * * mB, float * * mC, int size

      , int tile_size ) { int j4 ; int i ; int j ; int k ; for ( i = 0 ; i < 

      size ; i = i + 1 ) { for ( k = 0 ; k < size ; k = k + 1 ) { for ( j = 0

       ; j < size - (size - 0) % 2 ; j = j + 2 * 1 ) { mC [ i ] [ j ] = mC [ 

      i ] [ j ] + (mA [ i ] [ k ]) * (mB [ k ] [ j ]) ; mC [ i ] [ j + 1 ] = 

      mC [ i ] [ j + 1 ] + (mA [ i ] [ k ]) * (mB [ k ] [ j + 1 ]) ; 

      .List{""} } int j9 ; for ( j9 = 0 + (size - 0) / 2 * 2 ; j9 < size ; j9

       = j9 + 1 ) { mC [ i ] [ j9 ] = mC [ i ] [ j9 ] + (mA [ i ] [ k ]) * (

      mB [ k ] [ j9 ]) ; .List{""} } .List{""} } .List{""} } return 1 ; 

      .List{""} }

</refactor>

<debug>

    .K

</debug>

I used 

krun test.c --no-parens --search --pattern "<refactor>K</refactor>"

to extract result code portion in refactor cell. But I am getting following now. (with krun test.c --parens smart --pattern "<refactor>K</refactor>"

Search results:

Solution 1, State 0:

Empty substitution

regards,

Seokje

On Thu, Oct 17, 2013 at 1:55 AM, Park, Daejun <dpark69 AT illinois.edu> wrote:

Hi Seokje,

It appears the problem has nothing to do with the new options, because both --search and --pattern are not changed.
https://github.com/kframework/k/wiki/Command-Line-Option-Changes

Could you please provide more detailed scenario?

Thanks,
Daejun

On Oct 16, 2013, at 11:50 AM, Seokje Seo <seo43 AT illinois.edu> wrote:

> Hello all,
>
> I recently updated and excited about changes applied on options of krun.
>
> Here is the question i have.
> I used --search --pattern "<cell>K</cell>" to extract contents in the cell but it does not as before. Now it gives me back nothing. I wonder how to use new version of this to extract the content.
>
> Thank you in advance!
>
> regards,
> Seokje Seo
>
>

> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user