isaplanner-tip: Commit: 8308e6aad17307643a37934339da0bd2baf51ecb

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Fri Jun 8 02:41:03 AM UTC 2018
Commit: 8308e6aad17307643a37934339da0bd2baf51ecb
Parent: 46e6d37144ac56c1e443ea210c478687ffaa5c2f (diff to parent)
Log message:

    Add shellcheck hints

results/run-gnumeric.sh (old)                                     (diff) | 2 ++
scripts/preprocess.sh (old)                                       (diff) | 1 +
 2 files changed, 3 insertions(+)

Files:

• asv.conf.json (raw)
• check.sh (raw)
• cutoff-timer.nix (raw)
• default.nix (raw)
• .gitignore (raw)
• haskell-te.nix (raw)
• isacosy.nix (raw)
• isacosy-template.thy (raw)
• isaplanner.nix (raw)
• pkgs.nix (raw)
• release.nix (raw)
• sampling.nix (raw)
• shell.nix (raw)
• tebenchmark-isabelle.nix (raw)
• .asv
  • results
    • benchmarks.json (raw)
• benchmarks
  • benchmarks.py (raw)
  • default.nix (raw)
  • __init__.py (raw)
• .issues
  • 8005250ca469841c
    • new
      • 1518184711.M20395P30908Q1.nixos (raw)
      • 1519644766.M84490P22009Q1.nixos (raw)
  • 83975592e2652fff
    • new
      • 1517603690.M427470P19582Q1.nixos (raw)
      • 1517972798.M918776P5269Q1.nixos (raw)
  • 846e758e9845ac14
    • new
      • 1518143746.M277530P2780Q1.nixos (raw)
      • 1519657194.M889902P992Q1.nixos (raw)
  • 860daff55a4d9972
    • new
      • 1513010021.M425534P12605Q1.nixos (raw)
      • 1513161991.M369951P25514Q1.nixos (raw)
  • 88c5f3113fca1d96
    • new
      • 1513009903.M444861P12346Q1.nixos (raw)
      • 1513100578.M9339P15024Q1.nixos (raw)
      • 1513161933.M814799P24947Q1.nixos (raw)
  • 9633e36de388637e
    • new
      • 1517353638.M633109P25758Q1.nixos (raw)
      • 1517403293.M811834P9015Q1.nixos (raw)
      • 1517411869.M962893P16589Q1.nixos (raw)
      • 1517422542.M509145P20934Q1.nixos (raw)
  • 97d8a4b9bf51ca68
    • new
      • 1513767982.M573570P19062Q1.nixos (raw)
      • 1513791104.M695281P7525Q1.nixos (raw)
  • a5e1f99a93309420
    • new
      • 1513100874.M905015P16669Q1.nixos (raw)
      • 1513161818.M693902P23214Q1.nixos (raw)
  • abd2134c072100c9
    • new
      • 1513880558.M320621P12111Q1.nixos (raw)
      • 1513883077.M421287P22772Q1.nixos (raw)
      • 1517486258.M846482P30793Q1.nixos (raw)
      • 1517508500.M401885P27483Q1.nixos (raw)
  • b2957b049a17b4ed
    • new
      • 1518633957.M527493P10783Q1.nixos (raw)
      • 1518653475.M34679P32365Q1.nixos (raw)
      • 1519134738.M434910P28805Q1.nixos (raw)
      • 1519136203.M904526P2441Q1.nixos (raw)
  • b3d4c59d4490e2d8
    • new
      • 1512157816.M27086P9947Q1.nixos (raw)
      • 1512482983.M190058P31391Q1.nixos (raw)
      • 1513767687.M185604P18614Q1.nixos (raw)
  • bb79a42968d032e6
    • new
      • 1518199767.M698743P15399Q1.nixos (raw)
      • 1518629131.M248996P31692Q1.nixos (raw)
  • bed12f828c26a9d0
    • new
      • 1516880002.M592926P28127Q1.nixos (raw)
      • 1517181106.M115595P23182Q1.nixos (raw)
      • 1517191105.M951673P11116Q1.nixos (raw)
  • c2213dd10651f215
    • new
      • 1512157333.M494518P8635Q1.nixos (raw)
      • 1513162074.M400475P26586Q1.nixos (raw)
  • c4843bd67c2960f3
    • new
      • 1504380533.M309725P29599Q1.nixos (raw)
      • 1504444913.M545844P2311Q1.nixos (raw)
      • 1504445024.M371162P3871Q1.nixos (raw)
      • 1504574975.M384239P31190Q1.nixos (raw)
  • c935cbcee548b759
    • new
      • 1517191291.M9919P11294Q1.nixos (raw)
      • 1517195256.M857281P6451Q1.nixos (raw)
  • cb5f71d1acb9d4cd
    • new
      • 1515724704.M246503P18442Q1.nixos (raw)
      • 1516115057.M15270P26685Q1.nixos (raw)
      • 1517422870.M559827P24678Q1.nixos (raw)
  • ce16f7ab0a715a49
    • new
      • 1513088632.M95774P32051Q1.nixos (raw)
      • 1513096771.M856475P4499Q1.nixos (raw)
  • d8dbda64b0689e12
    • new
      • 1504402143.M247580P21751Q1.nixos (raw)
      • 1504582983.M793771P12689Q1.nixos (raw)
      • 1513162043.M800576P26265Q1.nixos (raw)
  • dc9ea7b2c2ff0cf2
    • new
      • 1517326079.M593981P6343Q1.nixos (raw)
      • 1517330343.M126399P9392Q1.nixos (raw)
      • 1517352612.M352832P11568Q1.nixos (raw)
  • dd19449ea2ab8317
    • new
      • 1513780879.M900527P13584Q1.nixos (raw)
      • 1517972677.M908905P3515Q1.nixos (raw)
  • e01892e1ea9e0b9a
    • new
      • 1517251118.M181346P10749Q1.nixos (raw)
  • ebf4f1a93a336ac5
    • new
      • 1513100948.M558293P19531Q1.nixos (raw)
      • 1519727876.M729645P9082Q1.nixos (raw)
  • f0735cd8becf33c3
    • new
      • 1517251292.M375484P14460Q1.nixos (raw)
      • 1517258728.M668173P13577Q1.nixos (raw)
      • 1517323251.M647299P10147Q1.nixos (raw)
      • 1517325752.M104465P5362Q1.nixos (raw)
  • f7d44f18c512ba99
    • new
      • 1517217957.M258177P20318Q1.nixos (raw)
      • 1517230452.M140238P2950Q1.nixos (raw)
      • 1517251602.M839809P19255Q1.nixos (raw)
  • fa003deeba52d9c7
    • new
      • 1516405105.M265899P7095Q1.nixos (raw)
      • 1517251767.M43330P19872Q1.nixos (raw)
  • fa3787e8a923d21d
    • new
      • 1517194757.M995218P31109Q1.nixos (raw)
      • 1517251814.M43021P21807Q1.nixos (raw)
  • fe0094f041dc6041
    • new
      • 1517239972.M993496P28682Q1.nixos (raw)
      • 1517240322.M897499P31989Q1.nixos (raw)
      • 1517251525.M586910P16371Q1.nixos (raw)
  • ff15e7e7eab57c26
    • new
      • 1517508667.M699788P29653Q1.nixos (raw)
      • 1517508971.M584027P830Q1.nixos (raw)
      • 1517509225.M590209P32111Q1.nixos (raw)
      • 1517572668.M611799P30749Q1.nixos (raw)
• results
  • 08d9091f-nix-py-dirnull.json.lz (raw)
  • 13dd39d1-nix-py-dirnull.json.lz (raw)
  • 8085a234-nix-py-dirnull.json.lz (raw)
  • 916004b9-nix-py-dirnull.json.lz (raw)
  • cutoff-times-46d5022.json.lz (raw)
  • cutoff-times-vis.gnumeric (raw)
  • run-gnumeric.sh (raw)
• scripts
  • cutoff-timer.py (raw)
  • default.nix (raw)
  • eqsToJson.hs (raw)
  • extractEqs.py (raw)
  • fixes.json (raw)
  • getBenchmarkTypes.rkt (raw)
  • IsabelleTypeArgs.hs (raw)
  • NonExhaustiveScraper.hs (raw)
  • preprocess.sh (raw)
  • stripConstructorsDestructors.rkt (raw)