Chris Morgan
|
b836d28a13
|
Elide superfluous lifetimes.
|
2014-11-07 16:26:12 +11:00 |
|
|
Chris Morgan
|
a2560a090f
|
Rust update.
|
2014-11-02 21:45:52 +11:00 |
|
|
Chris Morgan
|
512885e502
|
Remove obsolete managed_heap_memory lint warning.
|
2014-10-06 16:39:35 +11:00 |
|
|
Chris Morgan
|
183e9ff248
|
Replace a deprecated method call.
|
2014-09-29 08:58:08 +10:00 |
|
|
Chris Morgan
|
ad7ea81ba6
|
Add now-necessary lifetime bounds.
|
2014-09-15 13:32:57 -07:00 |
|
Jonathan Reem
|
2e37f0d1ae
|
Add contains method for checking if a type is already in the map.
|
2014-08-13 21:01:19 -07:00 |
|
|
Chris Morgan
|
6daea53385
|
Update for upstream changes.
Also change from rlib/dylib to lib (dylib is not necessary and
complicates matters in this new rpath-free world).
|
2014-07-21 23:44:51 +10:00 |
|
tivek
|
8b30c87fe6
|
Fix int type inference in range calls
|
2014-07-19 11:32:17 +02:00 |
|
|
Jonathan Reem
|
c9d196be5f
|
Updated versions to 0.9.0.
|
2014-07-02 09:57:03 -07:00 |
|
Tomas Sedovic
|
a9b1e31b70
|
Implement Collection and Mutable traits
These just proxy the calls to the underlying hashmap.
|
2014-06-23 11:23:54 +02:00 |
|
|
Jonathan Reem
|
eecc4a4b75
|
Fix a syntax error with the latest rust
|
2014-06-16 09:59:53 -07:00 |
|
|
Jonathan Reem
|
d51aff5064
|
Remove deprecated lint for ~[T]s
|
2014-06-14 15:36:21 -07:00 |
|
|
Jonathan Reem
|
56113c63b0
|
Fixed new syntax error caused by upstream rust changes.
|
2014-06-14 15:27:06 -07:00 |
|
|
Chris Morgan
|
cce7510089
|
Try to drown a little bit of noise in benchmarks.
|
2014-06-12 23:05:02 +10:00 |
|
|
Chris Morgan
|
8c1b4578cc
|
Skip type checking in from-Any casting.
We know the type with certainty already.
This should make a microscopic improvement in perf.
|
2014-06-12 22:59:03 +10:00 |
|
|
Chris Morgan
|
6bd64ec070
|
Switch from SipHash to a faster TypeId hasher.
|
2014-06-12 22:29:59 +10:00 |
|
|
Chris Morgan
|
97522ab766
|
Add some simple benchmarks.
|
2014-06-12 22:25:17 +10:00 |
|
|
Chris Morgan
|
a294948f57
|
Initial release.
|
2014-06-12 17:29:24 +10:00 |
|