issues
search
zmughal
/
treaty
Automatically exported from code.google.com/p/treaty
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Action Order
#32
GoogleCodeExporter
closed
9 years ago
1
Icons is contract vizualisation missing
#31
GoogleCodeExporter
opened
9 years ago
1
Contracts for contract extension point fail (validation against treaty.xds fails)
#30
GoogleCodeExporter
closed
9 years ago
2
Additional white space support in Script Contracts
#29
GoogleCodeExporter
closed
9 years ago
1
Wrong behavior of ScriptContractReader
#28
GoogleCodeExporter
closed
9 years ago
1
Exporter interface not documented completely
#27
GoogleCodeExporter
opened
9 years ago
0
Extend exporters, add trigger and action info
#26
GoogleCodeExporter
opened
9 years ago
0
Exporters should work as jobs
#25
GoogleCodeExporter
opened
9 years ago
0
Icons for Built-in Baisc Vocabulary
#24
GoogleCodeExporter
opened
9 years ago
0
Contract XMLSchema does not include actions and triggers
#23
GoogleCodeExporter
closed
9 years ago
1
Wrong aggregation of verification status in ContractView
#22
GoogleCodeExporter
opened
9 years ago
0
Black backgrounds of Icon in Contract Visualization View on Mac
#21
GoogleCodeExporter
closed
9 years ago
1
Toolbar in ContractView is not updated when adding/removing an Exporter dynamically
#20
GoogleCodeExporter
opened
9 years ago
0
Move Load/Verification of core types from EclipseResourceManager into Treaty core.
#19
GoogleCodeExporter
closed
9 years ago
1
Refactor request for class VerificationJob
#18
GoogleCodeExporter
closed
9 years ago
1
UI Error
#17
GoogleCodeExporter
opened
9 years ago
1
Recommend refacotring of SimpleContract constructor
#16
GoogleCodeExporter
opened
9 years ago
1
exporing results as csv for contracts containing commas
#15
GoogleCodeExporter
opened
9 years ago
0
JDOM illegal data exception
#14
GoogleCodeExporter
closed
9 years ago
1
[deleted issue]
#13
GoogleCodeExporter
closed
9 years ago
0
missing contracts in exported CSV spreadsheets
#12
GoogleCodeExporter
closed
9 years ago
1
fix extract contracts report template
#11
GoogleCodeExporter
closed
9 years ago
2
support reex matching for string properties
#10
GoogleCodeExporter
closed
9 years ago
1
Implement support for decimals and integers
#9
GoogleCodeExporter
closed
9 years ago
2
add comprehensive list of operators
#8
GoogleCodeExporter
closed
9 years ago
1
evaluate timeout parameters in @Test
#7
GoogleCodeExporter
closed
9 years ago
1
Add contract extension point
#6
GoogleCodeExporter
closed
9 years ago
1
Trigger verification from lifecycle events
#5
GoogleCodeExporter
closed
9 years ago
3
Separate UI plugin
#4
GoogleCodeExporter
closed
9 years ago
1
Soft Constraints
#3
GoogleCodeExporter
closed
9 years ago
2
Vocabulary Abstraction
#2
GoogleCodeExporter
opened
9 years ago
3
missing support for negation
#1
GoogleCodeExporter
closed
9 years ago
1