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 |
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 |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7e1f97078161269a7f99a0520cc421d171bb0da |
|
11-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
create an equivalence for a predicate definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13063 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ba5fe63cd6e2b5cbed5323d47842fac2f40cd7 |
|
19-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extract name from annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12849 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 |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd6adc3ab7bab87f889110d57df038f83947ccb3 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep injection in OP_DEFN
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12103 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4f3c121d197ca18cd8f67deaabdddf7f6bdb7e9 |
|
07-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove unnecessary downcast for OP-DEFNs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12048 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e538f0d5fb2768e25a1f300b094bc07ac2a835b |
|
17-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require input type for type checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11806 cec4b9c1-7d33-0410-9eda-942365e851bb |
4bae958647dc527f8114d3882bdfda1c2a354ffa |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add trailing label to subtype definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11329 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8391304363d474b477a3d0c840e504bd02d6c5b |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add sentence of subtype definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11328 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0ef189e724dfd960074248c97fb01dfa5842a5c |
|
16-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly quantify also operation definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11167 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 |
7946f81bdc77b0790ac47ccaf2912a1d55c8336d |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed obsolete GlobalAnnos argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9924 cec4b9c1-7d33-0410-9eda-942365e851bb |
b734b51e16ca659814c11205dfb0e97d13bf7ef6 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
make binders assoc_right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9923 cec4b9c1-7d33-0410-9eda-942365e851bb |
31a189d4cff554f78407cdc422480e84e99a6ec6 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse binder syntax of #447
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9922 cec4b9c1-7d33-0410-9eda-942365e851bb |
908a6351595b57641353608c4449d5faa0d1adf8 |
|
15-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
use annotation label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9053 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1fd2026bcd805296762eaa97090f7a29819d9f2 |
|
05-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isDef attribute (the label is wrong)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8997 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9490701e16d1e8abd995ef876d6f937da93b412 |
|
05-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8994 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e2c88c65d50b2e44f7afa165e6a5fac0724f08c |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
no nested foralls in type schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8706 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 |
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 |
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 |
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 |
1eb10c0c30323eed3cc21082fd242cd09a612dc5 |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated declared and qualified ops identically
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8385 cec4b9c1-7d33-0410-9eda-942365e851bb |
c579ea1337300f33a9f12187015ef1eebd6a426c |
|
12-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8347 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac142c1b088711f911018d8108a64be80b2f2a58 |
|
11-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed polymorphic compound identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8337 cec4b9c1-7d33-0410-9eda-942365e851bb |
0216a1580abf46ed8981f25e89d6fd99b2944ac2 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked compound lists in op decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8330 cec4b9c1-7d33-0410-9eda-942365e851bb |
e47d29b522739fbf08aac80c6faa447dde113fbc |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected raw kind in 'toType' applications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8287 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 |
b52ad1aed6b1eb8b8416aaf100695f54ea59aea0 |
|
02-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added monoType to op defn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8217 cec4b9c1-7d33-0410-9eda-942365e851bb |
c44c23429c72f3a709e22a18f2ed6f05fc8cc765 |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed emptyName to makeNamed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7782 cec4b9c1-7d33-0410-9eda-942365e851bb |
65835942d66905c377fa503e0d577df5aade58fe |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized emptyName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7775 cec4b9c1-7d33-0410-9eda-942365e851bb |
1686123f83910af58fba6c996bf7264702b3bc45 |
|
31-Mar-2007 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Imported theorems are marked with '(Th)' for proofs in ProofManagementGUI. Record types Logic.Prover.SenStatus and Common.AS_Annotation.Named were extended by field wasTheorem.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7765 cec4b9c1-7d33-0410-9eda-942365e851bb |
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6de |
|
26-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7350 cec4b9c1-7d33-0410-9eda-942365e851bb |
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added global annos to signature for pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 cec4b9c1-7d33-0410-9eda-942365e851bb |
d48085f765fca838c1d972d2123601997174583d |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed FunType, ProductType and LazyType in favour of TypeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb |
975642b989852fc24119c59cf40bc1af653608ff |
|
11-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned subtypes and their defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5c415f6373274fed04d83b9322891f3b82e9c26 |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed getConstrType to getFunType and used it in OpDecls and TypeCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4770 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b75edd800cef1a3b695f24df39d13f1ceace257 |
|
19-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
proper function type for a definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4708 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
22fc8a1bd14dc53c5c7f482d2e0c04eb5ee4beb4 |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restore old type variables after generalization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4667 cec4b9c1-7d33-0410-9eda-942365e851bb |
11d6ec73ee5550e00cb56b221bdbeb709142e779 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used local type vars instead of type map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4651 cec4b9c1-7d33-0410-9eda-942365e851bb |
36c6cc568751e4235502cfee00ba7b597dae78dc |
|
07-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
major HasCASL redesign (many bugs left)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe5dbb45b6a8abf34375b4bc5f2a81cda664c0e4 |
|
28-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
settled shadowing hints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4523 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfa74d066ea0f00a70276aedecc624c6b3c86dea |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended data type Named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4251 cec4b9c1-7d33-0410-9eda-942365e851bb |
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed PosItem and ShATermConversion instance generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcec1ffa4a95dbc47cf23f75e6843ceff93a925e |
|
28-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated program via let and filtered out wrong equations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3340 cec4b9c1-7d33-0410-9eda-942365e851bb |
369454f9b2dbea113cbb40544a9b0f31425b2c69 |
|
26-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
used local variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3325 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c5b1136299d9052e4e995614a3a36a051a2682f |
|
26-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided output of empty id lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3324 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccf3de3d66b521a260e5c22d335c64a48e3f0195 |
|
22-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalization by using subst instead of repl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3317 cec4b9c1-7d33-0410-9eda-942365e851bb |
aff01ee50b66032469c232e00c945d1fd4f57d1b |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
just moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3278 cec4b9c1-7d33-0410-9eda-942365e851bb |
a94b530fa82bb281caac766a9c0f7b2fcfe7a584 |
|
19-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cosmetics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3272 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f7009c892b16d172314abbba83d663fa0d87a65 |
|
04-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow RHS of an op defn to be a supertype via an as-term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3208 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 |
1e4b0d3eb5ecd867c617914dd7bac972e45a58b9 |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2954 cec4b9c1-7d33-0410-9eda-942365e851bb |
18b709ce961d68328da768318dcc70067f066d86 |
|
16-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed anaOpId
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2950 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14 |
|
14-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
uniquely identified bound variables in type schemes via a negative index corresponding to the position of occurence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2938 cec4b9c1-7d33-0410-9eda-942365e851bb |
93ee71ae78c3b7419930a8e4a06977ac7dbae6d0 |
|
09-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved constraint handling i.e. for lhs patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2933 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 |
dc2ce67f56f9d4507503cc2a24f2646c7f2adf6d |
|
10-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated overloading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2844 cec4b9c1-7d33-0410-9eda-942365e851bb |
715ffaf874309df081d1e1cd8e05073fc1227729 |
|
09-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added selector equations and changed pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2838 cec4b9c1-7d33-0410-9eda-942365e851bb |
62925f4a144f45b5ed1e7c841f891d13f51e553d |
|
08-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
generated definition formula
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2835 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdaff0507c1b7240e2660dbb311f9c4646a6d14a |
|
28-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made program equations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2748 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c67beb3720d0b84d8d71ee2012166a09be81fbd |
|
27-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added program sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2735 cec4b9c1-7d33-0410-9eda-942365e851bb |
25612a7b3ce708909298d5426406592473880a20 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
monomorph and non-monomorph argument types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2721 cec4b9c1-7d33-0410-9eda-942365e851bb |
f40b0cff59f4494c7ca92cdc2528932f9f0cf146 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
better OpDefn output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2711 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca29a7be76eb73944ec19b06eda3d6a9e6e543d |
|
12-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
computed instances of polymorphic ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2583 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 |
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 |
b814fecd0a2dbdeae62402903783d08e4206b4d2 |
|
07-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not use unresolved type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2374 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 |
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 |
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 |
836e72a3c413366ba9801726f3b249c7791cb9ca |
|
04-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
recursive data types and variable treatment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1821 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 |
2f3c4316d3979a76918f0a93206b9dc75d46a1d4 |
|
19-Aug-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included program equations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1669 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 |
0df692ce8b9293499b2e1768458613a63e7b5cd0 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made variables monomorph, improved output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1625 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 |
e8a2ca3a7b3e9a19ef03b6b1c0b5d03dbad6463c |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1580 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1db3d36c29a6324745a86dbcba18b8e4cd9f338 |
|
27-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected type of ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1530 cec4b9c1-7d33-0410-9eda-942365e851bb |
8066eb900ebff680fb7affb582b9c1a1b59152b4 |
|
27-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
considered constructor and target patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1529 cec4b9c1-7d33-0410-9eda-942365e851bb |
34b317241b7401a4b0a90472e73d769d64d69a2a |
|
25-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated lambda terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1524 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 |
f8f78a2c8796a387a4348cc672ae08e8d9f69315 |
|
20-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured and checked types in downsets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1516 cec4b9c1-7d33-0410-9eda-942365e851bb |
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8 |
|
19-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only restructured again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1507 cec4b9c1-7d33-0410-9eda-942365e851bb |
7abd0c58a5ce51db13f93de82407b2188d55d298 |
|
18-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only used simple state monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1505 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcfed328fae6266214ee61ee7a16fd263fd3cb70 |
|
12-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
specialized pattern variables and checked for unknown tokens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1497 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5 |
|
10-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured/complicated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1489 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b0a4c7dea0f67a233dcc42ce9bb18d36de109ae |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved global annotations out of environment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1471 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf58a323fcb5c4185c3aa378713bbee3bba18c0a |
|
02-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added tuple handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1309 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf5149eb4d0faef6272231879c04aa740f5abc2b |
|
30-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved toEnvState from OpDecls.hs to Unify.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1300 cec4b9c1-7d33-0410-9eda-942365e851bb |
14b47f7dabb39996a31c7286810a5897587aed3a |
|
28-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed printing and resolution of terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1279 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a648682ccaa8ef63583548c3edb01c6542d7885 |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed testing via RunParsers.hs (now in Common/)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1267 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb50920e621bfc152c19147cb52077ff06b3526b |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added datatype analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1266 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1cfb321b3fe81f4e298cc3cfcfc8e22d965d646 |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added uniqueness checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1265 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added data type analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1263 cec4b9c1-7d33-0410-9eda-942365e851bb |
afd5e708b7f4dad2b363ad99f5259c9961ea82af |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code to change dependencies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1261 cec4b9c1-7d33-0410-9eda-942365e851bb |
eee1316a9384b10682c998bd4b62b4a5ca2ce820 |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Reader Monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1249 cec4b9c1-7d33-0410-9eda-942365e851bb |
23f8d286586ff38a9e73052b2c7c04c62c5c638f |
|
11-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured with a Reader
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1242 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5699d97a9e2b4496f98d624f4b0a537986651c3 |
|
01-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1174 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 |
f626b1acbe874a48143a6f8d6246bf9d7a055ffb |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added op declarations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1069 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 |
628310b42327ad76ce471caf0dde6563d6fa6307 |
|
04-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OpInfo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1048 cec4b9c1-7d33-0410-9eda-942365e851bb |
7feac39f792f587cffdc8b63b0e7c5a7d2de292e |
|
03-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1038 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 |
f71a8dcf94fd9eb3c9800e16dcdc5e5ff74e5c22 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced FiniteMap with Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@997 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 |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
c73ff014326a48d64434301227d550355fd8f722 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for different type vars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@933 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa45d098e1c9d468f128be9505eb7e5b2705b304 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checking kinds of vars and ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@915 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 |
f3cd81f98592d1dbf301f48af31677a6a0cc666a |
|
30-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for ho kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@801 cec4b9c1-7d33-0410-9eda-942365e851bb |