Commits · 60fc39b36774c5d6b53e43f4064231048a2d489b · af3 / AF3

14 Aug, 2012 5 commits
- added RawString as expression - it represents an uninterpreted placeholder in an expression · 60fc39b3
  Daniel Ratiu authored Aug 14, 2012
  
  60fc39b3
- TestSuiteSpecification changing · 678d66a2
  Chen Wenwen authored Aug 14, 2012
  
  678d66a2
- first steps to enhance the evidence with more structure · 05b56780
  Daniel Ratiu authored Aug 14, 2012
```
refs 954
```
  05b56780
- cleanings and small improvements for enabling advanced evidence · 1948df2a
  Daniel Ratiu authored Aug 14, 2012
```
refs 954
```
  1948df2a
- small fix in tests by adding missing tests in the AllTests suite · 365620db
  Daniel Ratiu authored Aug 14, 2012
```
refs 954
```
  365620db
13 Aug, 2012 1 commit
- now with Code Specification and Mode Automaton in report · 3214afe8
  Chen Wenwen authored Aug 13, 2012
```
refs 290
```
  3214afe8
10 Aug, 2012 3 commits
- name changed to title · 74ccd488
  Sabine Teufl authored Aug 10, 2012
```
refs 949
```
  74ccd488
- added automated checks to help · 3a17aada
  Sabine Teufl authored Aug 10, 2012
```
refs 949
```
  3a17aada
- Exception in Branch of scenario · 980794c1
  Sabine Teufl authored Aug 10, 2012
```
refs 951
```
  980794c1
09 Aug, 2012 2 commits
- resolving this issue · be2651a1
  Stefanie Gareis authored Aug 09, 2012
```
refs 950
```
  be2651a1
- resolving this issue · bc79725e
  Stefanie Gareis authored Aug 09, 2012
```
refs 950
```
  bc79725e
07 Aug, 2012 4 commits
- forgot comments... · 48208ca9
  Stefanie Gareis authored Aug 07, 2012
  
  48208ca9
- Simulation speed is now adjustable, Status messages can be written to a status line · 0e797d35
  Stefanie Gareis authored Aug 07, 2012
  
  0e797d35
- formal specifications are now added to the report · 7dc2451f
  Kisslinger authored Aug 07, 2012
```
fixed bug with images introduced by release review
refs 290
```
  7dc2451f
- automatic resizing of input/output ref lists done · 0f943824
  Kisslinger authored Aug 07, 2012
```
refs 894
```
  0f943824
03 Aug, 2012 4 commits
- last minute emergency · 3ba3f052
  Florian Hölzl authored Aug 03, 2012
```
refs 911
```
  3ba3f052
- last version number update · 8dd86c5e
  Florian Hölzl authored Aug 03, 2012
```
refs 911
```
  8dd86c5e
- GREEN · ffd348d9
  Florian Hölzl authored Aug 03, 2012
```
refs 862
```
  ffd348d9
- Scheduling Help · 4eaf8438
  Sebastian Voss authored Aug 03, 2012
```
refs 871
```
  4eaf8438
02 Aug, 2012 7 commits
- · 68de7937
  Chen Wenwen authored Aug 02, 2012
```
refs 940
```
  68de7937
- Minor fix. · 300f52fc
  Andreas Wandinger authored Aug 02, 2012
```
GREEN
refs 862
```
  300f52fc
- the assumptions are used when the verification is performed · 3a7bd047
  Daniel Ratiu authored Aug 02, 2012
```
refs 862
```
  3a7bd047
- latest Danfoss Model · a6c664e7
  Sebastian Voss authored Aug 02, 2012
```
refs 870
```
  a6c664e7
- GREEN · 94d790a0
  Florian Hölzl authored Aug 02, 2012
```
refs 862
```
  94d790a0
- apply the new code format rules on all source code · 8b82552a
  Dongyue Mou authored Aug 02, 2012
  
  8b82552a
- adapted YicesTextGenerator, w.r.t to quantifiers · 34d7096e
  Sebastian Voss authored Aug 02, 2012
  
  34d7096e
01 Aug, 2012 14 commits
- GREEN. · f6775458
  Andreas Wandinger authored Aug 01, 2012
```
refs 862
```
  f6775458
- GREEN · c133c090
  Daniel Ratiu authored Aug 01, 2012
```
refs 862
```
  c133c090
- YELLOW · 97d3c606
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  97d3c606
- GREEN · 65bf72cf
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  65bf72cf
- GREEN · a51a38a2
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  a51a38a2
- GREEN · 16d192cb
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  16d192cb
- GREEN - most of it · 4ff3a036
  Christoph Döbber authored Aug 01, 2012
```
refs 862
```
  4ff3a036
- YELLOW · 03c54cf8
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  03c54cf8
- Unnecessary sorting removed · 9d29ba7a
  Sabine Teufl authored Aug 01, 2012
```
refs 691
```
  9d29ba7a
- bugfix YELLOW · 29a2aa87
  Florian Hölzl authored Aug 01, 2012
```
refs 934
```
  29a2aa87
- YELLOW · 8381549a
  Florian Hölzl authored Aug 01, 2012
```
refs 862
```
  8381549a
- added YICES quantifier · 7f949f70
  Sebastian Voss authored Aug 01, 2012
  
  7f949f70
- GREEN · 3a2edc48
  Andreas Wandinger authored Aug 01, 2012
```
refs 862
```
  3a2edc48
- code reviewed · cf00ea12
  Dongyue Mou authored Aug 01, 2012
  
  cf00ea12