solidity_builtins.c File Reference

#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include "solidity_types.h"

Include dependency graph for solidity_builtins.c:

Typedefs
typedef unsigned	BIGINT(512)

Functions
uint256_t	sol_pow_uint (uint256_t base, uint256_t exp)
int256_t	sol_pow_int (int256_t base, uint256_t exp)
uint256_t	mulmod (uint256_t x, uint256_t y, uint256_t k)
uint256_t	sol_pow_wrap (uint256_t base, uint256_t exp)
BytesDynamic	llc_nondet_bytes (void)
void	selfdestruct ()

Typedef Documentation

BIGINT

typedef unsigned BIGINT(512)

Function Documentation

llc_nondet_bytes()

BytesDynamic llc_nondet_bytes

(

void

)

mulmod()

uint256_t mulmod	(	uint256_t	x,
		uint256_t	y,
		uint256_t	k )

selfdestruct()

void selfdestruct

(

)

sol_pow_int()

int256_t sol_pow_int	(	int256_t	base,
		uint256_t	exp )

sol_pow_uint()

uint256_t sol_pow_uint	(	uint256_t	base,
		uint256_t	exp )

sol_pow_wrap()

uint256_t sol_pow_wrap	(	uint256_t	base,
		uint256_t	exp )