root/trunk/HasCASL @ 11877

Name Size Rev Age Last Change
../
doc 5869 4 years 2maeder: further HasCASL2IsabelleHOL problems
test 11877 5 months maeder: disallowed explicit pseudo type notation following := (assign)
As.hs 14.1 kB 10299 17 months maeder: renamed functions over Range from Pos to Range
AsToLe.hs 7.1 kB 11167 11 months maeder: properly quantify also operation definitions
AsUtils.hs 13.9 kB 10502 15 months maeder: added Cppo class and instances (causing many more hints)
Builtin.hs 9.4 kB 11205 11 months maeder: renamed Anno_Parser to AnnoParser?
ClassAna.hs 7.1 kB 10469 16 months maeder: added Cpo class only
Constrain.hs 14.8 kB 11867 5 months maeder: match and shapeUnify must beta-reduce types in the same way
ConvertTypePattern.hs 5.7 kB 9214 2 years maeder: corrected InVar? to NonVar?
DataAna.hs 8.7 kB 11700 7 months maeder: fix for #689 regarding partial selectors
FoldTerm.hs 5.4 kB 11328 10 months maeder: add sentence of subtype definition
FoldType.hs 2.7 kB 11854 5 months maeder: set svn:keywords and svn:eol-style props
ghc-call 44 bytes 3247 5 years 2maeder: speeded up
hacapa.hs 1.6 kB 10427 16 months maeder: removed trailing blank lines
HToken.hs 2.9 kB 10523 15 months maeder: only exclude vertical bar from constructor ids
Le.hs 11.0 kB 11438 9 months maeder: require Ord instances also for signatures and morphism for efficiency …
Logic_HasCASL.hs 5.3 kB 11466 9 months maeder: allow unchecked composition of morphisms
Makefile 98 bytes 8389 2 years maeder: made hacapa a phony target
MapTerm.hs 2.2 kB 8668 2 years maeder: introduced type-arg-list for op ids
Merge.hs 4.8 kB 11351 10 months maeder: consider merging when renaming, fix part of #664
MinType.hs 5.1 kB 9370 2 years maeder: check for constructors or op kinds using the overload relation
MixAna.hs 11.4 kB 11875 5 months maeder: make no difference between patterns and terms during mixfix resolution. …
Morphism.hs 10.6 kB 11872 5 months maeder: use setToMap from Common.Lib.Rel
OpDecl.hs 9.0 kB 11806 5 months maeder: require input type for type checking
ParseItem.hs 12.3 kB 11877 5 months maeder: disallowed explicit pseudo type notation following := (assign)
ParseTerm.hs 20.1 kB 10656 15 months maeder: only allow type variables in top-level forall items
PrintAs.hs 23.0 kB 11810 5 months maeder: prefer printing 'as' over ':'
PrintLe.hs 9.7 kB 11701 7 months maeder: test case for changed printing by changeset:11700
ProgEq.hs 5.6 kB 9370 2 years maeder: check for constructors or op kinds using the overload relation
RawSym.hs 4.6 kB 10298 17 months maeder: globally replaced PosItem? and UpPos? with GetRange?
RunMixfixParser.hs 1.7 kB 11839 5 months maeder: properly resolve binder patterns later
RunStaticAna.hs 1.6 kB 8310 2 years maeder: added haddock Description
SimplifyTerm.hs 3.5 kB 10427 16 months maeder: removed trailing blank lines
Sublogic.hs 24.8 kB 11380 9 months maeder: added a comment
SubtypeDecl.hs 4.7 kB 11868 5 months maeder: avoid name conflicts by identical number choice
SymbItem.hs 2.3 kB 10299 17 months maeder: renamed functions over Range from Pos to Range
Symbol.hs 3.6 kB 10427 16 months maeder: removed trailing blank lines
SymbolMapAnalysis.hs 12.1 kB 11872 5 months maeder: use setToMap from Common.Lib.Rel
TypeAna.hs 11.2 kB 11830 5 months maeder: refined lesserType relation considering the lazy type constructor '?'
TypeCheck.hs 21.0 kB 11875 5 months maeder: make no difference between patterns and terms during mixfix resolution. …
TypeDecl.hs 15.2 kB 11806 5 months maeder: require input type for type checking
TypeMixAna.hs 3.4 kB 10299 17 months maeder: renamed functions over Range from Pos to Range
TypeRel.hs 1.2 kB 11854 5 months maeder: set svn:keywords and svn:eol-style props
Unify.hs 7.9 kB 11867 5 months maeder: match and shapeUnify must beta-reduce types in the same way
VarDecl.hs 13.5 kB 11873 5 months maeder: fully close type environment of formulas (considering down sets)
  • Property svn:ignore set to
    ATC_HasCASL.der.hs
    ATC_HasCASL.hs
Note: See TracBrowser for help on using the browser.