Commits

Branch selector

 d850377

User selector

All users

Datepicker

All time

Commit History

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

• Setup preprocessing for haddock; make doc works again

  Show description for 6e04910
  

  Klaus Luettich

  committed
  6e04910

  Copy full SHA for 6e04910

Commits on Aug 29, 2004

• Added description of --casl-amalg command line parameter

  Show description for f4dd7b5
  mmakowski

  committed
  f4dd7b5

  Copy full SHA for f4dd7b5

• Optimised mergeEquivClassesBy function

  Show description for c248f80
  mmakowski

  committed
  c248f80

  Copy full SHA for c248f80

Commits on Aug 28, 2004

• __* empty log message __*

  Show description for 55b0935
  tillmo

  committed
  55b0935

  Copy full SHA for 55b0935

• space after backslash added

  Show description for eafdd84
  tillmo

  committed
  eafdd84

  Copy full SHA for eafdd84

• space after backslash added

  Show description for bd4cc25
  tillmo

  committed
  bd4cc25

  Copy full SHA for bd4cc25

• flag for removal of UniForM workbench

  Show description for b028b69
  tillmo

  committed
  b028b69

  Copy full SHA for b028b69

• added flag UNI_PACKAGE to allow removal of UniForM workbench

  Show description for 31c49f2
  tillmo

  committed
  31c49f2

  Copy full SHA for 31c49f2

• Added option check at the beginning of ensuresAmalgamability so that if no option is specified the analysis is skipped

  Show description for f9b38d1
  mmakowski

  committed
  f9b38d1

  Copy full SHA for f9b38d1

• Removed CASL-specific option check from assertAmalgamability

  Show description for e8583ff
  mmakowski

  committed
  e8583ff

  Copy full SHA for e8583ff

• Added description string to DontKnow variant of Amalgamates

  Show description for c1a887a
  mmakowski

  committed
  c1a887a

  Copy full SHA for c1a887a

• __* empty log message __*

  Show description for d42b920
  tillmo

  committed
  d42b920

  Copy full SHA for d42b920

• Refactored to use full HetcatsOpts instead of just_struct

  Show description for 9414447
  mmakowski

  committed
  9414447

  Copy full SHA for 9414447

• Refactored to use full HetcatsOpts instead of just_struct

  Show description for 6a57a55
  mmakowski

  committed
  6a57a55

  Copy full SHA for 6a57a55

• Added HetcatsOpt parameter to ensuresAmalgamability function

  Show description for acde504
  mmakowski

  committed
  acde504

  Copy full SHA for acde504

• Added HetcatsOpt parameter to ensures_amalgamability function

  Show description for 2d25d5c
  mmakowski

  committed
  2d25d5c

  Copy full SHA for 2d25d5c

• Added options related to CASL amalgamability analysis

  Show description for 28fdc7d
  mmakowski

  committed
  28fdc7d

  Copy full SHA for 28fdc7d

Commits on Aug 27, 2004

• Changed sim function: the \sim relation is closed w.r.t congruence

  Show description for 59c3da4
  mmakowski

  committed
  59c3da4

  Copy full SHA for 59c3da4

• The right postion and the right formula is now shown for an ill-typed predication

  Show description for d1bde09
  

  Klaus Luettich

  committed
  d1bde09

  Copy full SHA for d1bde09

• Added rudimental sorting of case alternatives

  Show description for a349983
  

  Sonja Gröning

  committed
  a349983

  Copy full SHA for a349983

• Now all generated and original axioms are in correct order (order of input file) in the theory after static analysis

  Show description for 8365fb9
  

  Klaus Luettich

  committed
  8365fb9

  Copy full SHA for 8365fb9

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

• __* empty log message __*

  Show description for 052f9ca
  

  Mingyi Liu

  committed
  052f9ca

  Copy full SHA for 052f9ca

• Adjusted the functions to use new sink format for assertAmalgamability

  Show description for 56e9a4a
  mmakowski

  committed
  56e9a4a

  Copy full SHA for 56e9a4a

• Renamed extendDiagram to extendDiagramIncl

  Show description for bb3765b
  mmakowski

  committed
  bb3765b

  Copy full SHA for bb3765b

• Changed the type of sink: it no longer is a set of edges in the diagram, now it is just a set of diagram nodes with signature morphisms with common codomains

  Show description for 1450a64
  mmakowski

  committed
  1450a64

  Copy full SHA for 1450a64

• Changed the type of sink passed to ensures_amalgamability

  Show description for dc83571
  mmakowski

  committed
  dc83571

  Copy full SHA for dc83571

• Started the implementation of simplify_sen for CASL and corrected its type signature

  Show description for 59cc761
  

  Klaus Luettich

  committed
  59cc761

  Copy full SHA for 59cc761

• 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

• pdflatex is now called from the hets-tmp directory instead of the current cgi-bin directory

  Show description for 2e21872
  

  Klaus Luettich

  committed
  2e21872

  Copy full SHA for 2e21872

• improved the error handler

  Show description for bca91e6
  

  Heng Jiang

  committed
  bca91e6

  Copy full SHA for bca91e6

• added anaFileW and anaStringW, and little changes in ana_LIB_DEFN and ana_LIB_ITEM for web interface

  Show description for 26ed2a1
  

  Heng Jiang

  committed
  26ed2a1

  Copy full SHA for 26ed2a1

Commits on Aug 25, 2004

• a perl script installed as cronjob; it updates the central CASL-lib directory

  Show description for bf2c829
  

  Klaus Luettich

  committed
  bf2c829

  Copy full SHA for bf2c829

• Adapted printing.

  Show description for aef2ec6
  

  Sonja Gröning

  committed
  aef2ec6

  Copy full SHA for aef2ec6

Pagination

Previous

Next