Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jun 20, 2016

• Style: address pep8 warnings in main code.

  reachtarunhere

  committed
  0dbb1f6

  Copy full SHA for 0dbb1f6

Commits on Apr 18, 2016

• Removed unnecessary list coercions around map (#228)

  

  reachtarunhere

  authored and

  norvig

  committed
  6525e23

  Copy full SHA for 6525e23

Commits on Apr 17, 2016

• Style: address pep8 warnings.

  darius

  committed
  194a2f1

  Copy full SHA for 194a2f1

• Fix bugs in diff() and simp(). Add a smoke test.

  darius

  committed
  ac49792

  Copy full SHA for ac49792

• Remove unused imports.

  darius

  committed
  28b485b

  Copy full SHA for 28b485b

• Remove unimplemented(): it's not worth it without *-imports.

  darius

  committed
  083f8b2

  Copy full SHA for 083f8b2

• Use dict comprehensions now that we can.

  darius

  committed
  3c2639a

  Copy full SHA for 3c2639a

Commits on Apr 16, 2016

• Style: delete excess parentheses. In some of these cases you need to read ahead to see that the paren is not introducing a tuple, for example.

  darius

  committed
  8f58668

  Copy full SHA for 8f58668

Commits on Apr 13, 2016

• Additional Changes for Python3 Porting (#222)

  Show description for f129c5c
  

  reachtarunhere

  authored and

  norvig

  committed
  f129c5c

  Copy full SHA for f129c5c

• modifies Fig. to Figure all over the repository (#223)

  Show description for 1ff5ae8
  

  SnShine

  authored and

  norvig

  committed
  1ff5ae8

  Copy full SHA for 1ff5ae8

Commits on Apr 11, 2016

• implies changed to '==>'

  Show description for 386814f
  norvig

  committed
  386814f

  Copy full SHA for 386814f

• replace TRUE, FALSE with True, False

  norvig

  committed
  75617fa

  Copy full SHA for 75617fa

• Correct mistaken comment.

  darius

  committed
  7d65328

  Copy full SHA for 7d65328

• Fix bug: was calling a generator as if it returned a value-or-None instead of an iterator

  darius

  committed
  3451e8d

  Copy full SHA for 3451e8d

Commits on Apr 10, 2016

• Removes obsolete Fig dictionary and modifies the codebase accordingly (#208)

  Show description for 64fa05b
  

  SnShine

  authored and

  norvig

  committed
  64fa05b

  Copy full SHA for 64fa05b

Commits on Apr 9, 2016

• Update logic.py

  Show description for bee6cde
  norvig

  committed
  bee6cde

  Copy full SHA for bee6cde

• Added Explicit Imports from utils (#202)

  Show description for bf6e2be
  

  reachtarunhere

  authored and

  norvig

  committed
  bf6e2be

  Copy full SHA for bf6e2be

• Fix implies operator in SAT_plan (#203)

  Show description for 728e1f9
  

  Chipe1

  authored and

  norvig

  committed
  728e1f9

  Copy full SHA for 728e1f9

Commits on Apr 8, 2016

• Implemented SAT_plan (#198)

  Show description for ed41795
  

  Chipe1

  authored and

  norvig

  committed
  ed41795

  Copy full SHA for ed41795

• Expr with infix ops (#200)

  Show description for e594aff
  norvig

  committed
  e594aff

  Copy full SHA for e594aff

Commits on Apr 6, 2016

• Fixed a typo in logic.py

  

  Chipe1

  authored and

  norvig

  committed
  6746702

  Copy full SHA for 6746702

Commits on Apr 5, 2016

• Run doctests

  norvig

  committed
  fd51088

  Copy full SHA for fd51088

Commits on Mar 29, 2016

• Merge pull request #176 from Chipe1/logic

  Show description for f6cf450
  norvig

  committed
  f6cf450

  Copy full SHA for f6cf450

Commits on Mar 26, 2016

• Added explicit failure return

  Chipe1

  committed
  1021286

  Copy full SHA for 1021286

• Added WalkSAT

  Chipe1

  committed
  b2a9dc7

  Copy full SHA for b2a9dc7

Commits on Mar 25, 2016

• Complete explanation of the Expr class

  chiragvartak

  committed
  c114cc7

  Copy full SHA for c114cc7

Commits on Mar 22, 2016

• Add ask_if_true() method and fix minor errors

  chiragvartak

  committed
  10a911c

  Copy full SHA for 10a911c

• Make some docstrings somewhat more clearer

  chiragvartak

  committed
  c2fa32a

  Copy full SHA for c2fa32a

• Just studying the code

  chiragvartak

  committed
  42627d5

  Copy full SHA for 42627d5

Commits on Mar 19, 2016

• fixed a typo in logic.py

  SnShine

  committed
  a4b688e

  Copy full SHA for a4b688e

Commits on Mar 18, 2016

• Update logic.py

  norvig

  committed
  cf1db88

  Copy full SHA for cf1db88

• replaced old undefined function and added new test

  Chipe1

  committed
  bdeab0c

  Copy full SHA for bdeab0c

• Fixed bug in logic.py and added more tests

  Chipe1

  committed
  a38098f

  Copy full SHA for a38098f

Commits on Mar 17, 2016

• added a new test and fixed an old test

  Chipe1

  committed
  e03f8d7

  Copy full SHA for e03f8d7

• Fixed wrong name in test_logic

  Chipe1

  committed
  6bf7717

  Copy full SHA for 6bf7717