summary refs log tree commit diff stats
path: root/compiler/sempass2.nim
Commit message (Expand)AuthorAgeFilesLines
* big steps torwards an efficient, simple IC implementation (#16543)Andreas Rumpf2021-01-021-1/+1
* Nil type check implementation (#15287)Alexander Ivanov2020-12-291-1/+4
* fix #16120 (#16145)cooldome2020-11-261-52/+52
* fix #15707 (#15870)cooldome2020-11-091-2/+2
* explicit ID generation for easier IC (#15559)Andreas Rumpf2020-10-251-9/+9
* Tables, use sink val arguments more actively (#15625)cooldome2020-10-191-19/+20
* renamed '=' to '=copy' [backport:1.2] (#15585)Andreas Rumpf2020-10-151-1/+2
* fixes #15510 (#15523)Andreas Rumpf2020-10-081-1/+4
* effects: exclude swap() from "indirect calls" assumption (#15504)Paul Tan2020-10-061-1/+1
* New hint for unused exceptions in .raises (#15492)IDF2020-10-061-3/+5
* implements https://github.com/nim-lang/RFCs/issues/258 (#15503)Andreas Rumpf2020-10-061-26/+82
* refactoring, fixes yet another strictFuncs regression (#15446)Andreas Rumpf2020-10-011-1/+4
* spec for view types (#15424)Andreas Rumpf2020-09-291-2/+2
* more precise borrow checking of 'result' (#15406)Andreas Rumpf2020-09-241-1/+1
* fixes #15403 (#15404)Andreas Rumpf2020-09-241-1/+2
* borrow checking (#15282)Andreas Rumpf2020-09-091-2/+5
* Expand hoisted default params in sem (#15270)Clyybber2020-09-051-1/+1
* fix #15238 (#15262)cooldome2020-09-041-0/+1
* fixes #15129 [backport:1.2] (#15144)Andreas Rumpf2020-08-011-1/+1
* fixes #15122 [backport:1.2] (#15139)Andreas Rumpf2020-08-011-0/+1
* cursor and mutation tracking fixes (#15113)Andreas Rumpf2020-07-301-0/+2
* fixes #15076 (#15095)Andreas Rumpf2020-07-271-15/+14
* fixes #15038 [backport:1.2]Andreas Rumpf2020-07-261-0/+2
* strict func: much better error messages (#15068)Andreas Rumpf2020-07-251-2/+3
* writing to a location counts as "side effect"; implements https://github.com/...Andreas Rumpf2020-07-251-4/+7
* init checks and 'out' parameters (#14521)Andreas Rumpf2020-06-231-96/+123
* more precise analysis about 'observable stores' [backport:1.2] (#14582)Andreas Rumpf2020-06-061-1/+5
* fix #14314 do not analyze importc procs for effects (#14319)Timothee Cour2020-05-121-1/+6
* do not track 'raise Defect' in the .raises: [] clause anymore (#14298)Andreas Rumpf2020-05-111-1/+4
* fixes #14177Araq2020-05-021-2/+3
* fixes #14079 [backport:1.2] (#14163)Andreas Rumpf2020-04-291-1/+2
* Error -> Defect for defects (#13908)Jacek Sieka2020-04-281-1/+1
* drnim: tiny progress (#13882)Andreas Rumpf2020-04-151-61/+22
* added an .assert pragma and mentioned the pragmas in the changelogAraq2020-04-021-1/+1
* The raises list can now use expressions referencing the generic paramsZahary Karadjov2020-04-011-1/+6
* Turn some of the errors back into warningsZahary Karadjov2020-04-011-3/+3
* Replace tfHasRequiresInit with a more accurate mechanismZahary Karadjov2020-04-011-3/+3
* Fix a CI failure during koch docZahary Karadjov2020-04-011-1/+2
* Perform nil checks during object construction and within compiles()Zahary Karadjov2020-04-011-2/+3
* Turn the warning for uninitialized (result) variables into errorsZahary Karadjov2020-04-011-9/+8
* First steps, the compiler can boot with enforced requiresInitZahary Karadjov2020-04-011-4/+4
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-311-16/+94
* better error messages for Nim's effect systemAraq2020-03-221-20/+26
* cycle breaker (#13593)Andreas Rumpf2020-03-191-1/+9
* new feature: --staticBoundChecks:on to enforce static array index checking (#...Andreas Rumpf2020-03-181-1/+66
* sink parameter inference for types that have destructors (#13544)Andreas Rumpf2020-03-041-3/+19
* fix #8312 --hints:off and --warnings:off now honored everywhere (#13489)Timothee Cour2020-02-261-7/+7
* fixes #13110 (#13197)Andreas Rumpf2020-01-191-1/+11
* fixes #13119 (#13128)Andreas Rumpf2020-01-141-2/+8
* more arc features (#13098)Andreas Rumpf2020-01-101-0/+1