New Case Study:See how Anthropic automated 95% of dependency reviews with Socket.Learn More
Socket
Sign inDemoInstall
Socket

@cryptoeconomicslab/ovm-transpiler

Package Overview
Dependencies
Maintainers
3
Versions
22
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

@cryptoeconomicslab/ovm-transpiler - npm Package Compare versions

Comparing version 0.4.1-alpha.20 to 0.4.1

3

lib/CompiledPredicate.d.ts

@@ -0,5 +1,6 @@

import { ArgDef } from '@cryptoeconomicslab/ovm-parser';
export interface CompiledPredicate {
type: 'CompiledPredicate';
name: string;
inputDefs: string[];
inputDefs: ArgDef[];
contracts: IntermediateCompiledPredicate[];

@@ -6,0 +7,0 @@ constants?: ConstantVariable[];

@@ -15,3 +15,3 @@ "use strict";

}
const newContracts = traverseLogicalConnnective(p.body, p.inputDefs, name);
const newContracts = traverseLogicalConnnective(p.body, p.inputDefs.map(def => def.name), name);
const constants = getConstants(newContracts);

@@ -180,3 +180,3 @@ const result = {

type: 'NormalInput',
inputIndex: inputDefs.indexOf(parentAndChildren.parent),
inputIndex,
children: parentAndChildren.children

@@ -206,3 +206,3 @@ };

type: 'NormalInput',
inputIndex: inputDefs.indexOf(name),
inputIndex,
children: []

@@ -209,0 +209,0 @@ };

@@ -1,2 +0,2 @@

import { PropertyDef, PropertyNode } from '@cryptoeconomicslab/ovm-parser';
import { ArgDef, PropertyDef, PropertyNode } from '@cryptoeconomicslab/ovm-parser';
interface QuantifierPreset {

@@ -10,3 +10,3 @@ name: string;

export declare function isHint(s: string): boolean;
export declare const replaceInputs: (targetNode: PropertyNode, callingInputs: string[], inputDefs: string[], constants?: {
export declare const replaceInputs: (targetNode: PropertyNode, callingInputs: string[], inputDefs: ArgDef[], constants?: {
[key: string]: string;

@@ -13,0 +13,0 @@ }) => PropertyNode;

@@ -11,5 +11,5 @@ "use strict";

const substitutions = constants;
inputDefs.slice(1).forEach((inputName, index) => {
if (typeof substitutions[inputName] !== 'string')
substitutions[inputName] = '${' + callingInputs[index] + '}';
inputDefs.slice(1).forEach((inputDef, index) => {
if (typeof substitutions[inputDef.name] !== 'string')
substitutions[inputDef.name] = '${' + callingInputs[index] + '}';
});

@@ -28,3 +28,3 @@ return substitutions;

if (typeof i == 'string') {
const index = inputDefs.indexOf(i);
const index = inputDefs.map(def => def.name).indexOf(i);
if (index >= 0) {

@@ -58,4 +58,4 @@ return callingInputs[index];

const substitutions = constants;
propertyDefinition.inputDefs.slice(1).forEach((inputName, index) => {
substitutions[inputName] = '${' + callingInputs[index] + '}';
propertyDefinition.inputDefs.slice(1).forEach((inputDef, index) => {
substitutions[inputDef.name] = '${' + callingInputs[index] + '}';
});

@@ -62,0 +62,0 @@ return substitutions;

{
"name": "@cryptoeconomicslab/ovm-transpiler",
"version": "0.4.1-alpha.20+f2c5cfb",
"version": "0.4.1",
"description": "OVM transpiler",

@@ -32,9 +32,9 @@ "author": {

"dependencies": {
"@cryptoeconomicslab/coder": "^0.4.0",
"@cryptoeconomicslab/context": "^0.4.0",
"@cryptoeconomicslab/ovm-parser": "^0.4.0",
"@cryptoeconomicslab/coder": "^0.4.1",
"@cryptoeconomicslab/context": "^0.4.1",
"@cryptoeconomicslab/ovm-parser": "^0.4.1",
"tslib": "^1.11.1"
},
"devDependencies": {
"@cryptoeconomicslab/primitives": "^0.4.0"
"@cryptoeconomicslab/primitives": "^0.4.1"
},

@@ -44,3 +44,3 @@ "peerDependencies": {

},
"gitHead": "f2c5cfb8fc075aa7c86444f6bfa2160450d112ce"
"gitHead": "eaf8a8a1daf01d022b1ac36461f8ffd72d737f83"
}

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

Sorry, the diff of this file is not supported yet

SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc