Nim - This repository contains the Nim compiler, Nim's stdlib, tools, and documentation. (mirror)

	Commit message (Collapse)	Author	Age	Files	Lines
*	[backport] use old style hints in .cfg files (#18917)	Miran	2021-09-29	1	-1/+1
\| \| \|	refs #18085
*	merge BuildMode into SuccessX, remove code duplication w drnim, add useful ↵	Timothee Cour	2021-06-14	1	-18/+1
\| \| \| \| \| \| \| \| \| \| \|	info to successx, add gc to compilesettings (#18252) * merge BuildMode into SuccessX, add more info * refactor duplicated with drnim * fixup * address comment
*	change `--hint[X] => --hint:X` in nim repo (avoids shell quoting issues) ↵	Timothee Cour	2021-05-26	1	-1/+1
\| \| \| \|	(#18085)
*	Implement https://forum.nim-lang.org/t/7848#50018 (#17874)	c-blake	2021-04-29	1	-4/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Implement https://forum.nim-lang.org/t/7848#50018 with just the same `SuccessX` hint category, build mode on a separate, final line, and no change to how the mode is spelled for -d:release/-d:danger. * Change to add a new BuildMode hint category and keep testament in sync as per comment. * Add "--hint:buildmode:off" to `defaultHintsOff`. * Remove as requested. * As requested for tests clean up. * Address code review. * Address code review. * Mirror db456423116a9b19666f551f4d38aded3964c2e2
*	add `--processing:dots\|filenames\|off` to customize `hintProcessing` (#17817)	Timothee Cour	2021-04-23	1	-1/+1
\|
*	`--filenames:abs\|canonical\|legacyRelProj` for filenames in compiler msgs ↵	Timothee Cour	2021-04-21	1	-1/+2
\| \| \| \| \| \| \|	(replaces `--listfullpaths:on\|off`) (#17746) * use canonicalImport for filename_magicSauce * --filenames:abs\|canonical\|magic * rename: magic => legacyRelProj
*	makes DrNim compile again (#17584)	Andreas Rumpf	2021-03-30	1	-12/+17
\|
*	followup #17225: simplify code after removing gc2, generational (#17242)	Timothee Cour	2021-03-03	1	-1/+1
\|
*	cmdline: improve command processing (#16056)	Timothee Cour	2020-11-26	1	-4/+2
\|
*	rename loadConfigsAndRunMainCommand => loadConfigsAndProcessCmdLine, reflect ↵	Timothee Cour	2020-11-20	1	-1/+1
\| \| \| \|	reality (#16057)
*	refactoring: removed cmdlinehelper.mainCommand callback	Andreas Rumpf	2020-10-11	1	-6/+5
\|
*	* honor --errorMax even for tools (eg drnim, nim doc) (#14546)	Timothee Cour	2020-06-02	1	-1/+1
\| \| \|	* fix a bug that prevented nim doc compiler/nim on windows
*	drnim improvements (#14471)	Andreas Rumpf	2020-05-27	2	-11/+30
\|
*	fixes #14001 (#14004)	Andreas Rumpf	2020-04-19	1	-0/+1
\|
*	drnim: phi nodes for 'if' statements (#13990)	Andreas Rumpf	2020-04-19	2	-15/+172
\|
*	drnim: tiny progress (#13882)	Andreas Rumpf	2020-04-15	4	-140/+655
\| \| \| \| \| \| \| \| \| \| \|	* drnim: tiny progress * refactoring complete * drnim: prove .ensures annotations * Moved code around to avoid code duplication * drnim: first implementation of the 'old' property * drnim: be precise about the assignment statement * first implementation of --assumeUnique * progress on forall/exists handling
*	DrNim (Nim compiler with Z3 integration) (#13743)	Andreas Rumpf	2020-03-31	6	-0/+796
	* 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