index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
dotty
/
tools
/
dotc
/
config
/
Settings.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
honor -encoding compiler flag and defaults
Martijn Hoekstra
2016-09-07
1
-0
/
+2
*
Add the scaladoc CLI args that make sense for dottydoc
Felix Mulder
2016-08-19
1
-2
/
+2
*
Merge pull request #1180 from niktrop/dotc-settings-format
Dmitry Petrashko
2016-03-22
1
-4
/
+6
|
\
|
*
String options with choices should be followed by colon and argument without ...
Nikolay.Tropin
2016-03-18
1
-4
/
+6
*
|
Avoid setupMethod in Driver
Martin Odersky
2016-03-12
1
-1
/
+8
|
/
*
Make all Dotty source files end in newline.
Dmitry Petrashko
2015-04-09
1
-1
/
+1
*
Added version settings -migration, -source
Martin Odersky
2014-08-03
1
-0
/
+9
*
Fixing completion phase
Martin Odersky
2014-03-31
1
-1
/
+0
*
Removed explicit tuplings from dotc codebase.
Martin Odersky
2014-03-20
1
-1
/
+1
*
Make Settings.scala dotty conformant
Martin Odersky
2014-01-06
1
-2
/
+5
*
Fix in parsing int settings
Martin Odersky
2013-10-23
1
-1
/
+1
*
Pretty-printing improvements.
Martin Odersky
2013-03-20
1
-1
/
+1
*
Various fixes to get past Definitions#init.
Martin Odersky
2013-03-13
1
-0
/
+1
*
A fix in settings caused by a probably Scala 2.10 bug
Martin Odersky
2013-03-08
1
-1
/
+6
*
Filling in all ???s
Martin Odersky
2013-02-27
1
-1
/
+2
*
Avoiding an unchecked warning in a switch.
Martin Odersky
2013-02-11
1
-1
/
+2
*
Fix Settings#value.
Jason Zaugg
2013-02-10
1
-2
/
+2
*
Integration of settings, platform, pathresolver, etc.
Martin Odersky
2013-02-03
1
-12
/
+226
*
Added config package with settings, platform.
Martin Odersky
2013-02-01
1
-0
/
+26