6 events for the month beginning 2014-11-01 by user nat
Following month ↑|
2014-11-29
| ||
| 18:23 | constant_indefinite_ordered_map_tests: add tests for the new indexing and iterator features check-in: 702a3d8ebc user: nat tags: trunk | |
|
2014-11-28
| ||
| 22:37 | constant_indefinite_ordered_maps: add Ada 2012 iterator and indexing interfaces check-in: 327414fdc7 user: nat tags: trunk | |
|
2014-11-27
| ||
| 22:25 | reference_tests: add a test for the implicit dereference check-in: 263f8e760e user: nat tags: trunk | |
|
2014-11-26
| ||
| 20:13 | references: add Implicit_Dereference aspects check-in: 3a18c0edc9 user: nat tags: trunk | |
|
2014-11-09
| ||
| 20:48 | static_hash_maps-s_expressions: add commands for definite or indefinite elements check-in: 1cc98d90f5 user: nat tags: trunk | |
|
2014-11-08
| ||
| 21:24 | static_hash_maps: allow elements to be indefinite by looking them up in a function rather than an array check-in: ba447ff2ea user: nat tags: trunk | |