Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 8, 2025

• Fix figure labels

  aquohn

  committed
  7ffb95e

  Copy full SHA for 7ffb95e

• Add README

  aquohn

  committed
  0e9cc34

  Copy full SHA for 0e9cc34

Commits on Apr 8, 2021

• Merge remote-tracking branch 'refs/remotes/origin/master'

  aquohn

  committed
  dd72a75

  Copy full SHA for dd72a75

• Clean up and complete cut methods

  aquohn

  committed
  1b32bd1

  Copy full SHA for 1b32bd1

• Clean up dneg implementation and add reparent

  aquohn

  committed
  c8b4be7

  Copy full SHA for c8b4be7

• Add remaining C++ methods, except hypo_{add,rem}cut

  aquohn

  committed
  a01745b

  Copy full SHA for a01745b

• Add move method to move without creating new tree

  aquohn

  committed
  ed66e02

  Copy full SHA for ed66e02

• Merge commit '9592947f10b59959dfec86524868fc324a9fed88'

  aquohn

  committed
  07e83e7

  Copy full SHA for 07e83e7

• Change paste algorithm to paste children of AND nodes

  aquohn

  committed
  9592947

  Copy full SHA for 9592947

• Add helper methods and generalise some functions

  aquohn

  committed
  2776ee6

  Copy full SHA for 2776ee6

• Implement AlphaDelegate

  aquohn

  committed
  b8afa42

  Copy full SHA for b8afa42

• Merge commit '68c0661f1a47b2e0c3e37e16413d7a14ac60d138'

  aquohn

  committed
  d671496

  Copy full SHA for d671496

• Declare AlphaDelegate interface

  aquohn

  committed
  9ca9e0e

  Copy full SHA for 9ca9e0e

• Add inference rules and refactor using more consistent names

  aquohn

  committed
  68c0661

  Copy full SHA for 68c0661

• Add popup for user input

  aquohn

  committed
  4740566

  Copy full SHA for 4740566

Commits on Apr 7, 2021

• Setup mouse and keyboard signalling

  aquohn

  committed
  ebfebbb

  Copy full SHA for ebfebbb

Commits on Apr 6, 2021

• Establish framework for app

  aquohn

  committed
  ea0d08e

  Copy full SHA for ea0d08e

• Merge commit '2e471f408fde6d98f216a7b6f1bf760ff7403397'

  aquohn

  committed
  9c0d9fa

  Copy full SHA for 9c0d9fa

• Add libalpha

  aquohn

  committed
  dc8a869

  Copy full SHA for dc8a869

• Cleanups, bugfixes, and additional fatal exception

  aquohn

  committed
  2e471f4

  Copy full SHA for 2e471f4

Commits on Apr 5, 2021

• Add paste function

  aquohn

  committed
  7c53e73

  Copy full SHA for 7c53e73

• Add double negation functions

  aquohn

  committed
  91591bc

  Copy full SHA for 91591bc

• Complete deiteration check code

  aquohn

  committed
  9c6c1a1

  Copy full SHA for 9c6c1a1

Commits on Apr 3, 2021

• Rewrite system to use children list

  aquohn

  committed
  ed93cbb

  Copy full SHA for ed93cbb

• Add 'libalpha/' from commit 'b4a6e3180aa2bd14bfde69ece2a323e6a1591a72'

  Show description for 214451b
  aquohn

  committed
  214451b

  Copy full SHA for 214451b

• Initial commit

  aquohn

  committed
  b4a6e31

  Copy full SHA for b4a6e31

• Remove C Alpha library, to re-add as subtree

  aquohn

  committed
  7e6797c

  Copy full SHA for 7e6797c

• Remove C Alpha library, to re-add as subtree

  aquohn

  committed
  a13698f

  Copy full SHA for a13698f

• Complete GUI sketching

  aquohn

  committed
  4ed0958

  Copy full SHA for 4ed0958

• Complete GUI sketching

  aquohn

  committed
  393d77e

  Copy full SHA for 393d77e

Commits on Mar 20, 2021

• initial commit

  aquohn

  committed
  6fe8488

  Copy full SHA for 6fe8488