summary refs log tree commit diff stats
path: root/compiler/sempass2.nim
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixes #13026 (#13028)cooldome2020-01-041-1/+1
* --exception:goto switch for deterministic exception handling (#12977)Andreas Rumpf2020-01-011-3/+1
* minor refactoringsAndreas Rumpf2019-12-271-0/+2
* ARC: cycle detector (#12823)Andreas Rumpf2019-12-171-0/+3
* Fixes #12883 (#12894)cooldome2019-12-131-0/+13
* invoke createTypeBoundOps for constructors (#12878)cooldome2019-12-111-0/+7
* Cosmetic compiler cleanup (#12718)Clyybber2019-11-281-123/+121
* ARC: ported the GC tests over to --gc:arcAraq2019-11-261-0/+1
* ARC: yet another silly bugfixAraq2019-11-221-0/+2
* more arc improvements (#12690)Andreas Rumpf2019-11-201-1/+4
* ARC: closure bugfixes (#12677)Andreas Rumpf2019-11-181-2/+5
* ARC: solves phase ordering problems (#12654)Andreas Rumpf2019-11-141-10/+16
* remove unused importsnarimiran2019-11-061-3/+0
* fixes #12281 [backport]Andreas Rumpf2019-09-301-1/+3
* Fix spellings (#12277) [backport]Federico Ceratto2019-09-271-1/+1