Commits

Breadcrumbs

History for

onrelease-0.99

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2012

• added syntax IRI to theories

  Show description for c1d06b3
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  c1d06b3

  Copy full SHA for c1d06b3

Commits on Aug 31, 2010

• Added see license.txt to license field

  Show description for 9889088
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  9889088

  Copy full SHA for 9889088

Commits on Aug 11, 2010

• Changed haddock headers and inserted empty headers for the ones missing

  Show description for b87efd3
  

  Corneliu-Claudiu Prodescu

  authored and

  Corneliu-Claudiu Prodescu

  committed
  b87efd3

  Copy full SHA for b87efd3

Commits on Jul 15, 2010

• refactored global theory results

  Show description for 1937dcc
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  1937dcc

  Copy full SHA for 1937dcc

Commits on Jun 2, 2010

• added some LANGUAGE pragmas for haddock

  Show description for 8a77240
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  8a77240

  Copy full SHA for 8a77240

Commits on Mar 25, 2010

• refactored the G_symbolplmap to more generic types 'Map a symbol' and 'Map symbol a'

  Show description for 295566c
  

  Ewaryst Schulz

  authored and

  Ewaryst Schulz

  committed
  295566c

  Copy full SHA for 295566c

Commits on Feb 1, 2010

• added new logic dependent structure G_symbolplmap and finished pathlist generation

  Show description for 10b1417
  

  Ewaryst Schulz

  authored and

  Ewaryst Schulz

  committed
  10b1417

  Copy full SHA for 10b1417

Commits on Jan 29, 2010

• changed the LinkPath type and improved the loop for pathification

  Show description for 8f1d582
  

  Ewaryst Schulz

  authored and

  Ewaryst Schulz

  committed
  8f1d582

  Copy full SHA for 8f1d582

Commits on Aug 14, 2009

• refactored aterm package

  Show description for b0b5ce9
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  b0b5ce9

  Copy full SHA for b0b5ce9

Commits on Aug 13, 2009

• moved ATerm library to separate directory

  Show description for ef9e853
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ef9e853

  Copy full SHA for ef9e853

• removed Binary stuff

  Show description for 3e8b136
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  3e8b136

  Copy full SHA for 3e8b136

Commits on Aug 12, 2009

• added INLINE pragma as done in Binary.hs

  Show description for a395327
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a395327

  Copy full SHA for a395327

• add instance BinaryLG SizedList and generate remaining instances

  Show description for 18a1c71
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  18a1c71

  Copy full SHA for 18a1c71

• added remaining BinaryLG instances

  Show description for 08483f2
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  08483f2

  Copy full SHA for 08483f2

Commits on Aug 11, 2009

• more BinaryLG instances

  Show description for fc8734d
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  fc8734d

  Copy full SHA for fc8734d

• added some BinaryLG instances

  Show description for ecfba33
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  ecfba33

  Copy full SHA for ecfba33

• prepare BinaryLG class

  Show description for a397281
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  a397281

  Copy full SHA for a397281

• use newtype deriving

  Show description for 18de830
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  18de830

  Copy full SHA for 18de830

Commits on Aug 10, 2009

• derive more ATC instances automatically

  Show description for aded505
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  aded505

  Copy full SHA for aded505

Commits on Jul 20, 2009

• made a separat class for shared aterms that need a logic graph when read

  Show description for 254df6f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  254df6f

  Copy full SHA for 254df6f

Loading