 uwiger
|
cc2c80edb2
fixed default for reg/1 when item is a counter - again
|
15 лет назад |
|
uwiger
|
afe662f1c2
fixed default for reg/1 when item is a counter - again
|
15 лет назад |
|
uwiger
|
64f8de5796
fixed default for reg/1 when item is a counter - again
|
15 лет назад |
|
uwiger
|
6dc74fe00f
fixed default for reg/1 when item is a counter - again
|
15 лет назад |
|
uwiger
|
ebace6fe70
fixed default for reg/1 when item is a counter
|
15 лет назад |
|
uwiger
|
75c322a90b
minor documentation edits
|
15 лет назад |
|
uwiger
|
a59aa75dc9
documentation improvements, convenient helper functions
|
15 лет назад |
|
uwiger
|
ab7ea18fd7
added documentation
|
15 лет назад |
|
uwiger
|
5437b6d96d
deactivated trace function
|
15 лет назад |
|
uwiger
|
cf8cd2a99e
bug in select pattern rewrite
|
15 лет назад |
|
jwnorton
|
e298302a17
add non integer to value() generator
|
15 лет назад |
|
jwnorton
|
dedacd1561
fix bug in lookup_pids and update quickcheck test model
|
15 лет назад |
|
jwnorton
|
3b89c1fddf
fix several bugs (found by quickcheck)
|
15 лет назад |
|
jwnorton
|
c249a7b65d
fix bug found by quickcheck
|
15 лет назад |
|
jwnorton
|
85125eb9d2
fix (minor) compiler warnings
|
16 лет назад |
|
uwiger
|
75179198a9
tested local gproc
|
16 лет назад |
|
uwiger
|
3ea07ef79e
added experimental branch
|
16 лет назад |
|
uwiger
|
d0bc9d2409
restructuring
|
16 лет назад |
