summary refs log tree commit diff stats
path: root/lib/system/strmantle.nim
Commit message (Collapse)AuthorAgeFilesLines
* make --gc:arc --exceptions:quirky work again [backport:1.4] (#16583)Andreas Rumpf2021-01-041-10/+10
| | | | | * make --gc:arc --exceptions:quirky work again [backport:1.4] * fixes #16404 [backport:1.4]
* better addInt (#16160)flywind2020-12-011-15/+81
| | | | | | * better addint * Update lib/system/strmantle.nim Co-authored-by: Juan Carlos <juancarlospaco@gmail.com>
* Correct all eggs (#15906)Miran2020-11-101-1/+1
| | | | * "eg" is a misspelled "egg", "e.g." is "exempli gratia" * Also, "ie" is "i.e.".
* $(uint|uint64) now works with nimscript (#15644)Timothee Cour2020-10-201-20/+0
| | | | | * $(uint|uint64) now works with nimscript * fixup
* Clean out Deprecated proc (#14797)Juan Carlos2020-06-291-8/+0
| | | | * Remove and/or clean out Deprecated 'add' proc for floats * Update a test
* init checks and 'out' parameters (#14521)Andreas Rumpf2020-06-231-3/+3
| | | | | | | | | | | * 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
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-311-1/+7
| | | | | | | | | | | | | | | | | | | | | | | | * 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
* ARC: ported the GC tests over to --gc:arcAraq2019-11-261-0/+9
|
* introduce csize_t instead of fixing csize (#12497)Arne Döring2019-10-311-1/+1
|
* consistent floating point output (#12219)Andreas Rumpf2019-09-201-31/+12
| | | | | * unify float printing * makes tests green
* styleCheck: make the compiler and large parts of the stdlib compatible with ↵Araq2019-07-101-3/+3
| | | | --styleCheck:error
* fixes #11447Andreas Rumpf2019-07-061-1/+1
|
* [other] preparations for --styleCheck:error for the Nim compiler (#11478)Andreas Rumpf2019-06-121-30/+33
|
* right shift is now by default sign preserving (#11322)Arne Döring2019-05-291-6/+6
| | | | | | | | | | | * right shift is now by default sign preserving * fix hashString and semfold * enable arithmetic shift right globally for CI * fix typo * remove xxx * use oldShiftRight as flag * apply feedback * add changelog entry
* fixes #10963, disallow implicit mixing of strings and ints/floats (#11292)Miran2019-05-211-7/+15
|
* hotfix: nimParseBiggestFloat needs to be patched for the newer string ↵Andreas Rumpf2019-04-201-20/+20
| | | | implementations; refs #11062
* move system.dollars in a separate file (#10829)Miran2019-03-131-1/+3
|
* system: some documentation improvements (#10809)Miran2019-03-111-0/+14
|
* system/strmantle: avoid leaking docs to system.nim [ci skip] (#10233)alaviss2019-01-081-1/+1
| | | thanks @timotheecour for spotting this
* --gc:destructors: next steps; WIPAndreas Rumpf2018-07-211-0/+18
|
* string comparisons don't have to know the strings representationAndreas Rumpf2018-07-101-21/+8
|
* refactorings in preparations for the new runtimeAndreas Rumpf2018-07-101-0/+293
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-07-23 16:02:51 +0000