arvidn
|
aaf9304a3b
|
update year in copyright header
|
2018-04-09 09:04:33 +02:00 |
|
arvidn
|
24dea1f845
|
fix tie-break in duplicate peer connection disconnect logic
|
2018-02-21 21:04:28 +01:00 |
|
sledgehammer999
|
22043fd186
|
Use std::random instead of Boost.Random when in c++11 mode. (#1087)
|
2016-09-13 17:07:01 -04:00 |
|
arvidn
|
1f9f588e75
|
merge copyright year update and changelog from RC_1_0
|
2016-01-17 18:57:46 -05:00 |
|
arvidn
|
d4d5f37222
|
fix typo
|
2015-11-12 01:42:44 -05:00 |
|
arvidn
|
2626159abe
|
use a consistent random number generator to make simulations deterministic
|
2015-11-12 00:21:56 -05:00 |
|
arvidn
|
6068418def
|
fix and re-enable simulations
|
2015-08-09 00:56:37 -04:00 |
|
Arvid Norberg
|
d43f7b56a2
|
update copyright year
|
2015-06-03 05:18:48 +00:00 |
|
Arvid Norberg
|
3951377d95
|
fix include paths for warning push and pop headers
|
2015-04-21 01:16:28 +00:00 |
|
Arvid Norberg
|
408232cfc8
|
raise warning level. fix a few of them. filter out warnings from boost
|
2015-04-18 02:33:39 +00:00 |
|
Arvid Norberg
|
a7bec127f1
|
relying on local statics being threadsafe still does not seem safe on msvc
|
2015-01-18 16:52:39 +00:00 |
|
Arvid Norberg
|
de616b29c5
|
fix c++98 support
|
2015-01-18 02:06:18 +00:00 |
|
Arvid Norberg
|
524384045c
|
transition to use boost.random instead of rand() and custom pseudo random generator
|
2014-08-16 20:26:00 +00:00 |
|
Arvid Norberg
|
30d561d0c5
|
merged random_seed assert into trunk
|
2014-07-19 02:17:19 +00:00 |
|
Arvid Norberg
|
a943fec777
|
update copyright
|
2014-02-23 19:12:25 +00:00 |
|
Arvid Norberg
|
4e6b1cfbfb
|
update copyright
|
2013-12-25 17:07:16 +00:00 |
|
Arvid Norberg
|
bff648a89e
|
update copyright dates and add tool to do so
|
2012-10-02 03:16:33 +00:00 |
|
Arvid Norberg
|
f49bc42cae
|
added missing license headers
|
2012-06-04 06:30:45 +00:00 |
|
Arvid Norberg
|
12caf7ff2e
|
fix random.cpp build errors on non C99 compilers
|
2011-02-26 18:15:31 +00:00 |
|
Arvid Norberg
|
3b68fb2a03
|
add missing files
|
2011-02-26 17:59:34 +00:00 |