Skip to content
This repository was archived by the owner on Jul 18, 2023. It is now read-only.
This repository was archived by the owner on Jul 18, 2023. It is now read-only.

EthOn_Contracts.ttl property bugs #172

@dmuhs

Description

@dmuhs

The stackItemsAdded and stackItemsRemoved seem to be swapped throughout the EthOn_Constracts.ttl file. While the yellowpaper shows that e.g. ADD deleted two elements from the EVM stack and adds another one to it, the respective EthOn definition is as follows

:Opcode_ADD a owl:NamedIndividual , :Opcode ;
	:cost "3"^^xsd:integer ;
	:hexValue "01"^^xsd:hexBinary ;
	:name "ADD"^^xsd:string ;
	:stackItemsAdded "2"^^xsd:integer ;
	:stackItemsRemoved "1"^^xsd:integer ;
	rdfs:comment "Addition operation."@en .

This leads to some amusing entries, which apparently have gone undetected such as

:Opcode_POP a owl:NamedIndividual , :Opcode ;
	:cost "2"^^xsd:integer ;
	:hexValue "50"^^xsd:hexBinary ;
	:name "POP"^^xsd:string ;
	:stackItemsAdded "1"^^xsd:integer ;
	:stackItemsRemoved "0"^^xsd:integer ;
	rdfs:comment "Remove item from stack"@en .

This issue seems to affect the whole file and potentially others.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions