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 |
0fb1cdb3c2beb68346fdf420c2903a4285f990ea |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
corrected Propositional pretty printing |
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 |
97c9d39efee30883aa578294c46506ff8a9478c8 |
|
16-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved combine to Utils and implemented propositional CNF computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11801 cec4b9c1-7d33-0410-9eda-942365e851bb |
ffb6099205b26594acf25e64efd338cee362a659 |
|
24-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed order of formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11748 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad772a9e1c0a951a5fa508a3a3ec35e3fda2aec2 |
|
22-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced folding and based simplify on it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11745 cec4b9c1-7d33-0410-9eda-942365e851bb |
3519b5ffec1455664eabfe9c36b8b4c08b42081a |
|
22-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification and bracket conjunctions within disjunctions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11743 cec4b9c1-7d33-0410-9eda-942365e851bb |
6329255607e98810295820b38098229a5ddc5d3b |
|
22-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11742 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 |
7a4685f6f0678ef58ace46d58357035551fdd98b |
|
30-Oct-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed garbage options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9105 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 |
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 |
9eb6a481980d81a55898ba418fba72fc3c09d8c8 |
|
04-Jun-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Changed descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7971 cec4b9c1-7d33-0410-9eda-942365e851bb |
548f3850942936a8c6021185c8391dfcd3b03018 |
|
05-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Improved propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7604 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0d31c8d6d8ded93c599cbfa9ebc72a2bf1b0a55 |
|
27-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
tada:) you can see and parse propositional logic...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7560 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d677cafe64269a9c961396b85b5b50c126f58d8 |
|
27-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
parser for propositional is hopefully complete
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7559 cec4b9c1-7d33-0410-9eda-942365e851bb |
a785627ef4d2e3c73d9e5b8f7352fc859b85dd2b |
|
26-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
prop parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7553 cec4b9c1-7d33-0410-9eda-942365e851bb |
85f112f807210b70172aab985810a37dc6a85eb3 |
|
26-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added parser stub for prop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7546 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b6e542715e576ffbf6ae13634c85f3445036e77 |
|
23-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added instance of syntax... + some prerequisites
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7533 cec4b9c1-7d33-0410-9eda-942365e851bb |
b694e4b3f771a2f32042c9c505dd698bde969558 |
|
23-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
qualified imports in Propositional... added functions for Symbols/Symbol maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7531 cec4b9c1-7d33-0410-9eda-942365e851bb |
16bc530c07001430b6c569bbc5f49e63de3bd4fa |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Removed superfluous file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7494 cec4b9c1-7d33-0410-9eda-942365e851bb |
59917a4f0a6a20f5a20bcab1f2a0a0774db56807 |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added pretty printing for Propositional, hope it is not too ugly :P
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7488 cec4b9c1-7d33-0410-9eda-942365e851bb |
2af38fde95f93562f2124ec615fba0e509c8202e |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Fixed haddock issue
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7469 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcac596b16bb10f475066c323b9b1ca44db2b755 |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added skeleton of an instance of sentences for propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7464 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf04ba46b9eb495d334466e24e082e391055ca7b |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Refined propositional, better comments, more code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7460 cec4b9c1-7d33-0410-9eda-942365e851bb |
1fb884d0af74a8b911f5de1cf2b68e33676c088b |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added abstract syntax for propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7459 cec4b9c1-7d33-0410-9eda-942365e851bb |