Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 19, 2012

• Renaming the project from Z3 to CamllVM

  raph-amiard

  committed
  d36928f

  Copy full SHA for d36928f

• Renaming the project from Z3 to OcamllVM

  raph-amiard

  committed
  f242e85

  Copy full SHA for f242e85

Commits on Nov 17, 2012

• README

  raph-amiard

  committed
  1b06b84

  Copy full SHA for 1b06b84

• README

  raph-amiard

  committed
  873cce8

  Copy full SHA for 873cce8

• README

  raph-amiard

  committed
  b0300e4

  Copy full SHA for b0300e4

• Fix makefile

  raph-amiard

  committed
  5b4031c

  Copy full SHA for 5b4031c

• Forgot ocaml patch

  raph-amiard

  committed
  0bcae43

  Copy full SHA for 0bcae43

• Removing ocaml sources from sourcetree

  raph-amiard

  committed
  7537b7f

  Copy full SHA for 7537b7f

Commits on Jun 2, 2012

• Adding commandline option to trigger optimizations

  raph-amiard

  committed
  3b7eca2

  Copy full SHA for 3b7eca2

Commits on May 27, 2012

• ajout bench qui segfault

  Show description for b3cb06a
  cgeoffroy

  committed
  b3cb06a

  Copy full SHA for b3cb06a

• ocamlrunparam support

  cgeoffroy

  committed
  0afd3f0

  Copy full SHA for 0afd3f0

Commits on May 25, 2012

• Merge branch 'explicit-stack' of github.com:raph-amiard/Z3 into explicit-stack

  raph-amiard

  committed
  bbd6034

  Copy full SHA for bbd6034

• benches + script. run 'test/runbenches.sh' to have results

  

  jean dao

  committed
  5a5b8a3

  Copy full SHA for 5a5b8a3

• Merge branch 'explicit-stack' of github.com:raph-amiard/Z3 into explicit-stack

  raph-amiard

  committed
  3167edb

  Copy full SHA for 3167edb

• Merge branch 'master' of github.com:raph-amiard/Z3 into explicit-stack

  raph-amiard

  committed
  0df89b8

  Copy full SHA for 0df89b8

Commits on May 24, 2012

• modified -t option to be more script friendly

  

  jean dao

  committed
  b1c7fa2

  Copy full SHA for b1c7fa2

• fix typo

  

  jean dao

  committed
  65ddb77

  Copy full SHA for 65ddb77

• added -t option: prints execution time

  

  jean dao

  committed
  ea045c6

  Copy full SHA for ea045c6

Commits on May 23, 2012

• Performance tweaks attempts

  raph-amiard

  committed
  c668cb3

  Copy full SHA for c668cb3

• Debug tweaks

  raph-amiard

  committed
  d3bdc25

  Copy full SHA for d3bdc25

Commits on May 19, 2012

• Kb now working

  raph-amiard

  committed
  13a0bdb

  Copy full SHA for 13a0bdb

• Tail calls now working

  raph-amiard

  committed
  c2162ac

  Copy full SHA for c2162ac

Commits on May 17, 2012

• Tmp commit for tailcalls

  raph-amiard

  committed
  72279af

  Copy full SHA for 72279af

Commits on May 16, 2012

• Explicit stack version is on par with the master branch

  raph-amiard

  committed
  ca60786

  Copy full SHA for ca60786

Commits on May 15, 2012

• Mega crado commito

  raph-amiard

  committed
  bd6675d

  Copy full SHA for bd6675d

Commits on May 9, 2012

• Removing zsi from build process because it has nothing to do on the master branch

  raph-amiard

  committed
  018730d

  Copy full SHA for 018730d

Commits on May 5, 2012

• trying to do APPLY and stuff

  

  jean dao

  committed
  0ed3dc2

  Copy full SHA for 0ed3dc2

Commits on May 4, 2012

• idem

  

  jean dao

  committed
  eb4dd88

  Copy full SHA for eb4dd88

• Don't know if on the right track

  

  jean dao

  committed
  4bfb241

  Copy full SHA for 4bfb241

Commits on Apr 13, 2012

• if Makefile won't work, try it

  

  lhscr8848

  committed
  ebb167b

  Copy full SHA for ebb167b

• Fix makefile so that it can work with stupid g++

  raph-amiard

  committed
  133bf8e

  Copy full SHA for 133bf8e

• Fix makeblock for large blocks

  raph-amiard

  committed
  0aa82ff

  Copy full SHA for 0aa82ff

• Remove test out file that had nothing to do here

  raph-amiard

  committed
  3869533

  Copy full SHA for 3869533

• Remove some debug msgs

  raph-amiard

  committed
  580cc58

  Copy full SHA for 580cc58

Commits on Mar 31, 2012

• This may seems like nit-picking but I can assure you THIS IS NOT

  

  jean dao

  committed
  12137eb

  Copy full SHA for 12137eb

Pagination

Previous

Next