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 |
42e78fd3454812d4f98b06154fdabc5ec3488718 |
|
29-Feb-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of intersections |
8c7aa750542dcadb94b971be712564a9a8f1d189 |
|
10-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed join to avoid future clash with prelude name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18572 cec4b9c1-7d33-0410-9eda-942365e851bb |
834b3148bd0b947226a10a04aa7a69ec08a33a6f |
|
20-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to shortcut unions #1233
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18412 cec4b9c1-7d33-0410-9eda-942365e851bb |
58a5b09911d49b7a1884279e1949913301214e2d |
|
22-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
invalidating proofs is now based on changed or removed axioms.
These must no longer appear within the used axioms field.
Earlier all used axiom were required to be unchanged, but
some used axioms come from translated theories and could not
be located.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17894 cec4b9c1-7d33-0410-9eda-942365e851bb |
24b73bd36e67484ef233977bab1d0a5e5c322383 |
|
26-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
better recompute local theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17814 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
232612893bf5b1832ab4ef6dd120714b0a29d131 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared serialisation of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17250 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9d72d6055f5c9440ca08ff6f0d8b8fcd06406b1 |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
print whole theory at once
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17245 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb1375e6805fbe42b931c54dcc37674193443267 |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow grouping of axioms as frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17244 cec4b9c1-7d33-0410-9eda-942365e851bb |
da70ffed52398a813bd3393c2f0b502d0621e564 |
|
28-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added blank line in theory output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16991 cec4b9c1-7d33-0410-9eda-942365e851bb |
e46d78f7c6324ed9f1a191d46b6e5732e61e1835 |
|
25-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changeover to reveal hidden symbols for nodes via ToXml. Hidden symbols are now stored in DGOrigin using the DGRestriction Case. Also, DGLocal has been replaced with DGRestriction in AnalysisStructured for Local_Spec.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15310 cec4b9c1-7d33-0410-9eda-942365e851bb |
56fff66327d752cbde786a12092392e50c4c200e |
|
23-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added function to delete hidden symbols from a signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15270 cec4b9c1-7d33-0410-9eda-942365e851bb |
8df276746188be58a796c5dc8d1a62853ec4636a |
|
07-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14871 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d10e93f6c8a8467cc8f8bdcbacf228600cca856 |
|
07-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended extendByBasicSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14869 cec4b9c1-7d33-0410-9eda-942365e851bb |
a669e4685b32ff5ca1bca785eacc5e30a545b010 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added optional target signature to static analysis of symbol map items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14791 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdcec8ddc55a501a984e020c10f1b2893ad66cd5 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14790 cec4b9c1-7d33-0410-9eda-942365e851bb |
c34bad6f8c4fda5454397900830bbbb15a05117a |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute the gmorphism for dg-xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14787 cec4b9c1-7d33-0410-9eda-942365e851bb |
f87d192131b457f626debfbb82e0faf2a35a6690 |
|
23-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added morphism reconstruction for xml reading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14783 cec4b9c1-7d33-0410-9eda-942365e851bb |
42f1d2869c4f8bd58cee82d69e93fd3be5776c44 |
|
23-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for the empty string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14782 cec4b9c1-7d33-0410-9eda-942365e851bb |
216d63b084afb57f41a4a299fc560304fa77f877 |
|
03-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to invalidate proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14472 cec4b9c1-7d33-0410-9eda-942365e851bb |
5275f013db52ff487795b71ee4dcc9268f62e574 |
|
28-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored abstract proof state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14445 cec4b9c1-7d33-0410-9eda-942365e851bb |
e58bbdc36ed83ad344b96835b5b27d73e1f03085 |
|
14-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
also make sure to not delete sentences from the local theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14380 cec4b9c1-7d33-0410-9eda-942365e851bb |
1edd3551c8c630a6922b95d8caa1dfcf57a0c5b7 |
|
13-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not move the global theory into the local one by proving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14379 cec4b9c1-7d33-0410-9eda-942365e851bb |
7822965dbea4ee56c6a7a49b72a60fe56fd5666e |
|
13-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep names of first sentences #891
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14378 cec4b9c1-7d33-0410-9eda-942365e851bb |
50dc4ddf772893ad09019b3b39d2e4feb8486638 |
|
22-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
reuse extendByBasicSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14086 cec4b9c1-7d33-0410-9eda-942365e851bb |
54f4bbc513af9158c0a1dfbe44a27439fe8b80dd |
|
22-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted and scanned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14084 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf324307d7080627263f952cc7bbf1e920005690 |
|
22-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented adding a symbol
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14083 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 |
96a5ae8bd518b87bbc90f29ce4285450b3b9411c |
|
06-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
also propagate timeout information
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13684 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a77240a809197c92c0736c431b4b88947a7bac1 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some LANGUAGE pragmas for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e54c6f37bf16c22e5af5335694e44a04b26a6af |
|
08-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved failure message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13043 cec4b9c1-7d33-0410-9eda-942365e851bb |
60b49cb5d016f83bdc3c82adb9be1428c6237140 |
|
14-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also mark local sentences as proven that are axioms or proven by the global theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12926 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b5c2cc0f6b243364e5b54c51c4649a68051e143 |
|
27-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly mark sentences as proven in the GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12862 cec4b9c1-7d33-0410-9eda-942365e851bb |
5324a88f615181ffd906f9c094f41c434967af86 |
|
27-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also exploit other proven sentences for identity proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12859 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8314b65330fccf19838b273d1612b2a846beade |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly mark goals proven after local inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12857 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef9e8535c168d3f774d9e74368a2317a9eda5826 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ATerm library to separate directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12107 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8b136f23ed57d40ee617f49bcac37830b58cab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Binary stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb |
18de8303d920c928b56f4c887dcb589db941f500 |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use newtype deriving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12081 cec4b9c1-7d33-0410-9eda-942365e851bb |
3aad1a996180e6888430cbdf5b1272a14fa89c16 |
|
06-Jul-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added amalgamability check for heterogeneous diagrams, homogeneous case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11881 cec4b9c1-7d33-0410-9eda-942365e851bb |
453901d7ab77307fdb3ccae9bf19ed44802c6e44 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
create new theory index
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11180 cec4b9c1-7d33-0410-9eda-942365e851bb |
07baaf27fc0029203075ed916999006dcc619ef0 |
|
25-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed coercion for Proof_status
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10740 cec4b9c1-7d33-0410-9eda-942365e851bb |
c43270ad64272b1509c4c29645136c269dae7c9e |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added print_sign method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10636 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb2d1be63cb09870640315f2aa4632dcad2c6360 |
|
03-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9873 cec4b9c1-7d33-0410-9eda-942365e851bb |
22f975b89b9c0934a8bc62aa328809e1cbb2a203 |
|
03-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
print sublogic together with theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9872 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
12368e292c1abf7eaf975f20ee30ef7820ac5dd5 |
|
10-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced differently typed index maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9730 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9e0b18852b238ddb649d341194e05d7200d1bbe |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended signatures are already needed during logic specific static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb |
37921e16da8049c402fdba1fd697304d4de1517a |
|
25-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
assertion failed for extended signs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9083 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7b5c0df35a6c913170d892bb601298bc141b824 |
|
23-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived Typeable, cleaned up parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9074 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bc5dccbf0083a620ae1181c717fea75e4af5e5c |
|
18-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb |
17d4f8c5576d93f36cafe68161cdb960ec49ce7c |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ref info deeper into the node label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9009 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 |
68744e8ea95b6a93f57097f2912c6d16d3745809 |
|
17-Aug-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8638 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e1709b00329db7fc8d2e9e97ba92eef098c0584 |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
documented indices, tickets #2 and #429
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8623 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d0480a60b409d9cf256d0a6c411dd99c672124 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Logic.Prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8621 cec4b9c1-7d33-0410-9eda-942365e851bb |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb |