api

Providing authentication info via msxml2.ServerXMLHTTP

by

Try http.Open “GET”, vurl, False, “yourusername”, “yourpassword” I don’t know if this works on justgiving, but it does with the Bing API Also, this question may be relevant XmlHttp Request Basic Authentication Issue Edit – using Response.ContentType and Msxml2.ServerXMLHTTP.6.0 vurl = “https://api.justgiving.com/API_KEY/v1/account” Set http = Server.CreateObject(“msxml2.ServerXMLHTTP.6.0”) http.Open “GET”, vurl, False, “username”, “pwd” http.setTimeouts 5000, 5000, … Read more

Equivalent of define-fun in Z3 API

by

The define-fun command is just creating a macro. Note that the SMT 2.0 standard doesn’t allow recursive definitions. Z3 will expand every occurrence of my-div during parsing time. The command define-fun may be used to make the input file simpler and easier to read, but internally it does not really help Z3. In the current … Read more

How do I combine multiple OpenAPI 3 specification files together?

by

I wrote a quick tool to do this recently. I call it openapi-merge. There is a library and an associated CLI tool: https://www.npmjs.com/package/openapi-merge https://www.npmjs.com/package/openapi-merge-cli In order to use the CLI tool you just write a configuration file and then run npx openapi-merge-cli. The configuration file is fairly simple and would look something like this: { … Read more

tech