Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2024

• fix typo

  

  deepimpactmir

  authored and

  ericastor

  committed
  e92f57a

  Copy full SHA for e92f57a

Commits on Mar 7, 2024

• Update results.txt

  Show description for 63b571c
  

  Convindix

  authored and

  ericastor

  committed
  63b571c

  Copy full SHA for 63b571c

Commits on Feb 20, 2020

• Changed time.clock() to time.perf_counter() (#1)

  Show description for dedec22
  TonichaC

  authored
  dedec22

  Copy full SHA for dedec22

Commits on Sep 7, 2018

• Fixed a bug in primary principle choice/display

  Show description for 574599c
  ericastor

  committed
  574599c

  Copy full SHA for 574599c

Commits on Apr 7, 2018

• Minor corrections and updates, bringing the JSON export to bare compatibility with zooviewer. NOT feature-complete, but functional.

  ericastor

  committed
  a1d74b4

  Copy full SHA for a1d74b4

Commits on Apr 5, 2018

• Adding a missed implication

  ericastor

  committed
  125c7e0

  Copy full SHA for 125c7e0

Commits on Jan 5, 2018

• Added first version of an exporter to "zooviewer" JSON format

  ericastor

  committed
  1db0e8a

  Copy full SHA for 1db0e8a

• Fixed details of rmzoo.py, added "omit" option

  ericastor

  committed
  fb35f94

  Copy full SHA for fb35f94

Commits on Sep 20, 2016

• Updated results.txt

  Show description for 59bdf6d
  ericastor

  committed
  59bdf6d

  Copy full SHA for 59bdf6d

Commits on Sep 13, 2016

• Added Dzhafarov & Patey on "Coloring trees"

  Show description for 6399c4c
  ericastor

  committed
  6399c4c

  Copy full SHA for 6399c4c

Commits on Aug 16, 2016

• Ignored distribution/packaging files

  ericastor

  committed
  c474f25

  Copy full SHA for c474f25

• Removed redundant "Error:" markers

  ericastor

  committed
  d7a4848

  Copy full SHA for d7a4848

• Fixed a missed import

  Show description for 7ddc855
  ericastor

  committed
  7ddc855

  Copy full SHA for 7ddc855

• Switched back to pickle serialization

  Show description for 30a3cbc
  ericastor

  committed
  30a3cbc

  Copy full SHA for 30a3cbc

• Improved verbose reporting for rmupdater

  Show description for 0bc0505
  ericastor

  committed
  0bc0505

  Copy full SHA for 0bc0505

• Trimmed unnecessary iterations

  Show description for ee83d89
  ericastor

  committed
  ee83d89

  Copy full SHA for ee83d89

• Finished support for aliased reductions

  Show description for 96f04c7
  ericastor

  committed
  96f04c7

  Copy full SHA for 96f04c7

Commits on Aug 13, 2016

• Added documentation on the results file

  ericastor

  committed
  a04deaa

  Copy full SHA for a04deaa

Commits on Aug 12, 2016

• Added alias: gc-reduction equivalent to w-reduction.

  ericastor

  committed
  3fc810c

  Copy full SHA for 3fc810c

• Bugfix: rebuild complexity database when importing

  Show description for 2604c20
  ericastor

  committed
  2604c20

  Copy full SHA for 2604c20

• Cleaning up files for release

  Show description for 07853fc
  ericastor

  committed
  07853fc

  Copy full SHA for 07853fc

• Trimming dead code

  Show description for 5d34fcd
  ericastor

  committed
  5d34fcd

  Copy full SHA for 5d34fcd

Commits on Aug 6, 2016

• Proper acknowledgments added, and revisions

  ericastor

  committed
  94a9503

  Copy full SHA for 94a9503

• Added some omitted "by definition" results

  ericastor

  committed
  e374ab9

  Copy full SHA for e374ab9

• Additional theorem repairs / additions

  Show description for 00d456c
  ericastor

  committed
  00d456c

  Copy full SHA for 00d456c

• Added/repaired several minor results

  ericastor

  committed
  4de0464

  Copy full SHA for 4de0464

• Designated primary principles

  ericastor

  committed
  a36f32d

  Copy full SHA for a36f32d

• Missed an import on a prior bugfix...

  ericastor

  committed
  b2ca483

  Copy full SHA for b2ca483

• Standardizing to bold principle names

  ericastor

  committed
  4fef5db

  Copy full SHA for 4fef5db

• Changed formatting errors (overuse of code)

  ericastor

  committed
  37736be

  Copy full SHA for 37736be

• Continuing to edit README's formatting

  ericastor

  committed
  f656818

  Copy full SHA for f656818

• Adding appropriate line breaks for Markdown

  ericastor

  committed
  8f10e82

  Copy full SHA for 8f10e82

• Updated the LICENSE and README

  ericastor

  committed
  5403024

  Copy full SHA for 5403024

Commits on Aug 5, 2016

• Fixed a minor display bug

  Show description for 7381413
  ericastor

  committed
  7381413

  Copy full SHA for 7381413

• Rewrote the rmupdater inference engine

  Show description for a1ab14f
  ericastor

  committed
  a1ab14f

  Copy full SHA for a1ab14f

Pagination

Previous

Next