Commits

Breadcrumbs

History for

on60027bc

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 20, 2005

• added names for internal nodes

  Show description for db71439
  tillmo

  committed
  db71439

  Copy full SHA for db71439

Commits on Feb 25, 2005

• moved modules from hetcats to Driver

  Show description for 43b4c41
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  43b4c41

  Copy full SHA for 43b4c41

Commits on Feb 11, 2005

• removed unused imports

  Show description for 5a9a484
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5a9a484

  Copy full SHA for 5a9a484

Commits on Jan 20, 2005

• added further dummies for refinement analysis

  Show description for 95656e8
  tillmo

  committed
  95656e8

  Copy full SHA for 95656e8

Commits on Jan 14, 2005

• inserted imported stuff again

  Show description for fa3833f
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  fa3833f

  Copy full SHA for fa3833f

Commits on Jan 13, 2005

• added new refinement specs (unfinished)

  Show description for 4e52187
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  4e52187

  Copy full SHA for 4e52187

Commits on Dec 28, 2004

• static analysis of 'with logic'

  Show description for 52aad05
  tillmo

  committed
  52aad05

  Copy full SHA for 52aad05

Commits on Nov 29, 2004

• moved amalgamation data types to new module Common.Amalgamate and renamed Yes and No constructors

  Show description for 5648289
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  5648289

  Copy full SHA for 5648289

Commits on Nov 4, 2004

• introduced isStructured option query and untabified

  Show description for 7297175
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  7297175

  Copy full SHA for 7297175

Commits on Aug 30, 2004

• Added check that parameter signatures are subsignatures of the body signature in ana_UNIT_EXPRESSION; this produces more accurate error message

  Show description for d850377
  mmakowski

  committed
  d850377

  Copy full SHA for d850377

Commits on Aug 28, 2004

• Removed CASL-specific option check from assertAmalgamability

  Show description for e8583ff
  mmakowski

  committed
  e8583ff

  Copy full SHA for e8583ff

• Refactored to use full HetcatsOpts instead of just_struct

  Show description for 9414447
  mmakowski

  committed
  9414447

  Copy full SHA for 9414447

Commits on Aug 26, 2004

• Fixed the second sink in UNIT-APPL case of ana_UNIT_TERM

  Show description for 8ee6ec9
  mmakowski

  committed
  8ee6ec9

  Copy full SHA for 8ee6ec9

• Adjusted the functions to use new sink format for assertAmalgamability

  Show description for 56e9a4a
  mmakowski

  committed
  56e9a4a

  Copy full SHA for 56e9a4a

• Fixed ana_UNIT_EXPRESSION: inserted diagram edges from the nodes representing expression arguments to the node representing expression body (unit term)

  Show description for bc96650
  mmakowski

  committed
  bc96650

  Copy full SHA for bc96650

Commits on Aug 24, 2004

• Removed unused identifier

  Show description for f7aa108
  mmakowski

  committed
  f7aa108

  Copy full SHA for f7aa108

Commits on Aug 23, 2004

• Changed the empty sink error type in homogeneousEnsuresAmalgamability so that it doesn't suppress other error messages

  Show description for 0f76711
  mmakowski

  committed
  0f76711

  Copy full SHA for 0f76711

Commits on Aug 22, 2004

• Fixed UNIT-REDUCTION part of ana_UNIT_TERM -- morphisms returned from ana_RESTRICTION are used correctly

  Show description for 3ce7be6
  mmakowski

  committed
  3ce7be6

  Copy full SHA for 3ce7be6

Commits on Aug 17, 2004

• Added description arguments to calls to extendDiagram*

  Show description for 4888279
  mmakowski

  committed
  4888279

  Copy full SHA for 4888279

Commits on Jul 29, 2004

• use adjustPos for propagating positions

  Show description for 3476beb
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  3476beb

  Copy full SHA for 3476beb

Commits on Jun 6, 2004

• Added description parameter to extendDiagram

  Show description for faf05aa
  mmakowski

  committed
  faf05aa

  Copy full SHA for faf05aa

Commits on May 16, 2004

• Fixed passing incorrect diagrams to assertAmalgamability

  Show description for 5ad9556
  mmakowski

  committed
  5ad9556

  Copy full SHA for 5ad9556

Commits on Apr 24, 2004

• Take the target of the sink as logic for homogenize, not a default logic

  Show description for f52eb62
  tillmo

  committed
  f52eb62

  Copy full SHA for f52eb62

Commits on Apr 23, 2004

• removed dependency from Logic_CASL (for trying HasCASL as default logic)

  Show description for 09bdda4
  

  Christian Maeder

  authored and

  Christian Maeder

  committed
  09bdda4

  Copy full SHA for 09bdda4

Commits on Apr 20, 2004

• Added handling of messages returned with "No" in assertAmalgamability

  Show description for 87aca98
  mmakowski

  committed
  87aca98

  Copy full SHA for 87aca98

• Changed the way the sink is passed to assertAmalgamability: it's now a list of diagram edges

  Show description for abca378
  mmakowski

  committed
  abca378

  Copy full SHA for abca378

Commits on Apr 18, 2004

• Changed the return types from IOResult to Result

  Show description for 76a27d1
  mmakowski

  committed
  76a27d1

  Copy full SHA for 76a27d1

Commits on Mar 22, 2004

• Implemented ana_FIT_ARG_UNIT

  Show description for 5e57a68
  mmakowski

  committed
  5e57a68

  Copy full SHA for 5e57a68

• added diagram edge labels (eges are labelled with signature morphisms)

  Show description for 31eddda
  mmakowski

  committed
  31eddda

  Copy full SHA for 31eddda

Commits on Mar 10, 2004

• Resulting development graph and arch spec are returned from ana_ARCH_SPEC

  Show description for 5adbf22
  mmakowski

  committed
  5adbf22

  Copy full SHA for 5adbf22

Commits on Feb 26, 2004

• Implemented unit declaration analysis

  Show description for 53ee92d
  mmakowski

  committed
  53ee92d

  Copy full SHA for 53ee92d

• Corrected the Haddock comments

  Show description for a1cf1d9
  mmakowski

  committed
  a1cf1d9

  Copy full SHA for a1cf1d9

Commits on Feb 25, 2004

• Added module for static analysis of arch specs and unit specs

  Show description for 58264ec
  mmakowski

  committed
  58264ec

  Copy full SHA for 58264ec

Loading