Joshua Auerbach

To deploy the Q*Cert compiler on openWhisk we decided at a meeting today to use a sequence of two actions. The second action is simply QCertJS.js running as a Node...

I removed a few sentences from the previous comment because the issue of how to support non-network-attached demos is a little trickier than I thought. One reason we run on...

There is now a candidate whisk action (untested) which is designed to be the first of two in a sequence, the second being QcertJS running under Node. I have still...

There is now a way to test the two-action whisk sequence. It has been (very lightly) tested and it appears to work! The demo is still using the old setup,...

I have pushed support for running a simulation of the whisk two-action sequence on localhost. It appears to work. Caveats: - the demo is still not updated; consequently (1) there...

The demo (demo.html and its scripts) has been updated to use the new stuff. Remaining issues: - The old way of running JavaService (-server vs -whiskserver) persists and won't be...

We current define `sqlpp` as `list sqlpp_expr` but this is actually counterproductive. It is modeled on what we did in SQL, where there are additional statement types besides queries ("create...

I've simplified by redefining `sqlpp` as `sqlpp_expr` rather than a list. This has been drilled up through the front-end logic. Still no actual contents in the NRAenv translator.

Some of the more obvious clauses in the SQLPPtoNRAEnv are now populated. The biggest issue (select) is still pending. Also, even in the case of simpler expressions there are many...

We now have translations for many expressions. Still not implemented but planned: - quantified expressions (deferred until after query is done, since a lot of the mechanism of 'select where'...