effc79a613da — Leonard Ritter 4 days ago
* sc_value_unwrap: don't cause an assertion when the target type is opaque
da1f575431d7 — Leonard Ritter 4 days 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 9 days ago
* REPL: completion suggestions are first sorted by length, then lexicographic
98cf845071fc — Leonard Ritter 9 days ago
* REPL: console now autocompletes after dots if the left hand resolves to a valid scope or type
ede14d36bccb — Leonard Ritter 10 days ago
* renamed `sc_prompt_*` API functions
* removed `sc_set_autocomplete_scope`
* prefixed all prompt relevant API functions with `sc_prompt_*`
* added support for prompt autocompletion callback
* console: use autocompletion callback to implement scope completion
6a37f4a6be82 — Leonard Ritter 11 days ago
* fixed using `viewing` on plain values
39ae7013220b — Leonard Ritter 11 days ago
* make sure LLVM includedir is used on every platform
217f6a99ad01 — Leonard Ritter 12 days ago
* win32: changed compiler version to `gnu++14`
* win32: polly is not linked
84bc7ba5e121 — Leonard Ritter 13 days ago
* added mingw polly dependency to docs
4cd20735cb31 — Leonard Ritter 13 days ago
* updated links in docs
3187bff41ab4 — Leonard Ritter 13 days ago
* updated LLVM/clang dependency to 10.0.0
2ffd39e9a161 — Leonard Ritter 13 days ago
* added copy support for Error object
ea390988632b — Leonard Ritter 13 days ago
* vscode: syntax fixes
* added one more try test
70b847a649b8 — Leonard Ritter 14 days ago
* added `<-:` operator for nicer function construction
b0b66ba9cded — Leonard Ritter 14 days ago
* type reprs now largely reflect valid constructor calls so users know how to construct the type
* `signed integer <width>` or `signed <integer-type>` can be used to construct / convert integer types
* `_:` is a valid alias for `Arguments`
* `raises` can be used as an infix operator
f19c88bc0508 — Leonard Ritter 15 days ago
* structs and arrays report the right size when elements are references
14c0c4fbd1b8 — Leonard Ritter 15 days ago
* ABI: fixed returning multiple values of reference type; this rarely triggers before we auto-dereference stack references.
d4447cdd5a51 — Leonard Ritter 16 days ago
* default copy operator now also dereferences the value
27d1f25bb95a — Leonard Ritter 17 days ago
* REPL: fixed problems when globalizing unique locals
913fe7719c61 — Leonard Ritter 17 days ago
* REPL: locals defined in console scope are automatically converted to globals and remain mutable
Next