Merge pull request #161 from ConsenSys/byzantium

Byzantium
Consensys · Oct 13, 2017 · 8786635 · 8786635
2 parents 74d3e0c + 2298179
commit 8786635
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 11 deletions.
diff --git a/Contracts/EthOn_Contracts.ttl b/Contracts/EthOn_Contracts.ttl
@@ -1621,6 +1621,16 @@ If it represents an Input of an Event it can have the boolean property isIndexed
 	:stackItemsRemoved "0"^^xsd:integer ;
 	rdfs:comment "Halt execution returning output data."@en .
 # 
+# http://ethon.consensys.net/Contracts/Opcode_REVERT
+
+:Opcode_REVERT a owl:NamedIndividual , :Opcode ;
+	:cost "0"^^xsd:integer ;
+	:hexValue "fd"^^xsd:hexBinary ;
+	:name "RETURN"^^xsd:string ;
+	:stackItemsAdded "2"^^xsd:integer ;
+	:stackItemsRemoved "0"^^xsd:integer ;
+	rdfs:comment "Throw an exception without consuming all gas."@en .
+# 
 # http://ethon.consensys.net/Contracts/Opcode_SDIV
 
 :Opcode_SDIV a owl:NamedIndividual , :Opcode ;

diff --git a/ERC20/EthOn_ERC20.ttl b/ERC20/EthOn_ERC20.ttl
@@ -389,16 +389,16 @@ ns:term_status rdf:type owl:AnnotationProperty .
                  ns:term_status "unstable" .
 
 
-###  http://ethon.consensys.net/ERC20/http://ethon.consensys.net/ERC20/value
-<http://ethon.consensys.net/ERC20/http://ethon.consensys.net/ERC20/value> rdf:type owl:DatatypeProperty ;
-                                                                          rdfs:subPropertyOf :EthOnERC20DataProperty ;
-                                                                          rdf:type owl:FunctionalProperty ;
-                                                                          rdfs:domain :TokenTransfer ;
-                                                                          rdfs:range xsd:integer ;
-                                                                          ethon:suggestedStringRepresentation "value" ;
-                                                                          rdfs:comment "Number of tokens transferred."@en ;
-                                                                          rdfs:label "value"@en ;
-                                                                          ns:term_status "unstable" .
+###  http://ethon.consensys.net/ERC20/value
+:value rdf:type owl:DatatypeProperty ;
+       rdfs:subPropertyOf :EthOnERC20DataProperty ;
+       rdf:type owl:FunctionalProperty ;
+       rdfs:domain :TokenTransfer ;
+       rdfs:range xsd:integer ;
+       ethon:suggestedStringRepresentation "value" ;
+       rdfs:comment "Number of tokens transferred."@en ;
+       rdfs:label "value"@en ;
+       ns:term_status "unstable" .
 
 
 #################################################################

diff --git a/README.md b/README.md
@@ -42,7 +42,7 @@ Find more illustrations here: [EthOn illustrations](EthOn_illustrations.md)
 
 ### 2. Visualize the Ontology
 Visualize the ontology using [WebVOWL](http://vowl.visualdataweb.org/webvowl/).
-[It should be enough to click this link](http://visualdataweb.de/webvowl/#iri=https://raw.githubusercontent.com/ConsenSys/ethereum-ontology/master/EthOn.rdf). 
+[It should be enough to click this link](http://visualdataweb.de/webvowl/#iri=http://ethon.consensys.net/EthOn.ttl). 
 WebVOWL is also developed on GitHub: https://github.com/VisualDataWeb/WebVOWL
 
 ### 3. Check out the specification