Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2021

• Unfortunate version bump

  KenyC

  committedOct 14, 2021
  2c48806

• None of these files should ever have been committed to the tree

  KenyC

  committedOct 14, 2021
  07668bd

• Bumped version + added PyPI forget-me-not

  KenyC

  committedOct 14, 2021
  e46f0e2

Commits on Oct 11, 2021

• Added focus tutorial + changed version

  KenyC

  committedOct 11, 2021
  d859c8c

• asscalar deprecated

  KenyC

  committedOct 11, 2021
  f9e4ef5

Commits on Oct 6, 2021

• Added focus operator + test

  KenyC

  committedOct 6, 2021
  0a0131c

Commits on Jan 15, 2021

• Custom size tutorial

  KenyC

  committedJan 15, 2021
  a3ad360

Commits on Jan 10, 2021

• Clarified tutorial + unpack() method

  KenyC

  committedJan 10, 2021
  3ce9aa4

Commits on Dec 13, 2020

• File reorganizing

  KenyC

  committedDec 13, 2020
  f84dcc3

• Reorganized files

  KenyC

  committedDec 13, 2020
  5cf0cea

• Drastic version increment

  KenyC

  committedDec 13, 2020
  79ecdbc

• Removed pyc files

  KenyC

  committedDec 13, 2020
  62c6982

• Merge branch 'subdomain_and_new_alts_construction'

  KenyC

  committedDec 13, 2020
  de8ff93

• Subdomain alternatives ; new alts construction

  KenyC

  committedDec 13, 2020
  5963e60

Commits on Dec 12, 2020

• Removed dummy Makefile

  KenyC

  committedDec 12, 2020
  f5e0719

• Test suite + quantifier domains

  KenyC

  committedDec 12, 2020
  5cb7941

• evaluate

  KenyC

  committedDec 12, 2020
  8d894ed

• Modif towards domains

  KenyC

  committedDec 12, 2020
  ab29ed9

Commits on Dec 11, 2020

• Added change log

  KenyC

  committedDec 11, 2020
  baa5735

• Long lists of alternatives displayed as lists

  KenyC

  committedDec 11, 2020
  9308c6b

Commits on Dec 10, 2020

• options are made dynamic + fix bug in changing vars' arity

  KenyC

  committedDec 10, 2020
  65f0e05

• respaced setup.py

  KenyC

  committedDec 10, 2020
  4dda9b8

• Incremented version

  KenyC

  committedDec 10, 2020
  47ee0fa

• removed useless exts directory

  KenyC

  committedDec 10, 2020
  13df833

• Added example folder

  KenyC

  committedDec 10, 2020
  668c534

• Added support for generalized quantifiers ; allowed instance-based quantifier symbols

  KenyC

  committedDec 10, 2020
  ee23303

• display 'nothing' when no alternatives are excludable

  KenyC

  committedDec 10, 2020
  f878bb0

• Clarified explanations

  KenyC

  committedDec 10, 2020
  fefa8a2

Commits on Sep 7, 2020

• Added named formulas

  KenyC

  committedSep 7, 2020
  c5593d8

Commits on Sep 6, 2020

• pre branch-switch commit

  KenyC

  committedSep 6, 2020
  17fcc74

Commits on Aug 5, 2020

• Added CONTRIBUTION.md + comments + profiler

  KenyC

  committedAug 5, 2020
  057429d

Commits on Jul 9, 2020

• minor

  KenyC

  committedJul 9, 2020
  e798dc0

• removed type attribute

  KenyC

  committedJul 9, 2020
  453d08a

Commits on Jul 2, 2020

• changed test file

  KenyC

  committedJul 2, 2020
  660a667

• fixed minor bug

  KenyC

  committedJul 2, 2020
  cefcace

Pagination

PreviousNext