dce9807ffe25e6ee055869248bcb85ba9dcaa026 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for QBF |
602041e384342ea908c976a298e8b47774d3500c |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
improved descriptions of logics |
cdcf5d3f1e79d8798d77efa29e6193af94ea0604 |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
adjusted stabilities |
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 |
e24ad3f655daa60ddabe690e4b11de3187996c16 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
moved the IO availability test into the prover and checker records |
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 |
a65c6747c9acbbebc93baba7bae94d2e3d8cdafb |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added symbol parser, for use in correspondences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb |
e16b3696b2c173aac14200321868ed81b8f7dc69 |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Monoid instances to basic specs of all logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17269 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 |
80d2ec8f37d5ddec13c14b17b1bab01e9c94630a |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass source signature to static symbol analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14745 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 |
83dc3a0da4ad93a781b264160c905f057eedb4c8 |
|
03-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed svn:executable property
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13815 cec4b9c1-7d33-0410-9eda-942365e851bb |
c56a356d3fcc5e123efa790aab320781d94df3c7 |
|
23-Jul-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added DepQBF prover to QBF logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13752 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 |
39ca3856e10a0fe78a15d80adfef76cc308d4da6 |
|
27-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused LANGUAGE CPP pragma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13449 cec4b9c1-7d33-0410-9eda-942365e851bb |
6820f0de92751e29d73d64db48e776591f529a76 |
|
26-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
make it go through haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13438 cec4b9c1-7d33-0410-9eda-942365e851bb |
d71447e45047d07006b4c20409fbd8ea287df01f |
|
25-May-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
misc changes for comorphisms from and to propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13435 cec4b9c1-7d33-0410-9eda-942365e851bb |
ece3b1a5353a9af3c966a1d5453594ed35334f7b |
|
25-May-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hlinted code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13434 cec4b9c1-7d33-0410-9eda-942365e851bb |
b35e053c2c5a5ea0f13decfd0303894861d82b4d |
|
20-Apr-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
modified attributes of files in QBF/
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13366 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 |
|
16-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a3fe82695aa32657693e05712f84d7f81672f2e |
|
15-Apr-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added new logic QBF (propositional logic extended with quantified binary formulas)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13346 cec4b9c1-7d33-0410-9eda-942365e851bb |