-
Myspace music players (the flash music player) doesn't work on Privoxy 3.0.10, because it is blocking lads.myspacecdn.com:
Aug 05 15:11:09.531 Privoxy(7f8fc4450910) Request: lads.myspacecdn.com/videos/Main.swf crunch! (Blocked)
Adding the following to my user.action file makes the Myspace music player work again:
{ fragile }
lads.myspacecdn.com
.myspacecdn.com
This is...
2009-08-05 22:24:16 UTC in Privoxy
-
By the way, a minor consequence of the fact that "=" is not valid on BOOLEANs is that the output from "stp -p" is not actually valid STP. Example input:
x : BOOLEAN;
ASSERT(x);
QUERY(FALSE);
If you run "stp -p" on this input, you get:
Invalid.
ASSERT( x = TRUE );
However the latter line of the output is not valid STP syntax. A consequence is that you can't just take the output...
2009-05-09 06:40:40 UTC in STP
-
I have discovered some cases where STP runs faster with its optimizations disabled. STP's help says that the command-line flag "-a" disables optimizations. However on these inputs, I found that "stp -a" runs very quickly (under 1 second), while plain "stp" seems to run forever (at least an hour). Surely this can't be intentional -- can it?
I attach four closely related test cases...
2009-05-09 06:20:25 UTC in STP
-
The STP documentation lists information about operators for manipulating BITVECTORs and ARRAYs but not for BOOLEANs. For instance, it does not list AND, OR, NAND, NOR, XOR, , =>, etc. It might be nice to have documentation of this.
2009-05-09 05:50:00 UTC in STP
-
STP doesn't allow one to use the "=" binary operator on booleans. Example input:
x : BOOLEAN;
ASSERT(x = TRUE);
QUERY(FALSE);
and the output from STP:
syntax error: line 2
syntax error, unexpected '='
Fatal Error:
The prohibition on use of "=" for booleans is confusing and unexpected. It might be a bit more user-friendly to accept "=" on booleans.
The simplest workaround...
2009-05-09 05:27:35 UTC in STP
-
"stp -h" suggests that "stp -p" will print a counterexample, if the input formula is Invalid.
But, running "stp -p" on the following input:
x, t : BOOLEAN;
ASSERT(t x);
ASSERT(x);
QUERY(FALSE);
yields the following output:
Invalid.
ASSERT( x = t );
ASSERT( t = TRUE );
This is not what I wanted to see. It is not a valid counterexample. A counterexample should provide a...
2009-05-09 01:06:23 UTC in STP
-
The INSTALL file suggests that you can test STP by running
make regressall
This does not work, on the latest version checked into Subversion. I get the following error message:
*** Error: WARNING: cannot find testcase ../../stp-tests/test: no such file or directory.
2009-05-09 00:51:25 UTC in STP
-
It would be nice if Privoxy's configuration files were set up to work better with RPM updates.
I use Privoxy on Fedora Linux, via the RPM that Fedora ships. I configure Privoxy by manually editing the files in /etc/privoxy, specifically, /etc/privoxy/config (to add forward-socks4a lines) and /etc/privoxy/user.action. However each time Fedora makes available an updated Privoxy RPM that...
2009-02-21 09:22:44 UTC in Privoxy
-
Any chance of someone looking into this? I too am getting this error with Spamassassin.
2008-11-03 04:28:07 UTC in Pyzor
-
read_key_file() contains this code (excerpted):
size = read (fd, in.data, in.capacity);
if (size == in.capacity)
msg (M_FATAL, "Key file ('%s') can be a maximum of %d bytes", file, (int)in.capacity);
cp = (unsigned char *)in.data;
while (size)
{
const unsigned char c = *cp;
...
++cp;
--size;
}
There is no check to see whether the...
2008-07-13 08:08:45 UTC in OpenVPN
