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 |
588e7653cf4cd4a5175739e0310013d7ba130b8c |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
use operators +, -, * provided by class num
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17136 cec4b9c1-7d33-0410-9eda-942365e851bb |
16557bec6cec1ee2c3c4da15a4e8fdadf0b7e7f0 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
do not show types in recursive function definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17135 cec4b9c1-7d33-0410-9eda-942365e851bb |
7db0ad652a4c848b9fd50886120ca44aca2b4504 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed typing of mutually recursive functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17134 cec4b9c1-7d33-0410-9eda-942365e851bb |
488aed6214197096d0e23c9bbd614263b11a543b |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
do not create specialized definitions for eqH, neqH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17133 cec4b9c1-7d33-0410-9eda-942365e851bb |
50ec2512ec38a3a0c793c65583e60ef12beaae33 |
|
04-Jul-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
eliminated RecDef as its use resulted in invalid isabelle 2012 code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17008 cec4b9c1-7d33-0410-9eda-942365e851bb |
8faa2ce1505dcc975c0006f5ec96e641745139bf |
|
12-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16911 cec4b9c1-7d33-0410-9eda-942365e851bb |
de1d35db8b6c151be59cd92fc69d19bde8686115 |
|
12-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed typo to make it compile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16908 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b589365656ed3c6ea9880383c2568238f0b1b66 |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted to changes in IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16902 cec4b9c1-7d33-0410-9eda-942365e851bb |
989ba1f28e0846635a9f098bebbfbdfa9b1c5ed0 |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed warnings regarding unmatched pattern TVar _ _
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16780 cec4b9c1-7d33-0410-9eda-942365e851bb |
566d6a1a29233cfc27c489b14fd2b3ce6ce3ec9f |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15890 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4655008a003ed9717ba0bb0d7022e166006fca0 |
|
02-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to clean and speed up removing duplicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14468 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e603e36c535a7f0c7a6fe1c3f3b5768ab50853b |
|
02-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly top sort Isabelle domain tables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14467 cec4b9c1-7d33-0410-9eda-942365e851bb |
91084541005fb26556f5dfcda3592cbd7168c351 |
|
01-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
indexed type variables are not used
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14465 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13493 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 |
8b66de47c89e252c907c8ed3a5ccd16dbccbfb3e |
|
27-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored using Common.Utils.number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12314 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c0f4f958da0fe26f006c2b867a528aa03e5ae6b |
|
05-Nov-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
debugged mutual recursion and type names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9140 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f8320f50c5f63965ba42e4e48f38be07c823cf |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing white space using: perl -i -ple 's/ +$_g' */*.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9131 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1d60ea30abf7e3f514e748a07203d9f336391ea |
|
01-Nov-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
removed bugs in class translation; fixed translation to HOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9125 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f104ed041e3b022c8bb0f468e41689635faf9ac |
|
27-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8948 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
49c972a61797bb7e9aeeaa6a7ca393b074c3b5f0 |
|
09-Sep-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
massive changes, focus on HOLCF, shift to lifted types, revised translation for classes - not very stable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8815 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fd8f2cd4cad1d0f623a50c7f01bda4335f4935b |
|
20-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
added translation of constants and of type synonims
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8427 cec4b9c1-7d33-0410-9eda-942365e851bb |
d7932c7a4f283f6c339ee4e2cec97840ad6b6735 |
|
28-May-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
changes to fixPoint about mutually recursive functions in HOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7943 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c0d563264ca2179de75ad9556414ce62f42759a |
|
25-May-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
Main changes to fixPoint - fixed bug with mutual recursion in HOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7938 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 |
f358d354ac654d5682743dde5285a4b57af8aa16 |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected NamedSen usages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7772 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
eea4921dafc41c1e2ed3782a9cdc1a2482b79efb |
|
23-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary Isabelle term constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7094 cec4b9c1-7d33-0410-9eda-942365e851bb |
29379037d0a2fc17c96c49bd343a3f276a5b34a6 |
|
02-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed termType of Free and Abs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6998 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c2fd9bc119be84f806ed173fea6a5661870fe60 |
|
19-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
corrected HOL type annotation of recursive functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6948 cec4b9c1-7d33-0410-9eda-942365e851bb |
5109958689fd75b0a42c81e615ee7b270d07bf00 |
|
17-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up a bit more
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6836 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5c2cf554caecbeefd0219a8a085329f8fbde094 |
|
17-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added export list, removed warnings and unused code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6833 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b827e8e9d6a1196ffaf263dcc991779e5f9c0e9 |
|
29-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6397 cec4b9c1-7d33-0410-9eda-942365e851bb |
0269705b5e3283ed14c3fa76788674f634d1f1b4 |
|
20-Apr-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
changed translation of Eq class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6225 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce40e0e7e4e620ae338d9cb1498d9289a17e7132 |
|
23-Mar-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
do notation and minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6100 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ee5a3aa8d9977924c4f8d0da6de62a232be52dc |
|
18-Dec-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
case expressions handling improved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5540 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce2b32870d20c444248935aa1ac5317faec2a654 |
|
15-Dec-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
cleaned up a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5521 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc733f0a76607ee9bba69e5d40784b49c83d7a00 |
|
30-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used proper VName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5475 cec4b9c1-7d33-0410-9eda-942365e851bb |
8aa7394a1d48cd7c0398ed3b734d148f6f2ea7fc |
|
30-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
Paolo's addition for HOL (NotCont)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5472 cec4b9c1-7d33-0410-9eda-942365e851bb |
62dd3cd58cda003c32ac69ff12dc82b0a6f5d9d3 |
|
26-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up pretty printing of types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5267 cec4b9c1-7d33-0410-9eda-942365e851bb |
14a3cc9512ab27e1f59f01cc23f7d9f97e2e1c4c |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed type synonyms IName, Indexname and CName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5241 cec4b9c1-7d33-0410-9eda-942365e851bb |
13ed13e06a5dd4aad12044ed7e7503cbe7f62990 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged in Tina's branch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5216 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f47ba5a7151e73f2540d01492b83f7e34605730 |
|
05-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
Paolo's update
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5125 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 |
877dc5b504cce93444f1a85120279f4938e8c5f6 |
|
05-Jul-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
lists and case list patterns added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4556 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ebe3aaf5fa9d4e108a8acbf9fc9d96343a2511 |
|
27-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed for haddock resp. make doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4509 cec4b9c1-7d33-0410-9eda-942365e851bb |
8068f3f49b39b3df074d92823c84be73b125c50a |
|
24-Jun-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
auxiliary functions for Haskell->HOLCF translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4498 cec4b9c1-7d33-0410-9eda-942365e851bb |