Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 15, 2019

• updated sygus problems

  ellisk42

  committed
  1c1c2e8

Commits on Jul 3, 2019

• Directory Reorganization and Cleanup (ellisk42#49)

  Show description for 0518fbd
  

  lcary

  authored and

  ellisk42

  committed
  0518fbd

Commits on Mar 13, 2019

• Merge pull request ellisk42#44 from ellisk42/puddleworld

  Show description for 52ac962
  CatherineWong

  authored
  52ac962

• added some good dreams

  ellisk42

  committed
  3f08684

Commits on Feb 22, 2019

• First pass adding puddleworld tasks

  CatherineWong

  committed
  4c986d5

Commits on Feb 20, 2019

• First pass at adding puddleworld tasks

  CatherineWong

  committed
  2999766

Commits on Nov 5, 2018

• Updates for graphing entropies

  CatherineWong

  committed
  323334e

• Basic graphing functionality for metrics

  CatherineWong

  committed
  1ee0173

• Store the grammar log productions and entropy

  CatherineWong

  committed
  b0d9592

• Add time metrics dictionary and graphing functionality

  CatherineWong

  committed
  5363ead

• Start adding scripts to store and graph the times

  CatherineWong

  committed
  92ac418

Commits on Oct 15, 2018

• found 1 pregex bug

  mtensor

  committed
  1e4755d

Commits on Oct 12, 2018

• WARNING solver does not compile

  ellisk42

  committed
  f11c040

Commits on Oct 3, 2018

• overhaul to logo tasks

  ellisk42

  committed
  9a03096

Commits on Oct 2, 2018

• logo snowflake cleanup

  ellisk42

  committed
  309966a

• replaced some of the old logo with the new manual logo

  ellisk42

  committed
  c78930b

Commits on Sep 28, 2018

• removed a geometry task + added a manual task

  ellisk42

  committed
  a2ad99a

Commits on Sep 27, 2018

• multiprocessing ocaml compressor

  ellisk42

  committed
  de7f941

Commits on Sep 21, 2018

• improvements to logo

  ellisk42

  committed
  6dbcb2e

Commits on Aug 7, 2018

• more modular handling of tasks with special likelihoods - might not be working for logo

  ellisk42

  committed
  e3ac495

Commits on Jul 30, 2018

• Merge branch 'master' of https://github.com/ellisk42/ec

  mathias-sm

  committed
  725f227

• PROTONETS, here we come.

  Show description for f124950
  mathias-sm

  committed
  f124950

• PROTONETS, here we come.

  Show description for fd2c6f5
  mathias-sm

  committed
  fd2c6f5

Commits on Jul 20, 2018

• smooth colors option

  ellisk42

  committed
  d0f8916

• Dreams in colours

  mathias-sm

  committed
  2117771

• Better GETSET and associated binaries

  mathias-sm

  committed
  a3b5270

Commits on Jul 19, 2018

• Corrected the spiral

  mathias-sm

  committed
  5a1918b

• Better smooth spirals

  mathias-sm

  committed
  102ee3a

• rebuilt

  ellisk42

  committed
  cae5a13

• Added "GETSET" as the smart way to use GET/SET

  mathias-sm

  committed
  c884997

Commits on Jul 11, 2018

• protobuf interface for towers

  ellisk42

  committed
  7693f1a

Commits on Jul 8, 2018

• LOGO Flowers

  mathias-sm

  committed
  03b8aa8

• New LOGO tasks

  mathias-sm

  committed
  92a6711

• More logo tasks and type improvements

  mathias-sm

  committed
  8560318

Commits on Jul 6, 2018

• continuation passing towers

  ellisk42

  committed
  23b7976

Pagination

PreviousNext