fefdf8f5a314d2999934b4ad40035ac062ebcaa1 |
|
07-Dec-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
fixed #1800 |
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
43a582fe35884e2c6f455e7bfa34f0f4ef8dfe2e |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented HasCASL's toItem method for .pp.xml output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12823 cec4b9c1-7d33-0410-9eda-942365e851bb |
72b9099aeec0762bae4546db3bc4b48721027bf4 |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12817 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2e1ea7e00412ba6a7c29b491e6fca6ca4d6fb18 |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require instance GetRange for basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12522 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc71220d166caa41df62a1b140e2dae5f7d3c807 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added `instance GetRange TypeScheme`
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12168 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e38a4f194d3adc66646326c938eb9263a2f39b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed functions over Range from Pos to Range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
4aad9879e208b4ebc32b47b551a94a5e13e4f716 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added invariance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9219 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b1153c560b677f9f5da2a60ee8a10de75ff90c5 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected InVar to NonVar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9214 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5a53b5d6914c9ef670008947a885eb5ac6b29fc |
|
01-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
defined SeparatorKind instances and derived more instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8966 cec4b9c1-7d33-0410-9eda-942365e851bb |
72909c6c1cfe9702f5910d0a135c8b55729c7917 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed intersection kinds for kinded types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8709 cec4b9c1-7d33-0410-9eda-942365e851bb |
adfdcfa67b7f12df6df7292e238c3f9a4b637980 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
print only user supplied instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8704 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e0472be46104307b974fe5079bf5cc9e94a1a96 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced type-arg-list for op ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8668 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1012ae182d765c4e6986029d210b9e7b48de205 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced type synonym Pattern with Term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8665 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8 |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8630 cec4b9c1-7d33-0410-9eda-942365e851bb |
3daa82a175c7cfabf22455aa77c4beda327404e4 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated ':?' and ': ?' identically
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8590 cec4b9c1-7d33-0410-9eda-942365e851bb |
35cd0c10843c2cdbbe29f00a2a5d7e5e4f2d0064 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended tuple positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8551 cec4b9c1-7d33-0410-9eda-942365e851bb |
b99471d6e14282504e4ec6e13a64568097ee8619 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved position of vars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8545 cec4b9c1-7d33-0410-9eda-942365e851bb |
f454c20b6c126bea7d31d400cc8824b9ee8cc6ea |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed some lists to sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8490 cec4b9c1-7d33-0410-9eda-942365e851bb |
f94e26f892cf0fe2aa54252ec98920aed3a5c5ec |
|
25-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a proper Ord instance for any kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8469 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ae2df7accdbf35839d56f90e1e8662be7112cdb |
|
18-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
correctly Ord TypeScheme and reused freshInst
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8397 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d75ab580dbf51b7ca60903fb32e7f38d939d326 |
|
17-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added instantiation list to final QualOp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8388 cec4b9c1-7d33-0410-9eda-942365e851bb |
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb |
09249711700a6acbc40a2e337688b434d7aafa28 |
|
06-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added proper printing of instantiation lists and haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8277 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
27912d626bf179b82fcb337077e5cd9653bb71cf |
|
12-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AliasTypeDefn from Typescheme to TypeAbs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8023 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b1f1d57c75562a7af79e8256f4afa07febe921b |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
format only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7967 cec4b9c1-7d33-0410-9eda-942365e851bb |
04a1ed0b360858b85de6f449b84df4eab81b3fc9 |
|
24-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Range to TypeAbs and improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7933 cec4b9c1-7d33-0410-9eda-942365e851bb |
33262f399e0f81424df86390d5787c5451670568 |
|
15-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added yet unused type abstraction for ticket #191
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7906 cec4b9c1-7d33-0410-9eda-942365e851bb |
5066578c35f2917dd9d435ee350142258f3db6cf |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added proper line break to comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7381 cec4b9c1-7d33-0410-9eda-942365e851bb |
6770ec11184086a81daddba75e0cd1f45a2eff96 |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed HasCASL/As.hs from drifted_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7378 cec4b9c1-7d33-0410-9eda-942365e851bb |
966e627a1c06b302a06d59d08b8ab45905f3509c |
|
27-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended AST for internal purposes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3327 cec4b9c1-7d33-0410-9eda-942365e851bb |
76b1040f52eb70d2067657c58ec51c39990e1d84 |
|
12-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
consistently derived or implemented Eq and Ord instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3239 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c329ec132565cca05d6da085956eb998d6cc4b8 |
|
04-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made an extra Unit type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3207 cec4b9c1-7d33-0410-9eda-942365e851bb |
d17834302eaa101395b4b806cd73670fd864445f |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pred and Qual type in schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2958 cec4b9c1-7d33-0410-9eda-942365e851bb |
e76e6a43f51438215737d6fc176c89da05bb86da |
|
13-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed type variable representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2937 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc8c6570c7b4ee13f375eb607bed2290438573bf |
|
16-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Absy and parsing, added wild card pattern and treated as-patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee9eddfa6953868fd6fbaff0d9ff68675a13675a |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2492 cec4b9c1-7d33-0410-9eda-942365e851bb |
48c4688439e0aade4faeebf25ca8b16d661e47af |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2491 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8a03685d9184046e88e1d76aabdab4f714db440 |
|
23-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made Term cover Pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2468 cec4b9c1-7d33-0410-9eda-942365e851bb |
da768cb4801fbb3bb2f352532d62f6ac60f5ad29 |
|
13-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
leave type annotations to mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2388 cec4b9c1-7d33-0410-9eda-942365e851bb |
6db86a1c9a45067c3018ff8533293f223803c551 |
|
02-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignored empty tuple as argument for predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2232 cec4b9c1-7d33-0410-9eda-942365e851bb |
242691238a8d1a89581751d782af87ec5d7470c0 |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added translation of Grothendieck sentence lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2219 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fc11f86ce494126a0038f6bff6917981de9bc39 |
|
21-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed 'in' to lower precedence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1981 cec4b9c1-7d33-0410-9eda-942365e851bb |
0551888eaa2644528f6d483c2822de3f3c858723 |
|
14-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sure that there are no singleton tuples and product types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1959 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4741f6b7da52b5417899c8fcbe4349b920b006e |
|
02-Dec-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
integrated subsumption into merging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1885 cec4b9c1-7d33-0410-9eda-942365e851bb |
797f811e57952d59e73b8cd03b667eef276db972 |
|
17-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed op-args and data components according to the concrete syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1844 cec4b9c1-7d33-0410-9eda-942365e851bb |
64558a09e6f6b95d2689d02dd5251339f8ac505b |
|
14-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added where expressions and allowed '|' in non-case terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1840 cec4b9c1-7d33-0410-9eda-942365e851bb |
76fa667489c5e0868ac68de9f0253ac10f73d0b5 |
|
13-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed scanWords and scanSigns to scanHC...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1838 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 |
|
25-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
merge raw-kinds branch with main trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
02535bb32f01cbb935f41f8ccb957ebb5c1091c6 |
|
18-Aug-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed logicalType to empty product type, added lambda- and let- type check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1668 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f6c328eca52553e8c921565950fdddadc799bf7 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed patterns and analysed case expressions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1634 cec4b9c1-7d33-0410-9eda-942365e851bb |
53301de22afd7190981b363b57c48df86fcb50f7 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1620 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3fad379658e9be60fe0e575acec231f377b4171 |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1568 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff9a53595208f532c25ac5168f772f48fd80fdb5 |
|
23-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Formula, returned AS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1519 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa60342b6a000c6798730e1b1ddeec846254c62c |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
disallowed semicolon in patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1472 cec4b9c1-7d33-0410-9eda-942365e851bb |
79a3b1a7bf306fdedbeb39f9908d62405f37f385 |
|
12-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated preds like special ops, made Unit the internal logical type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1380 cec4b9c1-7d33-0410-9eda-942365e851bb |
37e2067019ef1e30bc7ad98b9bc623aa41cfa980 |
|
08-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed for var tuples in subtype definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1218 cec4b9c1-7d33-0410-9eda-942365e851bb |
a0d8d54b30dfaa76ca7ee6b1db20ed237e83bef1 |
|
04-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
comment for variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1199 cec4b9c1-7d33-0410-9eda-942365e851bb |
469af98c69977faf5666e689eae863c1606ce269 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed bracket arguments in expandPos to a pair
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1191 cec4b9c1-7d33-0410-9eda-942365e851bb |
d04136efa33d80e93b8d8e8db3669f397627c1cf |
|
12-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Eq instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1096 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c4a6faea90bdb95062434ca9b9e85f5c3b2d012 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Eq instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1095 cec4b9c1-7d33-0410-9eda-942365e851bb |
da245da15da78363c896e44ea97a14ab1f83eb50 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Set for intersection classes (and PPUtils for printing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1093 cec4b9c1-7d33-0410-9eda-942365e851bb |
04dada28736b4a237745e92063d8bdd49a362deb |
|
10-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended merging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1090 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
49a475aee8bae6c05798d65fddf13ec6da66f0be |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nested typeArgs and added kinds to classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1028 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only curried kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1018 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
70cb6d9819132624741661190b265b9a5d66cc86 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed nullKind to star
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@914 cec4b9c1-7d33-0410-9eda-942365e851bb |
51281dddda866c0cda9fca22bf6bc4eea7128112 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made PseudoType and TypeScheme equal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@905 cec4b9c1-7d33-0410-9eda-942365e851bb |
715a002611e0c503c11cc3aa80835763215e689d |
|
18-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled pseudo types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@901 cec4b9c1-7d33-0410-9eda-942365e851bb |
42da000066c803fbbbe9e13bf6326888de3bbdc7 |
|
17-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified TypeScheme and PseudoType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@893 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0fc60b7507b34c721c032c49dede882509e8de5 |
|
05-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@817 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd5d3885a092ac0727fa2436cdfc3b248318ebd8 |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced TypeVarDecl with TypeArg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@808 cec4b9c1-7d33-0410-9eda-942365e851bb |
a64a0692ffff29e0846ca325b1811266a9f105e0 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kind type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@794 cec4b9c1-7d33-0410-9eda-942365e851bb |
128c577c6b84edf29b724d2fd2c9409463ffe4b4 |
|
17-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@770 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c57322afb6342e5cc8b1fdc96050b707407fc61 |
|
10-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
change Name to Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@736 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c56ba9d3d481421a827c947233e669059056ca3 |
|
09-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed class names to (compound) ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@734 cec4b9c1-7d33-0410-9eda-942365e851bb |
078dd2f6a402c8d9804616dc9616b27ce380a2ea |
|
08-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@731 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2149e576afc5770597d033a1884da0627df0a4e |
|
07-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@727 cec4b9c1-7d33-0410-9eda-942365e851bb |
98cf0f00c14d5739ef1d4e20693adaba5eefbcd4 |
|
28-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@711 cec4b9c1-7d33-0410-9eda-942365e851bb |
e31d7eaf66f050570e6379141cb3f803a04b276a |
|
23-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@708 cec4b9c1-7d33-0410-9eda-942365e851bb |
621e04e891d74ff183e1d5f477c0af746b993bd2 |
|
17-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@701 cec4b9c1-7d33-0410-9eda-942365e851bb |
a08e56ba5c166b323cc568c847fefc2b6a721551 |
|
11-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for constructor classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@690 cec4b9c1-7d33-0410-9eda-942365e851bb |
a05bca7a10260c19581dff325389de3f8edefa5e |
|
06-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted qualified types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@678 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e0217d70a79c7c4c63d0760d027eb73245aa6d3 |
|
29-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified class type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@670 cec4b9c1-7d33-0410-9eda-942365e851bb |
d24cb84dba35006c81c22c0fc4215f63c22858ef |
|
06-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
tidied a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@600 cec4b9c1-7d33-0410-9eda-942365e851bb |
aae7a026a323021c5364aef85a0e03d586e5a5c3 |
|
13-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
basic items first time finished
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@284 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ad46ae85e1990617572b402494dfac0fb49c5c5 |
|
11-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
some basic items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@280 cec4b9c1-7d33-0410-9eda-942365e851bb |
0894bdb8ddd23ca01434732766abd51e08a968fb |
|
10-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
sigItems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@266 cec4b9c1-7d33-0410-9eda-942365e851bb |
805d89c064aed4ddf6f9fcadf38013267521af88 |
|
07-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
classItem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@265 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5221faf8ff37ebdac127972874fccd378ccbe0 |
|
06-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
type item
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@264 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe883661c9d1a5a8b42ac4e8673ec133d9dad354 |
|
06-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added auxiliary function: toPos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@262 cec4b9c1-7d33-0410-9eda-942365e851bb |
e05956d1da3c97e4d808926f97c6841c4a561991 |
|
05-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
let-terms/sort-items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@252 cec4b9c1-7d33-0410-9eda-942365e851bb |
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5 |
|
03-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@250 cec4b9c1-7d33-0410-9eda-942365e851bb |
c87b89ba43e53ae18d4cd69daa30cfc7532ec73f |
|
31-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
where terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@246 cec4b9c1-7d33-0410-9eda-942365e851bb |
46de69e5a99b797fdac54572d5e507453739dacd |
|
30-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
quantTerm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@245 cec4b9c1-7d33-0410-9eda-942365e851bb |
b475a916d62584a2af5f51749240db7a5f0c8b82 |
|
29-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
typePattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@244 cec4b9c1-7d33-0410-9eda-942365e851bb |
16060a5c23e794535eb1e7aa62ec4c370f0bff6a |
|
28-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
hierarchie: kind,type,pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@243 cec4b9c1-7d33-0410-9eda-942365e851bb |
5eb189fd010f5c5cff5cde398597a53faa65d71d |
|
24-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@241 cec4b9c1-7d33-0410-9eda-942365e851bb |
375dbb1a6d9b4cd2758c6a25ac526267970437b1 |
|
23-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@240 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ab4378ab4e9b904fce660cb31946fb112f80217 |
|
22-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@239 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d330b771706686190ad2f3711ec5769c555c708 |
|
22-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
initial HasCASL abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@238 cec4b9c1-7d33-0410-9eda-942365e851bb |
2176efc16eae8195a804a296b6ad97a6e15457e7 |
|
12-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
TYPE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@147 cec4b9c1-7d33-0410-9eda-942365e851bb |
7dd4c81b6f5e1948fcbb23e5b02bfc32cbfc69b9 |
|
12-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
TYPE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@146 cec4b9c1-7d33-0410-9eda-942365e851bb |
61c9a8eb2e36b0d3e2eb46f206184cbd7409388c |
|
11-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@144 cec4b9c1-7d33-0410-9eda-942365e851bb |