Grégoire Geis dd72b54eef Now diagnosing missing vmctx arguments (fixes #376) (#384) ...

* Now diagnosing missing vmctx arguments (fixes #376).

* Added filetest for fix of #376.

* Respect formatting rules in verifier/mod.rs.

* Added parameters for each use of vmctx in test files.

* Added comments on additions on vmctx verifications.

2018-07-03 20:59:32 -07:00

..

alias.cton

Accept redundant alias definitions.

2018-06-12 05:02:25 -07:00

branch.cton

Refactor calling convention settings. (#304)

2018-04-22 21:35:18 -07:00

call.cton

Refactor calling convention settings. (#304)

2018-04-22 21:35:18 -07:00

flags.cton

Remove support for entity variables in filecheck.

2018-02-20 17:27:46 -08:00

instruction_encoding.cton

Use the target-lexicon crate.

2018-05-30 06:13:35 -07:00

keywords.cton

Refactor calling convention settings. (#304)

2018-04-22 21:35:18 -07:00

memory.cton

Now diagnosing missing vmctx arguments (fixes #376) (#384)

2018-07-03 20:59:32 -07:00

preamble.cton

Parsing stack_limit

2018-06-09 13:18:12 -07:00

rewrite.cton

Refactor calling convention settings. (#304)

2018-04-22 21:35:18 -07:00

ternary.cton

Remove support for entity variables in filecheck.

2018-02-20 17:27:46 -08:00

tiny.cton

load_complex and store_complex instructions (#309)

2018-05-09 14:07:00 -05:00