ml4pg: Commit: 72dadb327355c3d03d1b70cd2f122ec022c8c563

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Wed Jan 16 05:05:11 PM UTC 2019
Commit: 72dadb327355c3d03d1b70cd2f122ec022c8c563
Parent: d9392e0016cd22eed410600826dc14041e3823f5 (diff to parent)
Log message:

    Shell script fixes

default.nix (old)                                                 (diff) | 5 +----
release.nix (old)                                                 (diff) | 2 --
 2 files changed, 1 insertion(+), 6 deletions(-)

Files:

• default.nix (raw)
• .gitignore (raw)
• ml4pg_manual.pdf (raw)
• README (raw)
• release.nix (raw)
• TODO (raw)
• .issues
  • e28c1624b6a407b8
    • new
      • 1506535081.M901902P27117Q1.nixos (raw)
• src
  • ml4pg.el (raw)
  • ml4pg.v (raw)
  • weka.jar (raw)
  • aux_files
    • headersdefs.txt (raw)
    • headers.txt (raw)
    • alt
      • alt_headers_v1.txt (raw)
      • alt_headers_v4.txt (raw)
  • coq
    • automaton.el (raw)
    • auxiliary_files.el (raw)
    • clickable_test.el (raw)
    • extraction.el (raw)
    • feature_extractionv2.el (raw)
    • lemmas.txt (raw)
    • matlab_interaction.el (raw)
    • menus.el (raw)
    • save_lemmas.el (raw)
    • shortcuts.el (raw)
    • storage-defs.el (raw)
    • storage.el (raw)
    • table-to-feature-vector.el (raw)
    • tactics (raw)
    • term-tree-definition.el (raw)
    • term-tree-theorem.el (raw)
    • views.txt (raw)
    • weka-definitions.el (raw)
    • weka.el (raw)
  • definitions
    • Conjugation (raw)
    • Fibrations (raw)
    • seq (raw)
    • ssrnat (raw)
  • generic
    • feature-extraction.el (raw)
    • hypothesis-extraction.el (raw)
    • impure_helpers.el (raw)
    • pure_helpers.el (raw)
  • icons
    • clustering-defs.xpm (raw)
    • Clustering.png (raw)
    • clustering-thms.xpm (raw)
    • clustering.xpm (raw)
    • Hint.png (raw)
    • sh1.xpm (raw)
    • sh-hint2.xpm (raw)
    • sh-hint-def.xpm (raw)
    • sh-hint-thm.xpm (raw)
    • sh-hint.xpm (raw)
    • sh.xpm (raw)
  • libs
    • coq
      • coalgebra
        • Bisimulation.csv (raw)
        • Bisimulation_names (raw)
        • Bisimulation_tactics.csv (raw)
        • Bisimulation_tree.csv (raw)
        • CoPeanoCoalgebra.csv (raw)
        • CoPeanoCoalgebra_names (raw)
        • CoPeanoCoalgebra_tactics.csv (raw)
        • CoPeanoCoalgebra_tree.csv (raw)
        • ExtensionalFunctor.csv (raw)
        • ExtensionalFunctor_names (raw)
        • ExtensionalFunctor_tactics.csv (raw)
        • ExtensionalFunctor_tree.csv (raw)
        • IntensionalLambdaBisimulation.csv (raw)
        • IntensionalLambdaBisimulation_names (raw)
        • IntensionalLambdaBisimulation_tactics.csv (raw)
        • IntensionalLambdaBisimulation_tree.csv (raw)
        • LambdaCoiteration.csv (raw)
        • LambdaCoiteration_names (raw)
        • LambdaCoiteration_tactics.csv (raw)
        • LambdaCoiteration_tree.csv (raw)
        • WeaklyFinalCoalgebra.csv (raw)
        • WeaklyFinalCoalgebra_names (raw)
        • WeaklyFinalCoalgebra_tactics.csv (raw)
        • WeaklyFinalCoalgebra_tree.csv (raw)
        • ZStreamCoalgebra.csv (raw)
        • ZStreamCoalgebra_names (raw)
        • ZStreamCoalgebra_tactics.csv (raw)
        • ZStreamCoalgebra_tree.csv (raw)
      • compcert
        • AST.csv (raw)
        • AST_names (raw)
        • AST_tactics.csv (raw)
        • AST_tree.csv (raw)
        • Behaviors.csv (raw)
        • Behaviors_names (raw)
        • Behaviors_tactics.csv (raw)
        • Behaviors_tree.csv (raw)
      • hott
        • Conjugation.csv (raw)
        • Conjugation_names (raw)
        • Conjugation_tactics.csv (raw)
        • Conjugation_tree.csv (raw)
        • Fibrations.csv (raw)
        • Fibrations_names (raw)
        • Fibrations_tactics.csv (raw)
        • Fibrations_tree.csv (raw)
      • leroux
        • Bool_nat.v (raw)
        • List.csv (raw)
        • List_names (raw)
        • List_tactics.csv (raw)
        • List_tree.csv (raw)
        • List.v (raw)
        • Operators_Properties.csv (raw)
        • Operators_Properties_names (raw)
        • Operators_Properties_tactics.csv (raw)
        • Operators_Properties_tree.csv (raw)
        • Operators_Properties.v (raw)
        • Peano_dec.v (raw)
        • Relation_Operators.v (raw)
        • Relations.v (raw)
        • slr_topo_sorting.csv (raw)
        • slr_topo_sorting_names (raw)
        • slr_topo_sorting_tactics.csv (raw)
        • slr_topo_sorting_tree.csv (raw)
        • vestergaard-constSeqNashEq.csv (raw)
        • vestergaard-constSeqNashEq_names (raw)
        • vestergaard-constSeqNashEq_tactics.csv (raw)
        • vestergaard-constSeqNashEq_tree.csv (raw)
    • ssreflect
      • advance
        • bigop.csv (raw)
        • bigop_names (raw)
        • bigop_tactics.csv (raw)
        • binomial.csv (raw)
        • binomial_names (raw)
        • binomial_tactics.csv (raw)
        • binomial_tree.csv (raw)
        • matrix.csv (raw)
        • matrix_names (raw)
        • matrix_tactics.csv (raw)
        • vector.csv (raw)
        • vector_names (raw)
        • vector_tactics.csv (raw)
        • vector_tree.csv (raw)
      • basic
        • seq.csv (raw)
        • seq_names (raw)
        • seq_tactics.csv (raw)
        • seq_tree.csv (raw)
        • ssrbool.csv (raw)
        • ssrbool_names (raw)
        • ssrbool_tactics.csv (raw)
        • ssrbool_tree.csv (raw)
        • ssrnat.csv (raw)
        • ssrnat_names (raw)
        • ssrnat_tactics.csv (raw)
        • ssrnat_tree.csv (raw)
      • basic2
        • fintype.csv (raw)
        • fintype_names (raw)
        • fintype_tactics.csv (raw)
        • fintype_tree.csv (raw)
        • seq.csv (raw)
        • seq_names (raw)
        • seq_tactics.csv (raw)
        • seq_tree.csv (raw)
        • ssrbool.csv (raw)
        • ssrbool_names (raw)
        • ssrbool_tactics.csv (raw)
        • ssrbool_tree.csv (raw)
        • ssrnat.csv (raw)
        • ssrnat_names (raw)
        • ssrnat_tactics.csv (raw)
        • ssrnat_tree.csv (raw)
      • coqeal
        • seqmatrix.csv (raw)
        • seqmatrix_names (raw)
        • seqmatrix_tactics.csv (raw)
      • jvm
        • available.txt (raw)
        • expt.csv (raw)
        • expt_names (raw)
        • expt_tactics.csv (raw)
        • factorial.csv (raw)
        • factorial_names (raw)
        • factorial_tactics.csv (raw)
        • fib.csv (raw)
        • fib_names (raw)
        • fib_tactics.csv (raw)
        • lessp.csv (raw)
        • lessp_names (raw)
        • lessp_tactics.csv (raw)
        • m1.csv (raw)
        • m1_names (raw)
        • m1_tactics.csv (raw)
        • multiplication.csv (raw)
        • multiplication_names (raw)
        • multiplication_tactics.csv (raw)
        • power.csv (raw)
        • power_names (raw)
        • power_tactics.csv (raw)
      • test
        • ssrbool.csv (raw)
        • ssrbool_names (raw)
        • ssrbool_tactics.csv (raw)
        • ssrbool_tree.csv (raw)
  • ssreflect
    • automaton.el (raw)
    • auxiliary_files.el (raw)
    • clickable_test.el (raw)
    • clusterdigraph.el (raw)
    • diagraph.el (raw)
    • extraction.el (raw)
    • feature_extraction_2.el (raw)
    • lemmas.txt (raw)
    • matlab_interaction.el (raw)
    • menus.el (raw)
    • save_lemmas.el (raw)
    • several_libraries.el (raw)
    • shortcuts.el (raw)
    • storage-defs.el (raw)
    • storage.el (raw)
    • table-to-feature-vector.el (raw)
    • term-tree-definition.el (raw)
    • term-tree-theorem.el (raw)
    • trees.el (raw)
    • views.txt (raw)
    • weka-definitions.el (raw)
    • weka.el (raw)
  • theorems
    • Conjugation (raw)
    • Fibrations (raw)
    • seq (raw)
    • ssrbool (raw)
    • ssrnat (raw)
  • variables
    • Conjugation (raw)
    • Fibrations (raw)
    • seq (raw)
    • ssrnat (raw)
  • variablesthms
    • bigop (raw)
    • Conjugation (raw)
    • Fibrations (raw)
    • seq (raw)
    • ssrbool (raw)
    • ssrnat (raw)
• test
  • generators.el (raw)
  • harness.el (raw)
  • README (raw)
  • runner.el (raw)
  • runner.sh (raw)
  • coq
    • feature-extraction-tests.el (raw)
    • generator-tests.el (raw)
    • graph-tests.el (raw)
    • harness-tests.el (raw)
    • hypothesis-extraction-tests.el (raw)
    • impure_helper-tests.el (raw)
    • pure_helper-tests.el (raw)
    • unit-tests.el (raw)
  • ssreflect
    • feature-extraction-tests.el (raw)
    • hypothesis-extraction-tests.el (raw)
    • unit-tests.el (raw)