rlar
|
cc05c0c05b
|
formula(), postpone kptr incrementation
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
abe572237f
|
formula(), postpone arg2 and arg3 incrementation
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
a35a2fd3db
|
formula(), cleanup for(;;) loop
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
3136f45229
|
formula(), move final kptr incrementation out of the loop
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
2010e6b4fb
|
formula(), kptr++ to the for loop epilogue
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
c761b4432a
|
formula(), transform while loop
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
11adf9f62c
|
findsubckt(), cleanup
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
6a9248f111
|
findsubckt(), use skip_back_ws()
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
9bccda5450
|
findsubckt(), cleanup
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
9e1a6b85ff
|
findsubckt(), swap name_b and name_e in the prolog
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
61f3ecffd6
|
findsubckt(), rename k_ptr --> name_b
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
23b741868b
|
findsubckt(), cleanup
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
51405f8ee7
|
findsubckt(), fix lvalue
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
b3c40a77cf
|
findsubckt(), j_ptr --> name_e - 1
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
3d9a76d342
|
findsubckt(), drop k_ptr--, use k_ptr - 1 instead
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
8cd136c6bd
|
findsubckt(), move k_ptr-- beyond the loop
|
2018-02-17 19:15:55 +01:00 |
|
rlar
|
b0b4551d68
|
findsubckt(), move k_ptr-- to the front of the next loop
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d2dac0ea9d
|
findsubckt(), move k_ptr-- beyond the loop
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
e1f5609568
|
findsubckt(), exclude the terminating '\0' from the search
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
a0f9b2bf0f
|
findsubckt(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f4bd03a00f
|
findsubckt(), transform pscopy(,x,y,) --> pscopy(,x+y,y-y,) (requirement strlen(x) >= y to be verified later)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
c486218e33
|
findsubckt(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
a9c2f81878
|
findsubckt(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
940eb2a258
|
findsubckt(), j ==> j_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
cd05eb1d50
|
findsubckt(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
78147c2bd9
|
findsubckt(), k ==> k_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
81b60b7367
|
findsubckt(), constness
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
849d12b18a
|
defsubckt(), rename j_ptr ==> s_end
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
948352a2ed
|
defsubckt(), drop i_ptr, use s instead
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
82d4f8544c
|
defsubckt(), check `s' beeing nowhere used anymore
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
a46e1113d0
|
defsubckt(), drop `ls_ptr'
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
10e9760f13
|
defsubckt(), transform pscopy(,x,y,) --> pscopy(,x+y,y-y,) (requirement strlen(x) >= y to be verified later)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
44a17a14f7
|
defsubckt(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
9a64579db6
|
defsubckt(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d73a265c45
|
defsubckt(), j ==> j_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
1a44e4fb42
|
defsubckt(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
6d285d927a
|
defsubckt(), i ==> i_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
deca1a05ed
|
defsubckt(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
4e89b80a75
|
defsubckt(), ls ==> ls_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
dbcbf62012
|
defsubckt(), constness
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
27884d2512
|
nupa_assignment(), postpone p++
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f0fa06ea26
|
nupa_assignment(), whitespace
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
0624584370
|
nupa_assignment(), simplify error processing
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
66433eda0b
|
nupa_assignment(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
8bded8b878
|
nupa_assignment(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
8f9f03c457
|
nupa_assignment(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
0e6ece4370
|
nupa_assignment(), ls ==> s_end - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
410e70b9b9
|
nupa_assignment(), express some constness
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
5f0958026b
|
nupa_assignment(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
ba2c95243f
|
nupa_assignment(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
8300021c7a
|
nupa_assignment(), i ==> p - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f595db7619
|
nupa_assignment(), express some constness
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
35524f7e48
|
getexpress(), rename ls_ptr --> s_end
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
043a04b775
|
getexpress(), simplify usage
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
830b5faf0e
|
getexpress(), return one less
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
33b8936a3b
|
getexpress(), drop `c' and cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f8fc4edf52
|
getexpress(), remove const, `pi' and rename xia_ptr --> s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
9494f8d9af
|
getexpress(), change signature, return char * to continue with
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
0c363d7b4f
|
getexpress(), return `tpe' per reference
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
49bdcc3e3d
|
getexpress(), drop first argument `ls_ptr'
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
4bbff47518
|
getexpress(), first arg s ==> s + strlen(s)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
7fc7202bdf
|
getexpress(), `p' doesn't need to be initialised here
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
4a6c7db226
|
getexpress(), break early
instead of doing nothing and then breaking
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
8a3871a0ef
|
getexpress(), transform loop
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
92eb2b0437
|
getexpress(), break early
instead of doing nothing and then breaking anyway
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
2f24e6e563
|
getexpress(), local scope for `c' and `d'
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
86ef4b8cb1
|
getexpress(), transform loop
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
1df1e69f5d
|
getexpress(), d == ')' is automatically true
when level has been decremented to level <= 0
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
1e6a44af27
|
getexpress(), transform
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
0cc72ae3c1
|
getexpress(), always true
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f87c629e1b
|
getexpress(), break
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
9ace8b161f
|
getexpress(), scope
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f2013088a6
|
getexpress(), transform `<' etc comparisons
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d1b25d59bb
|
getexpress(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
a913def4d7
|
getexpress(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
ec68ee7b94
|
getexpress(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
9ff93246b6
|
getexpress(), ia_ptr ==> xiaptr + 1
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
47db566181
|
getexpress(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
4402686c69
|
getexpress(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
6da6f6a4fd
|
getexpress(), iptr ==> p + 1
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
7509fa17da
|
getexpress(), transform pscopy(,x,y,) --> pscopy(,x+y,y-y,) (requirement strlen(x) >= y to be verified later)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
0f00fd3043
|
getexpress(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
a47348526c
|
getexpress(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
dc8eb2b956
|
getexpress(), ia ==> ia_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
44c5410490
|
getexpress(), fix lvalue
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
632829575b
|
getexpress(), ls ==> ls_ptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f19ddf6090
|
getexpress(), fix lvalues
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
c351f2f19b
|
getexpress(), i ==> iptr - (const) s
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d4098d454b
|
getexpress(), third argument, `char **pi' instead of `int *pi'
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
57b822e0e9
|
getexpress(), express some constness
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d9a2cec430
|
getword(), drop s_end argument, which is always == s + strlen(s)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
c5966489c9
|
getword(), return one less
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f5d686e23c
|
getword(), cleanup
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
51c9f93b7a
|
getword(), substitue s = s - 1
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
f96eb16255
|
getword(), (s < x) ==> (s - 1 < x - 1)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
cc452a4c90
|
getword(), transform while loop
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
d6801c0cf1
|
getword(), substitute s = s - 1
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
68b0be8caa
|
getword(), (s <= x) --> (s - 1 < x)
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
10aaa7bcc0
|
getword(), rename variables
|
2018-02-17 19:15:54 +01:00 |
|
rlar
|
ba4d81b2d9
|
getword(), reorder args
|
2018-02-17 19:15:54 +01:00 |