| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 6 |  .. |
| -rw-r--r-- | 1307 |  fallback.cc |
| -rw-r--r-- | 4472 | partial_order.cc |
| -rw-r--r-- | 2081 | strong_order.cc |
| -rw-r--r-- | 3077 | strong_order_floats.cc |
| -rw-r--r-- | 4263 | weak_order.cc |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 6 | .. |
| -rw-r--r-- | 1307 | fallback.cc |
| -rw-r--r-- | 4472 | partial_order.cc |
| -rw-r--r-- | 2081 | strong_order.cc |
| -rw-r--r-- | 3077 | strong_order_floats.cc |
| -rw-r--r-- | 4263 | weak_order.cc |