| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sigmatch: hotfix [backport] (#15565) | Andreas Rumpf | 2020-10-14 | 1 | -2/+2 |
| | | |||||
| * | fix infinite recursion in typeRel (#15241) | jcosborn | 2020-09-18 | 1 | -56/+59 |
| | | | | | | * fix generic constraints Co-authored-by: James Osborn <osborn@Jamess-MacBook-Pro.local> | ||||
| * | Big compiler Cleanup (#14777) | Clyybber | 2020-08-28 | 1 | -33/+18 |
| | | |||||
| * | Fix #5691 (#15158) | Clyybber | 2020-08-27 | 1 | -14/+12 |
| | | | | | | | | | * Fix #5691 * Cleanup and thoughts * Use scope approach * Seperate defined/declared/declaredInScope magics * Fix declaredInScope * Update spec accordingly | ||||
| * | fix some issues overloading with generics and inheritance (#15211) | jcosborn | 2020-08-27 | 1 | -11/+34 |
| | | | | | | * fix some issues overloading with generics and inheritance * fix passing procs with subtype matches | ||||
| * | fix overloading issue with generic invocation (#15135) | jcosborn | 2020-08-18 | 1 | -14/+1 |
| | | | | | | * fix overloading issue with generic alias * add test for inheritance depth | ||||
| * | Use typeflag instead | Clyybber | 2020-08-10 | 1 | -2/+2 |
| | | |||||
| * | Make explicit {.nimcall.} a seperate calling convention | Clyybber | 2020-08-08 | 1 | -2/+2 |
| | | |||||
| * | fix overloading case with generic alias (#15116) | jcosborn | 2020-07-30 | 1 | -1/+1 |
| | | | | | | * fix overloading case with generic alias * revert reorganization of tests | ||||
| * | init checks and 'out' parameters (#14521) | Andreas Rumpf | 2020-06-23 | 1 | -6/+6 |
| | | | | | | | | | | | | * I don't care about observable stores * enforce explicit initializations * cleaner code for the stdlib * stdlib: use explicit initializations * make tests green * algorithm.nim: set result explicitly * remove out parameters and bring the PR into a mergable state * updated the changelog | ||||
| * | more checking for --gc:arc, no need for valgrind (#14467) | Andreas Rumpf | 2020-05-29 | 1 | -1/+5 |
| | | | | | * sigmatch: removed dead code | ||||
| * | change the [Processing] messages into dots (#14418) | Andreas Rumpf | 2020-05-21 | 1 | -1/+1 |
| | | | | | | | | * change the [Processing] messages into dots * better implementation * maybe I should work on something else... | ||||
| * | fixes #14136 (#14198) | Andreas Rumpf | 2020-05-03 | 1 | -3/+5 |
| | | |||||
| * | Make ./koch temp --gc:arc work (#14186) | Clyybber | 2020-05-01 | 1 | -1/+4 |
| | | |||||
| * | fixes #14079 [backport:1.2] (#14163) | Andreas Rumpf | 2020-04-29 | 1 | -1/+2 |
| | | |||||
| * | fixes #14001 (#14004) | Andreas Rumpf | 2020-04-19 | 1 | -1/+1 |
| | | |||||
| * | fix #12864 static params were mutating arg types during sigmatch; fix #12713 ↵ | Timothee Cour | 2020-04-14 | 1 | -0/+1 |
| | | | | | | | | | | | | ; refs #13529 (#13976) * fix #12864 static params were mutating arg types during sigmatch * fix test * fix StaticParam * also fixes #12713; added test case | ||||
| * | Fix tests/parallel/tguard2.nim | Zahary Karadjov | 2020-04-01 | 1 | -1/+3 |
| | | |||||
| * | DrNim (Nim compiler with Z3 integration) (#13743) | Andreas Rumpf | 2020-03-31 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | * code cleanups and feature additions * added basic test and koch/CI integration * make it build on Unix * DrNim: now buildable on Unix, only takes 10 minutes, enjoy * added basic documentation for DrNim which can also be seen as the RFC we're following * drnim: change the build setup so that drnim.exe ends up in bin/ * makes simple floating point ranges work * added basic float range check * drnim: teach Z3 about Nim's range types plus code refactoring * drnim: make unsigned numbers work * added and fixed index checking under setLen * first implementation of .ensures, .invariant and .assume (.requires still missing and so is proc type compatibility checking * drnim: .requires checking implemented * drnim: implemented .ensures properly * more impressive test involving min() * drnim: check for proc type compatibility and base method compatibility wrt .requires and .ensures * testament: support for 'pattern <directory> * koch: uses new <directory> feature of testament * drnim: added tiny musings about 'old' * Make testament work with old SSL versions * koch: add support for 'koch drnim -d:release' * drnim: preparations for the param.old notation | ||||
| * | Remove dead magics (#13551) | Arne Döring | 2020-03-03 | 1 | -3/+0 |
| | | |||||
| * | fixes #13378 [backport] (#13392) | Andreas Rumpf | 2020-02-11 | 1 | -0/+2 |
| | | |||||
| * | fix #13182: `proc fun(a: varargs[Foo, conv])` now can be overloaded (#13345) ↵ | Timothee Cour | 2020-02-07 | 1 | -1/+2 |
| | | | | | [backport] | ||||
| * | fix range[enum] type conversion (#13204) [backport] | Jasper Jenkins | 2020-01-20 | 1 | -2/+3 |
| | | |||||
| * | make case-object transitions explicit, make unknownLineInfo a const, replace ↵ | Jasper Jenkins | 2020-01-17 | 1 | -7/+7 |
| | | | | | a few magic numbers with consts (#13170) | ||||
| * | fixes #12964 (#13027) | Andreas Rumpf | 2020-01-04 | 1 | -2/+2 |
| | | |||||
| * | Cosmetic compiler cleanup (#12718) | Clyybber | 2019-11-28 | 1 | -213/+206 |
| | | | | | | | | | | | | | | | | | | | * Cleanup compiler code base * Unify add calls * Unify len invocations * Unify range operators * Fix oversight * Remove {.procvar.} pragma * initCandidate -> newCandidate where reasonable * Unify safeLen calls | ||||
| * | remove unused imports | narimiran | 2019-11-06 | 1 | -3/+0 |
| | | |||||
| * | [backport] fix #12528, fix #12525: incorrect generic type resolution for ↵ | Andreas Rumpf | 2019-10-28 | 1 | -7/+15 |
| | | | | | | | default values (#12538) | ||||
| * | refactoring: use the new strings and seqs when optSeqDestructors is active | Araq | 2019-10-20 | 1 | -5/+0 |
| | | |||||
| * | Small ast.nim cleanup (#12156) | Clyybber | 2019-09-09 | 1 | -19/+19 |
| | | | | | | * Remove sonsLen * Use Indexable | ||||
| * | fixes #12020 (#12106) | Andreas Rumpf | 2019-09-02 | 1 | -1/+1 |
| | | |||||
| * | improvement for 'unused import' warnings | Araq | 2019-09-02 | 1 | -0/+1 |
| | | |||||
| * | weaking unsigned/signed indexing requirements in order to not break too much ↵ | Araq | 2019-09-02 | 1 | -5/+5 |
| | | | | | existing code | ||||
| * | Fix int literals and range interaction (#11197) | Oscar Nihlgård | 2019-08-31 | 1 | -9/+11 |
| | | | | | | | | | * Fix int literals and range interaction * Fix test * remove float range fix; update changelog | ||||
| * | Fix several float range issues (supersedes #11905) (#12067) | Andreas Rumpf | 2019-08-27 | 1 | -3/+4 |
| |\ | | | | | | | | | | | * Fix several float range issues * address the comments | ||||
| | * | Fix several float range issues | Oscar Nihlgård | 2019-08-27 | 1 | -3/+4 |
| | | | |||||
| * | | Fix to int to biggest int (#12066) | Arne Döring | 2019-08-27 | 1 | -1/+1 |
| |/ | | | | | * fix to(Biggest)Int * kill toFloat magics as well | ||||
| * | fixes 9195 (#12055) | Andreas Rumpf | 2019-08-27 | 1 | -2/+6 |
| | | |||||
| * | [refactoring] compiler: simplified markUsed | Andreas Rumpf | 2019-08-08 | 1 | -3/+3 |
| | | |||||
| * | fix crash on sigmatch (#11913) | Timothee Cour | 2019-08-08 | 1 | -3/+3 |
| | | |||||
| * | delete expensive call (#11909) [refactoring] | Arne Döring | 2019-08-08 | 1 | -1/+1 |
| | | |||||
| * | int128 on firstOrd, lastOrd and lengthOrd (#11701) | Arne Döring | 2019-08-07 | 1 | -5/+5 |
| | | | | | * fixes #11847 | ||||
| * | Allow typeof(nil) as generic parameter (#11869) | Oscar Nihlgård | 2019-08-03 | 1 | -2/+0 |
| | | |||||
| * | fix #11812 (#11829) | Arne Döring | 2019-07-27 | 1 | -1/+1 |
| | | | | | | | * fixes #11812 * fixes #10899 * fixes #11367 | ||||
| * | Merge branch 'devel' into araq-detect-unused-imports | Andreas Rumpf | 2019-07-18 | 1 | -33/+55 |
| |\ | |||||
| | * | [refactoring] remove unused imports in the compiler and in some stdlib modules | Araq | 2019-07-18 | 1 | -1/+1 |
| | | | |||||
| | * | [refactoring] don't use 'defer' | Andreas Rumpf | 2019-07-17 | 1 | -13/+18 |
| | | | |||||
| | * | Merge pull request #11680 from timotheecour/pr_fix_sigmatch_errmsg | Andreas Rumpf | 2019-07-17 | 1 | -20/+37 |
| | |\ | | | | | | | fixes #8305; fixes #7808; fixes #10285; fixes #11061 + other bugs with type mismatch error msgs | ||||
| | | * | fix #8305 #7808 #10285 #11061 + other bugs with type mismatch error msgs | Timothee Cour | 2019-07-08 | 1 | -20/+37 |
| | | | | |||||
| * | | | [feature] detect unused imports | Araq | 2019-07-17 | 1 | -3/+3 |
| |/ / | |||||