plredmond

When printing out variables in the `ivy_check trace=true` output, this change makes variables print in alphabetical order. This is helpful since all the nested structures are output at the same...

* Fix a word in `doc/language.md` * Correct an example in `doc/examples/values.md` * Correct a word to fit meaning of sentence in `doc/examples/specifications.md` * Adjust some spacing in specs in...

Keyval find specs

3

Added specs for `find` to state that the return value `i` either refers to the correct index for the given key `k`, or refers to a value outside of the...

# Summary If you use a while loop with a condition that doesn't lead to termination, IVy doesn't provide any warning. Instead, you can `assert false;` after the while loop....

# Summary If you have a `specification { after init { ... } }` containing assertions and also an `implementation { after init { ... } }` containing actions, you...

# Summary Appending to an array whose domain is already exhausted should be an error, however it results in unsoundness (`assert false;` passes). # Steps to reproduce Put the following...