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 |
5eed787fb396447a8fb1ef4758920f1775341b56 |
|
22-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
warning removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15998 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2e01ef1b5d4c7a62260eb792291e8e1b10e545b |
|
22-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
methods for newcomorphism analysis added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15990 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cb6df4f21c52732336579a79f7e5d28299b3500 |
|
16-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
morphism parser added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c0bf20712a0f21aaedc0a9a9c8376bc1e90e799 |
|
17-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Added namespace flags for analyzing either latin or hets files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14563 cec4b9c1-7d33-0410-9eda-942365e851bb |
22ade8eac560459be401bb34c010f0a981ec02bd |
|
17-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Changed library names to be relative to LATIN_LIB
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14562 cec4b9c1-7d33-0410-9eda-942365e851bb |
168d206b4e5fd436c98239a1b6629c651f54c8ee |
|
16-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Added spec translations and revealing for LF and object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14547 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3bacd257ffcdd346b70ab690f03b28ad5f33fdc |
|
15-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented generated, cogenerated sigs, and sig intersections for LF
and object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14538 cec4b9c1-7d33-0410-9eda-942365e851bb |
abd5fc85dc7e19b1614890182436940e922963a4 |
|
14-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Finished implementing views for object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14526 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3bb5152a0940e91c4daf9716462c1049ccaa24b |
|
10-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Changed equality for signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14511 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e35940c3516ccea02caa0450d2b075de0106fa5 |
|
09-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented signature extensions for LF and its object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14506 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2786879b4733fd4886a5b654f7c6de1d234f638 |
|
21-Jan-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented signature unions for LF and user-defined logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14406 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 |
e8dd447a2aa5fbac10668749dfe4142c05ec3d7d |
|
27-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added static analysis for LF
Refactored LF/Twelf2DG.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13634 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1b542512e0b8efce35e71d7bc055ee91038f2ee |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Finished analysis of used-defined logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13633 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1ed8902070833efd4b3b139bbc7ec0f331c7155 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Moved the LogicFram class to Logic.Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13632 cec4b9c1-7d33-0410-9eda-942365e851bb |
0833beb79f31e71a77e39dabdf37b2e77b8525d7 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13630 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccaa75089b23c0f043cdbd4001cba4e076ca4fd3 |
|
24-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added analysis of user-defined logics.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13627 cec4b9c1-7d33-0410-9eda-942365e851bb |