Search:
Roadmap
Tickets
Timeline
Browse Source
Login
API
Preferences
Home
News
Download
Features
Documentation
Support
Search
Context Navigation
View Latest Revision
Older Revisions
→
source:
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@14196
8 years
abeham
#2644
: upgraded Sim# version from 3.0.7 to 3.0.9
(edit)
@14195
8 years
swagner
#2526
: Merged
r14190
from stable back into trunk
(edit)
@14194
8 years
jkarder
#2526
: merged
r14189
into stable
(edit)
@14193
8 years
jkarder
#2526
: merged
r13499
,
r13509
and
r13644
into stable
(edit)
@14192
8 years
jkarder
#2526
: merged
r14191
into stable
(edit)
@14191
8 years
jkarder
#2526
: fixed build configurations
(edit)
@14190
8 years
swagner
#2526
: Updated versions
(edit)
@14189
8 years
jkarder
#2538
: deleted unnecessary
NRefactory.CSharp.AstVerifier
project
(edit)
@14188
8 years
swagner
#2526
: Updated year of copyrights in license headers
(edit)
@14187
8 years
swagner
#2526
: Updated year of copyrights in license headers
(edit)
@14186
8 years
swagner
#2526
: Updated year of copyrights in license headers
(edit)
@14185
8 years
swagner
#2526
: Updated year of copyrights in license headers
(edit)
@14184
8 years
bburlacu
#2635
: Simplified evaluator code.
(edit)
@14183
8 years
swagner
#2526
: Updated year of copyrights
(edit)
@14182
8 years
mkommend
#2643
: Merged
r14181
into stable.
(edit)
@14181
8 years
bburlacu
#2643
: Prevent invalid values for
maxInsertedBranchLength
and …
(edit)
@14180
8 years
gkronber
#2642
: merged
r14174
,
r14177
,
r14178
,
r14179
from trunk to stable
(edit)
@14179
8 years
gkronber
#2642
: added missing sample file
(edit)
@14178
8 years
gkronber
#2642
: fixed mess in project files
(edit)
@14177
8 years
gkronber
#2642
: updated sample for bin packing problem * updated guids in …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog