Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2018

• Add edited writeup

  EoinDoherty

  committed
  7b3825a

  Copy full SHA for 7b3825a

• Fix equal start and target bug

  EoinDoherty

  committed
  31b060c

  Copy full SHA for 31b060c

• Add writeup pdf

  EoinDoherty

  committed
  112e8b8

  Copy full SHA for 112e8b8

• Add README with instructions

  EoinDoherty

  committed
  0f3c7d1

  Copy full SHA for 0f3c7d1

• Add CLI input logic to MLHeuristic.py

  EoinDoherty

  committed
  e728908

  Copy full SHA for e728908

• Fix stupid mistake in Bool.getNeighbors

  EoinDoherty

  committed
  0075a0d

  Copy full SHA for 0075a0d

• Remove data collection modifications from search scripts

  EoinDoherty

  committed
  f228219

  Copy full SHA for f228219

• Add pretty printer for AST nodes

  EoinDoherty

  committed
  c93e7b3

  Copy full SHA for c93e7b3

• Final Changes Idk

  

  KyleRosenberg

  committed
  ae6c116

  Copy full SHA for ae6c116

Commits on Dec 10, 2018

• Analytics

  

  KyleRosenberg

  committed
  918392c

  Copy full SHA for 918392c

Commits on Dec 9, 2018

• Generate more neighbors using associative law

  EoinDoherty

  committed
  449b6ed

  Copy full SHA for 449b6ed

Commits on Dec 6, 2018

• Training and Parser

  Show description for 1672050
  

  KyleRosenberg

  committed
  1672050

  Copy full SHA for 1672050

• Add timeout for MLHeuristic search

  EoinDoherty

  committed
  cc175e3

  Copy full SHA for cc175e3

• Limit depth of MLHeuristic search

  EoinDoherty

  committed
  ae3c1da

  Copy full SHA for ae3c1da

Commits on Dec 5, 2018

• Finished ML

  Show description for c917b65
  

  KyleRosenberg

  committed
  c917b65

  Copy full SHA for c917b65

• Machine Learning

  Show description for 6be59d7
  

  KyleRosenberg

  committed
  6be59d7

  Copy full SHA for 6be59d7

• Add Const counting heuristic

  EoinDoherty

  committed
  b3c9858

  Copy full SHA for b3c9858

• Add heuristic for number of operations

  EoinDoherty

  committed
  60568c5

  Copy full SHA for 60568c5

Commits on Dec 4, 2018

• Timing and Heuristic

  Show description for 8f577af
  

  KyleRosenberg

  committed
  8f577af

  Copy full SHA for 8f577af

• Tree depth calculation

  Show description for 7a56210
  

  KyleRosenberg

  committed
  7a56210

  Copy full SHA for 7a56210

• Update BFS

  

  KyleRosenberg

  committed
  53086ed

  Copy full SHA for 53086ed

• Add __repr__ to expressions

  EoinDoherty

  committed
  c852352

  Copy full SHA for c852352

• Finished adding all equivalency rules

  Show description for b746d08
  

  KyleRosenberg

  committed
  b746d08

  Copy full SHA for b746d08

Commits on Dec 3, 2018

• Add BFS tests; Add boolean return to BFS

  EoinDoherty

  committed
  701fed0

  Copy full SHA for 701fed0

• Fix infinite Nots

  

  KyleRosenberg

  committed
  4b078ff

  Copy full SHA for 4b078ff

• BFS

  Show description for f3de160
  

  KyleRosenberg

  committed
  f3de160

  Copy full SHA for f3de160

• Add getNeighbors for concrete Exprs

  EoinDoherty

  committed
  5c0a55c

  Copy full SHA for 5c0a55c

• getNeighbor Not

  Show description for 2f99805
  

  KyleRosenberg

  committed
  2f99805

  Copy full SHA for 2f99805

• Typo

  Show description for a812d8a
  

  KyleRosenberg

  committed
  a812d8a

  Copy full SHA for a812d8a

• Finish parser

  Show description for 3c30206
  

  KyleRosenberg

  committed
  3c30206

  Copy full SHA for 3c30206

• Combine AST and parser

  Show description for 7c3b1b9
  

  KyleRosenberg

  committed
  7c3b1b9

  Copy full SHA for 7c3b1b9

Commits on Dec 2, 2018

• Merge parser

  EoinDoherty

  committed
  445d782

  Copy full SHA for 445d782

• Add AST classes and .gitignore

  EoinDoherty

  committed
  243238c

  Copy full SHA for 243238c

• Parser

  Show description for fd23b77
  

  KyleRosenberg

  committed
  fd23b77

  Copy full SHA for fd23b77

• Added Rules

  Show description for 8b2d3bf
  

  KyleRosenberg

  committed
  8b2d3bf

  Copy full SHA for 8b2d3bf