search

maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
216 stars 43 forks source link

Anonymous Namespaces #587

Closed aokellermann closed 3 years ago

aokellermann commented 3 years ago

Changes

Examples

Library size is reduced:

compareLibSize.sh

#!/usr/bin/env bash

sizes=()

function getSize() {
  rm -rf BuiltPaclets LibraryResources
  git checkout "$1"
  ./build.wls
  ./install.wls
  sizes+=("$(du -s LibraryResources | awk '{print $1;}')")
}

for tag in "$1" "$2"; do
  getSize "$tag" &>/dev/null
done

echo -e "First: "${sizes[0]}"\nSecond: "${sizes[1]}"\nChange: $(printf "%s%%\n" "$(bc <<< "100 * "${sizes[1]}" / "${sizes[0]}"")")"
$ ./compareLibSize.sh master optimization/AnonymousNamespace
First: 243030
Second: 227678
Change: 93%

This change is Reviewable