Commits · 7a577ddc00e2ab2542cf5afc5789c1f903bd7b40 · af3 / AF3

02 Jul, 2013 13 commits
- fixed pom.xml artifact ids · 7a577ddc
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  7a577ddc
- updated plugin version · 311136b5
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  311136b5
- resolving this issue: now the serialization of expressions as strings is... · 3e67cdc6
  Daniel Ratiu authored Jul 02, 2013
```
resolving this issue: now the serialization of expressions as strings is consistent with the AF3 compiler
refs 1443
```
  3e67cdc6
- added maven project info · ce103398
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  ce103398
- added maven project info · 545de28c
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  545de28c
- added maven project info · 252359c5
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  252359c5
- added pom.xml and updated plugin versions 2.4 · ccbac7b4
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  ccbac7b4
- YELLOW · 3a7891e2
  Christoph Döbber authored Jul 02, 2013
```
refs 1007
```
  3a7891e2
- finished import export of external references · d86724f5
  Christoph Döbber authored Jul 02, 2013
```
refs 1007
```
  d86724f5
- replaced plugin with resource reference in ecore · 8986d291
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  8986d291
- removed buckminster option -> breaking buckminster builds from now on · f8209697
  Florian Hölzl authored Jul 02, 2013
```
refs 1411
```
  f8209697
- working on import/export · 328d7b8a
  Christoph Döbber authored Jul 02, 2013
```
refs 1007
```
  328d7b8a
- fixing the typechecker for accesses to arrays · fd8054a2
  Daniel Ratiu authored Jul 02, 2013
```
refs 1324
```
  fd8054a2
01 Jul, 2013 17 commits
- windows bug fixed · 6bc65c48
  Sabine Teufl authored Jul 01, 2013
```
refs 1407
```
  6bc65c48
- added file import check+copy · cc02dcc4
  Johannes Eder authored Jul 01, 2013
```
refs 1007
```
  cc02dcc4
- updated the page number support · 1d8fb1c9
  Dongyue Mou authored Jul 01, 2013
```
refs 1407
```
  1d8fb1c9
- fix · 0b2ccdc9
  Daniel Ratiu authored Jul 01, 2013
  
  0b2ccdc9
- fix · e72a71ea
  Daniel Ratiu authored Jul 01, 2013
  
  e72a71ea
- working on external references · 51a392e5
  Christoph Döbber authored Jul 01, 2013
```
refs 1007
```
  51a392e5
- bug opening component fixed · 5c2f5d29
  Sabine Teufl authored Jul 01, 2013
```
refs 645
```
  5c2f5d29
- changed the grammar to allow more complex expressions in array constants · 1796a2f8
  Daniel Ratiu authored Jul 01, 2013
```
refs 1323
```
  1796a2f8
- implemented page number support in requirement editor · 46c5e516
  Dongyue Mou authored Jul 01, 2013
```
refs 1407
```
  46c5e516
- bug fixed filtering elements in the overview · 87830dfd
  Sabine Teufl authored Jul 01, 2013
```
refs 1400
```
  87830dfd
- bug in sorting of requirements removed · c86b6632
  Sabine Teufl authored Jul 01, 2013
```
refs 1400
```
  c86b6632
- changed image and document paths · 978ee355
  Johannes Eder authored Jul 01, 2013
```
refs 1007
```
  978ee355
- changed local document uris to relative paths · 7043c3af
  Johannes Eder authored Jul 01, 2013
```
refs 1007
```
  7043c3af
- adapted mira external references · 2ef47f57
  Johannes Eder authored Jul 01, 2013
```
refs 1007
```
  2ef47f57
- fixing swtbot · 3191d59c
  Daniel Ratiu authored Jul 01, 2013
```
refs 1418
```
  3191d59c
- moving the system functionality from the plugins to org.fortiss.af3.system · 0dc2686e
  Daniel Ratiu authored Jul 01, 2013
```
refs 1418
```
  0dc2686e
- moving the system functionality from the plugins to org.fortiss.af3.system · 3fb2f348
  Daniel Ratiu authored Jul 01, 2013
```
refs 1418
```
  3fb2f348
30 Jun, 2013 4 commits
- YELLOW · d7404418
  Chen Wenwen authored Jun 30, 2013
```
refs 1418
```
  d7404418
- YELLOW · 4ff7fa9a
  Chen Wenwen authored Jun 30, 2013
```
refs 1418
```
  4ff7fa9a
- YELLOW · af1e6832
  Chen Wenwen authored Jun 30, 2013
```
refs 1418
```
  af1e6832
- YELLOW · 133a804b
  Chen Wenwen authored Jun 30, 2013
```
refs 1418
```
  133a804b
27 Jun, 2013 4 commits
- fixed auto jump code · dee86611
  Dongyue Mou authored Jun 27, 2013
  
  dee86611
- merging smtlib.run and yices.run, no YicesResult and Z3Result and EvidenceEntry anymore · ee226a2d
  Georgetta Igna authored Jun 27, 2013
```
refs 1233
```
  ee226a2d
- fixed unicode · 4e7e027b
  Dongyue Mou authored Jun 27, 2013
  
  4e7e027b
- added page property in requirement source module · 6aae9424
  Dongyue Mou authored Jun 27, 2013
  
  6aae9424
26 Jun, 2013 2 commits
- Refactoring SelectionDialogUtils · 8a3086a5
  Sabine Teufl authored Jun 26, 2013
```
refs 645
```
  8a3086a5
- bugs fixed and added kernel method · 8da7b658
  Sabine Teufl authored Jun 26, 2013
```
refs 645
```
  8da7b658