9f43f844af69 — Leonard Ritter a month ago
* fixed `update_docs` script and regenerated reference
45d2a01e8ac9 — Leonard Ritter a month ago
* quote: lose unique objects when quoted
dca56f71b439 — Leonard Ritter a month ago
* initial check-in of `String` module
2ad5ce50a21c — Leonard Ritter a month ago
* updated credits
646d9ae5bd23 — Leonard Ritter a month ago
* small clean ups
bcda89cbb3fc — Leonard Ritter a month ago
* merged branch
Add LLVM debugging for parameters and locals
Locals are not working yet, because they don't have names.
b994af707d35 — Leonard Ritter a month ago
* aux file check-in
An attempt to improve the introduction documentation for Scopes:

- wording changes in about
- wording changes and additional material in cpp_users
- wording changes, additional material, and fixes in tutorial
Wording and formatting changes for Scopes' dataformat documentation.
8b820de6a411 — Leonard Ritter a month ago
Backed out changeset 3445e3cb98c6
26c7ffccccfb — Leonard Ritter a month ago
* updated CREDITS.md
An attempt to improve the introduction documentation for Scopes:

- wording changes in about
- wording changes and additional material in cpp_users
- wording changes, additional material, and fixes in tutorial
db870a62221a — Leonard Ritter a month ago
* for prefixed strings, only `"` can be escaped, all other characters are taken as-is.
85f246ab9c44 — Leonard Ritter a month ago
* changed string prefix symbols from `str:` to `prefix:`
ba993c3ad05f — Leonard Ritter a month ago
* parser: implemented support for user string prefixes
effc79a613da — Leonard Ritter a month ago
* sc_value_unwrap: don't cause an assertion when the target type is opaque
da1f575431d7 — Leonard Ritter a month ago
* prover.cpp: loop merge conflict error now points to loop header as source. Previously the error message was anchored to the return type that precedes the conflicting one. This makes sense for functions where the return type is inferred by the return points, but not for loops where we always know the type (from the header).
7fccfb5a02ee — Leonard Ritter a month ago
* REPL: completion suggestions are first sorted by length, then lexicographic
98cf845071fc — Leonard Ritter a month ago
* REPL: console now autocompletes after dots if the left hand resolves to a valid scope or type
Next