| ./specifications/addressing | internal and external addressing of variables |
| ./specifications/callout | external callout testing |
| ./specifications/checks | checking of illegal parameters in the intermediary |
| ./specifications/options | various options |
| ./specifications/passive | passive model testing |
| ./specifications/perfectclamp | perfectclamp circuitry |
| ./specifications/pools | pool integration & related |
| ./specifications/serialization | serialization |
| ./specifications/spikes | spiking behaviour |
| ./specifications/synaptic | synaptic channels |
| ./specifications/table-sharing | table sharing accross compartments |
| ./specifications/tables | Gate tabulation |
| ./specifications/vclamp | vclamp circuitry |
| ./specifications/version | run-time versioning |