Repository is gone
No release in over 3 years
Ethereum Sbuilder loader plugin to load api interfaces and specification snippets for Ethereum Solidity contract in tlaplus language.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Dependencies

Runtime

>= 1.0.3, ~> 1.0
>= 0.19.1, ~> 0.19
>= 0.3.4.pre, ~> 0.3