Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 10, 2007

• v0.7.5 beta changes

  

  grholst

  committed
  d0dc816

  Copy full SHA for d0dc816

Commits on Sep 3, 2007

• v7.5.0 beta fixes

  

  grholst

  committed
  fb8204c

  Copy full SHA for fb8204c

Commits on May 29, 2006

• Simple parser working. v0.7.0 Release Candidate.

  

  grholst

  committed
  8491024

  Copy full SHA for 8491024

Commits on May 15, 2006

• v0.7.0 updated toString term display

  

  grholst

  committed
  4b2698c

  Copy full SHA for 4b2698c

Commits on Apr 17, 2006

• v0.7.0b jslog_toString and display improvements

  

  grholst

  committed
  e7e9f1a

  Copy full SHA for e7e9f1a

Commits on Apr 5, 2006

• 0.7.0 beta updates - added current_op/3

  

  grholst

  committed
  c86505e

  Copy full SHA for c86505e

Commits on Mar 2, 2006

• v0.7.0 last-call cut bug fix, parser refinement

  

  grholst

  committed
  d9c8800

  Copy full SHA for d9c8800

Commits on Feb 27, 2006

• v0.7.0 optimization fixes and parser rules

  

  grholst

  committed
  714220f

  Copy full SHA for 714220f

Commits on Feb 21, 2006

• v0.7.0 parser update and cut bug fix

  

  grholst

  committed
  512502f

  Copy full SHA for 512502f

Commits on Feb 19, 2006

• v0.7.0 tokenizer for parser

  

  grholst

  committed
  6007718

  Copy full SHA for 6007718

Commits on Feb 13, 2006

• 0.6.5 space optimizations

  

  grholst

  committed
  2b66907

  Copy full SHA for 2b66907

Commits on Feb 12, 2006

• 0.6.5 space optimizations

  

  grholst

  committed
  fab38f0

  Copy full SHA for fab38f0

Commits on Dec 4, 2005

• prover upgrade and exception handling

  

  grholst

  committed
  f2ae4bf

  Copy full SHA for f2ae4bf

Commits on Dec 2, 2005

• prover updates

  

  grholst

  committed
  358c3e1

  Copy full SHA for 358c3e1

Commits on Nov 30, 2005

• updates for 0.6.0

  

  grholst

  committed
  ff95a67

  Copy full SHA for ff95a67

Commits on Nov 28, 2005

• update for 0.6.0

  

  grholst

  committed
  d2e1f8d

  Copy full SHA for d2e1f8d

Commits on Nov 21, 2005

• fix for assert

  

  grholst

  committed
  6123299

  Copy full SHA for 6123299

Commits on Nov 20, 2005

• updates to abolish/1

  

  grholst

  committed
  f2dae98

  Copy full SHA for f2dae98

• updates to retract/1 and clause/2

  

  grholst

  committed
  f61bd59

  Copy full SHA for f61bd59

Commits on Nov 14, 2005

• updates for 0.5.0

  

  grholst

  committed
  02ece44

  Copy full SHA for 02ece44

• updates for 0.5.0

  

  grholst

  committed
  95a7402

  Copy full SHA for 95a7402

Commits on Nov 12, 2005

• updates for 0.5.0

  

  grholst

  committed
  44ee0a8

  Copy full SHA for 44ee0a8

Commits on Nov 10, 2005

• updates for 0.5.0

  

  grholst

  committed
  bbf758c

  Copy full SHA for bbf758c

Commits on Oct 19, 2005

• fixed copy_term/2

  

  grholst

  committed
  96b13fa

  Copy full SHA for 96b13fa

Commits on Oct 10, 2005

• added testing queries

  

  grholst

  committed
  8468637

  Copy full SHA for 8468637

• add/update math and comparison operators

  

  grholst

  committed
  a5ca165

  Copy full SHA for a5ca165

Commits on Oct 2, 2005

• added additional ISO predicates

  

  grholst

  committed
  9031712

  Copy full SHA for 9031712

Commits on Sep 14, 2005

• *** empty log message ***

  

  grholst

  committed
  807355b

  Copy full SHA for 807355b

Commits on Sep 1, 2005

• final changes for v0.3.0

  

  grholst

  committed
  380f8d3

  Copy full SHA for 380f8d3

Commits on Aug 30, 2005

• adding predicates for v0.3.0

  

  grholst

  committed
  2baae11

  Copy full SHA for 2baae11

Commits on Aug 29, 2005

• adding predicates for v0.3.0

  

  grholst

  committed
  025b681

  Copy full SHA for 025b681

Commits on Jul 20, 2005

• v0.2

  

  grholst

  committed
  085a4b7

  Copy full SHA for 085a4b7

Commits on Jul 12, 2005

• Initial JScriptLog Import.

  

  grholst

  committed
  6979117

  Copy full SHA for 6979117