Ian Macalinao

This could be done by creating filters for each parameter, e.g. `age < 10 | hobbies in skiing`. Not sure about the security implications though. This needs to be looked...

@btroo @andrewtian what do you think

I will look into this. On Fri, Nov 28, 2014, 09:26 Vadim Kazakov [email protected] wrote: > It should at the very least support the $in operator. Currently when you >...

Right now you can do `model.model` to get the Mongoose model of a Preston model. You can also use `model.use('all', middleware)` to add middleware to the model. http://ianmacalinao.com/preston/docs/#model.js-model.prototype.use

> I'm not sure what the consequences are. There is likely a reason why there are braces (like certain syntax constructs become ambiguous otherwise), but perhaps also not. Do you...

question: how would one add a range check to specifications in the generated Boogie? How do I add an "assert"?

Depends on https://github.com/MystenLabs/mysten-infra/pull/139

> As mentioned at #416 > > > We should add 0x prefix to ModuleId str, but should not use short_str in the output format, because 0x1 != 0x00000000000000000000000000000001 in...

Don't think there's any docs or changelog to update.

Hey @ncfavier -- I didn't make Move! I've just built a lot of tooling around it, and to my knowledge there are a lot of competing businesses building on top...