Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2018

• creport2.ivy

  

  Ken McMillan

  committed
  20299ee

• creport example

  

  Ken McMillan

  committed
  c546d9d

Commits on Sep 3, 2018

• adding file

  kenmcmil

  committed
  bcdd2cd

Commits on Aug 4, 2018

• merging

  kenmcmil

  committed
  7578c5f

• updating install instructions

  kenmcmil

  committed
  4dae5a3

Commits on Jul 4, 2018

• fol command is actually fo

  

  calvinclaus

  authored and

  kenmcmil

  committed
  3eb7781

Commits on Jun 29, 2018

• reverse breaking change to array spec

  

  Ken McMillan

  committed
  ebb0917

Commits on May 28, 2018

• updating docs

  kenmcmil

  committed
  44fcbe0

• update some examples for new array module

  kenmcmil

  committed
  2086355

• fixing ivy_to_cpp problem

  kenmcmil

  committed
  5f77f35

Commits on May 23, 2018

• adding fragment tests, fixing list_reverse doc

  kenmcmil

  committed
  111ae01

Commits on May 22, 2018

• checking in ivy_to_md

  kenmcmil

  committed
  1465e17

• fixes to fragment checker

  kenmcmil

  committed
  81b229e

Commits on May 21, 2018

• doc fixes

  kenmcmil

  committed
  9c4d399

Commits on May 18, 2018

• starting decidability doc

  kenmcmil

  committed
  8384d67

Commits on May 17, 2018

• fixing some problems with ivy_to_cpp

  kenmcmil

  committed
  7557615

• merged theorem branch into master

  kenmcmil

  committed
  9f34206

• theorem branch passes tests

  kenmcmil

  committed
  c99b4ee

• handle weird quoting of names in recent z3

  kenmcmil

  committed
  768462c

• handling finite types in new fragment checker

  kenmcmil

  committed
  6a4e8b6

Commits on May 16, 2018

• fixing up proving doc

  kenmcmil

  committed
  7fca471

• fixing induction example in indexset

  kenmcmil

  committed
  88e51dc

• ivy_prover problems

  kenmcmil

  committed
  07252c0

Commits on May 15, 2018

• sht works again

  kenmcmil

  committed
  7485cd7

Commits on May 12, 2018

• sht still not working

  kenmcmil

  committed
  92671bf

• fixing bugs in new fragment checker

  kenmcmil

  committed
  79d1675

Commits on May 11, 2018

• passes run_expects

  kenmcmil

  committed
  695b325

• working on new fragment checker

  kenmcmil

  committed
  783da16

Commits on May 10, 2018

• working on new fragment checker

  kenmcmil

  committed
  52a009b

Commits on May 9, 2018

• indexset works

  kenmcmil

  committed
  52e3b04

• trying to get indexset to work again

  kenmcmil

  committed
  4eab02e

Commits on May 8, 2018

• working on array reverse example

  kenmcmil

  committed
  5acdca1

Commits on May 7, 2018

• adding normalize_ops

  

  Ken McMillan

  committed
  e964c89

Commits on May 5, 2018

• working on alpha conversion bugs

  kenmcmil

  committed
  9cfc9bb

Commits on May 4, 2018

• working on example theorems

  kenmcmil

  committed
  78ad8fe

Pagination

Previous

Next