Commits

Branch selector

 patch-7

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 5, 2018

• Fix subtitle format on #11

  Show description for 38a7488
  kant

  authored
  38a7488

  Copy full SHA for 38a7488

Commits on Oct 19, 2018

• Update setup.py

  Show description for 5a7b6dd
  

  EgorBu

  authored and

  kenmcmil

  committed
  5a7b6dd

  Copy full SHA for 5a7b6dd

Commits on Oct 8, 2018

• ivy-mode.el: clean up

  Show description for 580ae42
  

  aaptel

  authored and

  kenmcmil

  committed
  580ae42

  Copy full SHA for 580ae42

Commits on Oct 3, 2018

• merge

  kenmcmil

  committed
  afc2851

  Copy full SHA for afc2851

• more graphviz problems

  kenmcmil

  committed
  44003f0

  Copy full SHA for 44003f0

Commits on Oct 2, 2018

• fixed problem with bmc in cti mode and initializers

  kenmcmil

  committed
  92d70d4

  Copy full SHA for 92d70d4

• fixes to ivy_graphviz

  kenmcmil

  committed
  b3aafe8

  Copy full SHA for b3aafe8

• Update README.md

  Show description for cce0860
  

  stutibiyani

  authored and

  kenmcmil

  committed
  cce0860

  Copy full SHA for cce0860

Commits on Sep 5, 2018

• creport2.ivy

  

  Ken McMillan

  committed
  20299ee

  Copy full SHA for 20299ee

• creport example

  

  Ken McMillan

  committed
  c546d9d

  Copy full SHA for c546d9d

Commits on Sep 3, 2018

• adding file

  kenmcmil

  committed
  bcdd2cd

  Copy full SHA for bcdd2cd

Commits on Aug 4, 2018

• merging

  kenmcmil

  committed
  7578c5f

  Copy full SHA for 7578c5f

• updating install instructions

  kenmcmil

  committed
  4dae5a3

  Copy full SHA for 4dae5a3

Commits on Jul 4, 2018

• fol command is actually fo

  

  calvinclaus

  authored and

  kenmcmil

  committed
  3eb7781

  Copy full SHA for 3eb7781

Commits on Jun 29, 2018

• reverse breaking change to array spec

  

  Ken McMillan

  committed
  ebb0917

  Copy full SHA for ebb0917

Commits on May 28, 2018

• updating docs

  kenmcmil

  committed
  44fcbe0

  Copy full SHA for 44fcbe0

• update some examples for new array module

  kenmcmil

  committed
  2086355

  Copy full SHA for 2086355

• fixing ivy_to_cpp problem

  kenmcmil

  committed
  5f77f35

  Copy full SHA for 5f77f35

Commits on May 23, 2018

• adding fragment tests, fixing list_reverse doc

  kenmcmil

  committed
  111ae01

  Copy full SHA for 111ae01

Commits on May 22, 2018

• checking in ivy_to_md

  kenmcmil

  committed
  1465e17

  Copy full SHA for 1465e17

• fixes to fragment checker

  kenmcmil

  committed
  81b229e

  Copy full SHA for 81b229e

Commits on May 21, 2018

• doc fixes

  kenmcmil

  committed
  9c4d399

  Copy full SHA for 9c4d399

Commits on May 18, 2018

• starting decidability doc

  kenmcmil

  committed
  8384d67

  Copy full SHA for 8384d67

Commits on May 17, 2018

• fixing some problems with ivy_to_cpp

  kenmcmil

  committed
  7557615

  Copy full SHA for 7557615

• merged theorem branch into master

  kenmcmil

  committed
  9f34206

  Copy full SHA for 9f34206

• theorem branch passes tests

  kenmcmil

  committed
  c99b4ee

  Copy full SHA for c99b4ee

• handle weird quoting of names in recent z3

  kenmcmil

  committed
  768462c

  Copy full SHA for 768462c

• handling finite types in new fragment checker

  kenmcmil

  committed
  6a4e8b6

  Copy full SHA for 6a4e8b6

Commits on May 16, 2018

• fixing up proving doc

  kenmcmil

  committed
  7fca471

  Copy full SHA for 7fca471

• fixing induction example in indexset

  kenmcmil

  committed
  88e51dc

  Copy full SHA for 88e51dc

• ivy_prover problems

  kenmcmil

  committed
  07252c0

  Copy full SHA for 07252c0

Commits on May 15, 2018

• sht works again

  kenmcmil

  committed
  7485cd7

  Copy full SHA for 7485cd7

Commits on May 12, 2018

• sht still not working

  kenmcmil

  committed
  92671bf

  Copy full SHA for 92671bf

• fixing bugs in new fragment checker

  kenmcmil

  committed
  79d1675

  Copy full SHA for 79d1675

Commits on May 11, 2018

• passes run_expects

  kenmcmil

  committed
  695b325

  Copy full SHA for 695b325

Pagination

Previous

Next