Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2020

• Update README

  Minimuino

  committed
  a801d94

  Copy full SHA for a801d94

• Add TFG to doc folder

  Minimuino

  committed
  8ee4ffb

  Copy full SHA for 8ee4ffb

• Fix bug that makes the app crash when the user removes an AtomWidget

  Minimuino

  committed
  1d37f9b

  Copy full SHA for 1d37f9b

• Prevent multitouch red circle from showing up on macOS

  Minimuino

  committed
  ea64c39

  Copy full SHA for ea64c39

• Add support for running on macOS

  Minimuino

  committed
  46ee486

  Copy full SHA for 46ee486

Commits on Jan 17, 2018

• Fix README

  Minimuino

  committed
  ff86ddd

  Copy full SHA for ff86ddd

• Fix README

  Minimuino

  committed
  4f9cdb1

  Copy full SHA for 4f9cdb1

• Update README

  Minimuino

  committed
  1635650

  Copy full SHA for 1635650

• Add web links to Help buttons

  Minimuino

  committed
  8e87b92

  Copy full SHA for 8e87b92

Commits on Nov 21, 2017

• Apply license to some files

  Minimuino

  committed
  a88f2d8

  Copy full SHA for a88f2d8

Commits on Jun 30, 2017

• Add basic line creation restrictions. Minor fixes.

  Minimuino

  committed
  940b19a

  Copy full SHA for 940b19a

Commits on Jun 24, 2017

• Upgrade to clingo-5.2.0

  Minimuino

  committed
  b31a8e7

  Copy full SHA for b31a8e7

Commits on Jun 20, 2017

• Bugfix: export ASP.

  Minimuino

  committed
  8b78141

  Copy full SHA for 8b78141

Commits on Jun 13, 2017

• Make Graphviz output prettier. Fixed bug in get_constants(). Updated examples.

  Minimuino

  committed
  f4efaa8

  Copy full SHA for f4efaa8

Commits on Jun 5, 2017

• Draw beta-graphs with graphviz.

  Minimuino

  committed
  d0b30cc

  Copy full SHA for d0b30cc

Commits on Jun 4, 2017

• Clingo & Graphviz interface refactor.

  Minimuino

  committed
  d42443e

  Copy full SHA for d42443e

Commits on Jun 3, 2017

• Add feat: Rename atom

  Minimuino

  committed
  6eb7722

  Copy full SHA for 6eb7722

Commits on Jun 2, 2017

• Proper application of the license.

  Minimuino

  committed
  aa47f86

  Copy full SHA for aa47f86

Commits on Jun 1, 2017

• Added support for constants & some GUI fixes.

  Minimuino

  committed
  b70f54b

  Copy full SHA for b70f54b

Commits on May 31, 2017

• GUI fixes.

  Minimuino

  committed
  5940dfc

  Copy full SHA for 5940dfc

Commits on May 30, 2017

• Added simple graphviz interface.

  Minimuino

  committed
  7e17ffb

  Copy full SHA for 7e17ffb

Commits on May 29, 2017

• Improved popups with a stack system.

  Minimuino

  committed
  13274fd

  Copy full SHA for 13274fd

• PNF algorithm updated. First contact between beta-graphs and clingo.

  Minimuino

  committed
  236a123

  Copy full SHA for 236a123

Commits on May 28, 2017

• RPN First-order formula & Prenex Normal Form reduction.

  Minimuino

  committed
  c23b36c

  Copy full SHA for c23b36c

Commits on May 26, 2017

• Load/Save file bugfixes.

  Minimuino

  committed
  96ecacb

  Copy full SHA for 96ecacb

Commits on May 25, 2017

• First order formula with universal quantifiers. Added some examples.

  Minimuino

  committed
  8769ec2

  Copy full SHA for 8769ec2

• Added in-app tutorial.

  Minimuino

  committed
  eddb8b0

  Copy full SHA for eddb8b0

Commits on May 23, 2017

• Added some examples. Several bugfixes.

  Minimuino

  committed
  3eea0c1

  Copy full SHA for 3eea0c1

• Load graph function fully working.

  Minimuino

  committed
  dbe5791

  Copy full SHA for dbe5791

Commits on May 22, 2017

• Added a name manager to handle atom creation properly.

  Show description for 1e3b740
  Minimuino

  committed
  1e3b740

  Copy full SHA for 1e3b740

Commits on May 19, 2017

• Added .spec file to build with PyInstaller. Updated README and .gitignore.

  Minimuino

  committed
  de39ffe

  Copy full SHA for de39ffe

Commits on May 18, 2017

• Added highlight variables feature.

  Minimuino

  committed
  280accb

  Copy full SHA for 280accb

• Added Nexus move functionality. Bugfix: Delete Lines properly.

  Minimuino

  committed
  f0bd7df

  Copy full SHA for f0bd7df

Commits on May 17, 2017

• Second approach to get the first order formula representation.

  Minimuino

  committed
  8aff8fe

  Copy full SHA for 8aff8fe

Commits on May 12, 2017

• Added About dialog.

  Minimuino

  committed
  79378e2

  Copy full SHA for 79378e2

Pagination

Previous

Next