Commits · e76ad19318ea0a9eb9b86bae04ec7e1db259a0d1 · MTS - Methods for Testing and Specification / ePassport

Mar 12, 2010
- Removed unused PIXITs · e76ad193
  berge authored Mar 12, 2010
  
  e76ad193
- [Unstable] Authentication functions changed + various updates · c9d5db1a
  berge authored Mar 12, 2010
  
  c9d5db1a
Mar 09, 2010
- Many changes due to refactoring. Still unstable. · 72c6aff7
  berge authored Mar 09, 2010
  
  72c6aff7
Mar 05, 2010
- Transformed many functions into altsteps (ongoing). · ede99478
  berge authored Mar 05, 2010
```
Modified testcases (many TODOs)
```
  ede99478
Mar 04, 2010
- Type change: alias for each command · 4a4eaf69
  berge authored Mar 04, 2010
  
  4a4eaf69
Mar 02, 2010
- Changed some template names · 3a3e268b
  berge authored Mar 02, 2010
  
  3a3e268b
- Added constraints on send templates · bc60b2a8
  berge authored Mar 02, 2010
  
  bc60b2a8
- Added missing file · 58906494
  berge authored Mar 02, 2010
  
  58906494
- Adapted templates to new type system · 57e65d60
  berge authored Mar 02, 2010
  
  57e65d60
- Cleaned up import statements · 3a63d938
  berge authored Mar 02, 2010
  
  3a63d938
- Populated Instruction enum · d88e1641
  berge authored Mar 02, 2010
  
  d88e1641
- Fixed Port definitions · d828223e
  berge authored Mar 02, 2010
```
Renamed ePassport_Values.ttcn to ePassport_Templates.ttcn
```
  d828223e
- Fixed syntax errors in ePassportFunctions · 629a5f19
  berge authored Mar 02, 2010
  
  629a5f19
- Fixed Port definitions · cc9ac90d
  berge authored Mar 02, 2010
```
Renamed ePassport_Messages.ttcn to ePassport_Functions.ttcn
```
  cc9ac90d
Mar 01, 2010
- Modified typing · 98fb0d05
  berge authored Mar 01, 2010
  
  98fb0d05
Feb 24, 2010
- Modified repository structure · 5bb52991
  velez authored Feb 24, 2010
  
  5bb52991
Oct 01, 2013
- Create initial project structure · 7e13f1ab
  filatov authored Oct 01, 2013
  
  7e13f1ab
- Create initial project structure · f69fd74c
  filatov authored Oct 01, 2013
  
  f69fd74c