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 |
c0b7a54447004864480a70752e2b3deca8e8be2e |
|
08-Dec-2015 |
cmaeder <c.maeder@jacobs-university.de> |
share more code |
88298b2d02b59d7be6b74bbe6bb91b1587b8694c |
|
08-Dec-2015 |
cmaeder <c.maeder@jacobs-university.de> |
keep definition next to signature |
3c39e5cbfd4e6d547e2f7a9505a5d39c32118186 |
|
08-Dec-2015 |
cmaeder <c.maeder@jacobs-university.de> |
support glade with ghc-7.10 |
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 |
9db2bd64088c7e5935b94dd9c3ad5cdc24f48814 |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from Prelude.catch to Control.Exception
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17075 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd7a2fc63d0e407ea196ddd2edbcfbabdde85571 |
|
22-Mar-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16740 cec4b9c1-7d33-0410-9eda-942365e851bb |
aac93a690af05bd44beaea0d33bea1039fe508ae |
|
22-Mar-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
moved datatype Goal to Common for import in PGIP/Server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16739 cec4b9c1-7d33-0410-9eda-942365e851bb |
68265c7c7d365ad27229aee7c195147ebb869f92 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added yet unused escape markup function and removed shortenLabel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15882 cec4b9c1-7d33-0410-9eda-942365e851bb |
aede322d26da3a9ad44ab07e7fde31dfe1f1fa7c |
|
14-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix #919 for ghc-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14915 cec4b9c1-7d33-0410-9eda-942365e851bb |
f49133c353b08d291ac14c90a52cf6c71823ca2a |
|
28-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14446 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd2a4ba9df881cb46dd4de41b6d47a7777bcb662 |
|
14-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed RankNTypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14381 cec4b9c1-7d33-0410-9eda-942365e851bb |
05b472b047103914271b30fd86d9218144ef4430 |
|
10-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused displayTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14359 cec4b9c1-7d33-0410-9eda-942365e851bb |
6842db903edc81c887da002342153795124d9bac |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use getTempFile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13968 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 |
610e0e84ed0edeed51cc4cb3bb769e30ea723578 |
|
09-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out open and writing temp files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13703 cec4b9c1-7d33-0410-9eda-942365e851bb |
4eefa68fee720a9e28cec9f7e664f0d4f68c4114 |
|
28-Jun-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
results are written back into DGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13645 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea278dc19e28a181ea167701a3c3c8583f8b0e26 |
|
07-Jun-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
exported statusToColor etc for GtkAutomaticProofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13530 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 |
4aceef84194986a2585642b298d88067358e605a |
|
26-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
make it compile with gtk-0.11.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13437 cec4b9c1-7d33-0410-9eda-942365e851bb |
ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708 |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed semicolons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13197 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7cba0736abf118211d73ffeabf9cad6a955a080 |
|
22-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some ghc-6.12.1 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13000 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c0665d6722cdaf37ea30c49fd2b775bf3987025 |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not write instances for standard classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12904 cec4b9c1-7d33-0410-9eda-942365e851bb |
146b9183c9d8b8aa3372571490d4e6881ac28c1a |
|
04-Dec-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed 'goal not found' bug.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12895 cec4b9c1-7d33-0410-9eda-942365e851bb |
a18015595fd0b82e9315287abf98a9590f18522d |
|
03-Dec-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
filtered nodes with empty theory. these nodes are shown in result window as consistent but are not availible as goal. added timeout function to inferbasic for checkers without own timeout handling.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12891 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7b9d64160c23654b7288a3b0ee3e2b95af3e752 |
|
15-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed deadlock bug in GtkProverGUI. removed GUIMVar from GInfo, because it is not needed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12836 cec4b9c1-7d33-0410-9eda-942365e851bb |
b51556907369076db8ceb5199a1c5be5a2e122b7 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed bug with invert. consistency checker tries to select previously selected finder and comorphism if node selection changed. same behavior added to results view.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12834 cec4b9c1-7d33-0410-9eda-942365e851bb |
d56ece59c372cb887355825901222b9f3377f7e6 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Gtk consistency checker was broken, fixed. removed all warnings from building hets with and without Gtk and or HTk. fixed bugs from my last commit when building without Gtk and or HTk. One bug still remaining in consistency checker when pressing invert, i am trying to fix it now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12833 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbd5da92be2bc4a8afcaa21980a5f59831037171 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Removed possibility to pass action function to dialogs. no need for different ways of handling response.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12830 cec4b9c1-7d33-0410-9eda-942365e851bb |
a335fec441de2b53d03d3cb0ef3b19ca3604c758 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
'Reload Library' and 'Translate Graph' was broken. All GUI modules are now hlinted.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12829 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f1781ab0a0a58328ef9d1ad8bda1984fd80259d |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use two states proved consistent or inconsistent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12816 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b7b6d4f20b0a9d0efe342b135686224c726a129 |
|
09-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed bug in prover gui. selection with shift or control key and mouse did not work.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12812 cec4b9c1-7d33-0410-9eda-942365e851bb |
92d79cd0ad22cf74b345e1381d806ffc364d9ea1 |
|
09-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
GtkProverGUI is woking now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12808 cec4b9c1-7d33-0410-9eda-942365e851bb |
1468136df5b66f8e94b60d3b1c00b245d40c4de0 |
|
04-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
changed selection mode of list for gtk. removed old files. implemented gtk prover gui, is working now, but still has some bugs (interactive test 3 is not working). added some datatypes for prover windows to gtk utils.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12779 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a09bb0d66c5be017e8eefeeea31ead5829ab202 |
|
29-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a Gtk version of the generic prover gui. GenericATP.hs moved to HTkGenericATP.hs. Stop is now workin in ConsistencyChecker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12754 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7f4a6ff1152bff4eb0025eb70cfb2d96b55d4d8 |
|
13-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Splitted all functions in GtkUtils. Function supposed to be called from outside of the gtk thread have a Ext postfix, functions supposed to be called from within the gtk thread have no postfix. Reduced the use of forks and postGUI calls in consistency checker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12634 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad684346bab5b37c0ae52a474d3332142bc21db6 |
|
23-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
added color to node list to indicate status of node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12488 cec4b9c1-7d33-0410-9eda-942365e851bb |
82f26566be786b8ed09a2312c2ad46153d264646 |
|
22-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a window for showing the results of the consistency check. fixed a bug with the link type choice.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12480 cec4b9c1-7d33-0410-9eda-942365e851bb |
e712adb726cd173bb9414d7e579f451032ce6846 |
|
15-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a more generic version of listChoice, named listChoiceAux. listChoice is using this now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12466 cec4b9c1-7d33-0410-9eda-942365e851bb |
32d98ca5e560cf6c1062a0463be4c350af32bed5 |
|
11-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
GtkConsistencyChecker can now start and stop consistency checker. stop will wait until a actual chekcer finished. needs to be fixed later. a progress bar showing status while checking. a pulse bar added for updating sublogic, still takes too long. checkt a lot of gui modules with hlint and meet the suggestions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12462 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c4cc09642696141694f9c3f1f2838f6c0b184a0 |
|
10-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
added more functionality to consistancy checker gui. node and finder selection is now working.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12454 cec4b9c1-7d33-0410-9eda-942365e851bb |
109cb02c75651eef18995ac0074c18be60a0f2e9 |
|
31-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
(hopefully) fixed bug with progress bar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12367 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e2c6baa4352577819386beb3a21d7c247eab52c |
|
31-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added progress bar dialog.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12366 cec4b9c1-7d33-0410-9eda-942365e851bb |
b70aa06df02d646ee391a984d69f6072711e60f4 |
|
17-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
more functionality added to gtk prover gui
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12156 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f31d51d47da96200437dd3af1d785cd88a46f71 |
|
13-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
added skeleton for a gtk version of the prover window.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12116 cec4b9c1-7d33-0410-9eda-942365e851bb |
334cfff54edf14ec98e2bcda86ff6aa197b56931 |
|
07-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid the Haskell98 package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12042 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e005cc58e76e035b15be6894cfa76df71c894e0 |
|
02-Feb-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Maybe fixed bug #661.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11348 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4e6fb26100f53e3b1e9f5b97c2e0a0c129294e5 |
|
15-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11264 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1066b8fb69179973dcab47154858d77e72760a7 |
|
01-Dec-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All message dialogs are now provided by GUI.Utils. Changes all modules to use the windows from GUI.Utils. And hopefully fixed Gtk Error in FileDialogs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11136 cec4b9c1-7d33-0410-9eda-942365e851bb |
40b73e7d13a858afeac95321fcdb9ac216bfbf01 |
|
26-Nov-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fixed bug #621 and also fixed a bug that causes unlocking of node while provewindow is open. Also provewindows are no longer blocking hets while opened.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11093 cec4b9c1-7d33-0410-9eda-942365e851bb |
83a7bd486aebe63052a8982611dd38a7d150a10a |
|
20-Nov-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changed font for textView to FreeMono, truthtables look nice again.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11046 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d5a98151ab70b47e74b9280fb0b8c0605bc5fd1 |
|
20-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
MessageOther does not always exist
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11040 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b01b265715d725c17d51619d297bbb97f37d1b5 |
|
19-Nov-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All GUIs provided by GUI.HTkUtils are now provided by GUI.GtkUtils too. Access is provided by GUI.Utils, if gtk2hs is available GUI.GtkUtils is used else GUI.HTkUtils. All Modules which used GUI.HTkUtils directly are now using GUI.Utils instead.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11034 cec4b9c1-7d33-0410-9eda-942365e851bb |
c26df217d2dd76d818757381e9fa6fe95191ed27 |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added final newline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10844 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ee9c3b2afb91936242d34ebb8bd370b8080bcd9 |
|
07-Sep-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added better GTK/Glade support. Fixed problems with multithreading, a thread for the gtk main loop is created at startup and all gtk interaction takes place inside that thread. Added rules to Makefile to convert glade files into hs files where the xml data is stored in a string. Added function to store xmldata into a temporary file to load it with glade. Added a gui for the constistency checker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10662 cec4b9c1-7d33-0410-9eda-942365e851bb |