frangio

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.13;

import {Test} from "forge-std/Test.sol";

contract SwapTest is Test {
    event Gasused(uint);

    event Swap(
        bytes32 indexed id,

frangio

import Std.Data.Nat.Lemmas
import Std.Tactic.Omega
import Std.Tactic.Simpa

def fib (n : Nat) :=
  match n with
  | 0 | 1 => n
  | n' + 2 => fib (n' + 1) + fib n'

def fastfib (n : Nat) := loop n 1 0

frangio

#!/usr/bin/env bash

set -o errexit -o pipefail

if [ "$#" -eq 0 ]
then
  echo "usage: rs PATTERN REPLACEMENT [PATH...]" > /dev/stderr
  exit 1
fi

frangio

/* Simplified version of http://www.useragentman.com/blog/2010/10/29/cross-browser-html5-ruby-annotations-using-css/
   for use with Modernizr.load() */

ruby {
  display: inline-table;
  text-align: center;
  border-collapse: collapse;
  border: none;
  vertical-align: middle;
  border-bottom: solid 0.75em transparent;

frangio

"use strict";

const defaultOptions = {
  reverse: true,
  python: false
}

function merge(sequences) {
  let result = [];
  sequences = sequences.map(s => s.slice());

frangio

// SPDX-License-Identifier: MIT
pragma solidity 0.8.17;

function isAsciiPrintableShortString(string memory str) pure returns (bool) {
    unchecked {
        uint256 b = uint256(bytes32(hex"0101010101010101010101010101010101010101010101010101010101010101"));

        bytes32 chars = bytes32(bytes(str));
        uint256 len = bytes(str).length;

frangio

// SPDX-License-Identifier: MIT
pragma solidity 0.8.16;

import "./StateMachines.sol";

contract Pausable is StateMachines {
    StateMachine m = initial("unpaused");

    event Paused(bool paused);

frangio

// larger buffer => faster
const BUFFER_SIZE = 1024;

let buffer;

/**
 * @param {string} text
 * @returns {number}
 */
function utf8Length(text) {

frangio

npm ls $(jq -r '.packages | to_entries[] | select(.value.deprecated != null) | .key | split("node_modules/")[-1]' package-lock.json)

frangio

pragma solidity ^0.8.0;

function keccak256_2(bytes memory data) external pure returns (bytes32) {
    bytes32 h1 = keccak256(data);
    bytes32 h2;
    /// @solidity memory-safe-assembly
    assembly {
        mstore(0, h1)
        h2 := keccak256(0, 32)
    }