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 |
9175e29c044318498a40f323f189f9dfd50378ef |
|
25-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
let hets run without file arguments #1123
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17809 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c63d93fc2f645f28019c0eaf75d8dd61a7b56cd |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14307 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb |
45230ff5d4619469c8bfacb60597c5dbc83d7f4f |
|
01-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14104 cec4b9c1-7d33-0410-9eda-942365e851bb |
04391313ab10a1fd428d8f23188a2adf77c80611 |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
pulseBar in applyChanges blocks if called from GTK
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14017 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 |
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 |
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 |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 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 |
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 |
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 |
d7aa4e1cbe00f7f3add4da911673b3b176b140c3 |
|
16-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
updating and redisplaying is now always done by updateGraph. all functions are using updateGraph now, this avoids duplicate code in these functions. deleted functions which are not needed anymore. removed performproofaction because function didn't do anything except printing two messages, output moved to updateGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11951 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c83d2b44b0451d099f97c57274684f1a92fe850 |
|
15-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
proven nodes with open cons are now yellow. fixed a bug, compressed edges were not gray in uncolored mode.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11948 cec4b9c1-7d33-0410-9eda-942365e851bb |
92e96be605537638d75e9d3023ab698bd89cf889 |
|
14-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fixed bug with expand menu. Fixed bug in hiding newly added proven thm edges.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11914 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea76e25262c3325f293fbdd6560f180ca18f9be4 |
|
17-Jun-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed #708 and #705
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11807 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa21e7aa42fef563dea0cc77edbde76f66cdbe88 |
|
16-Jun-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
applyChanges can now handle a list of edges to hide too. convert replaced with applyChanges by providing a function to convert a new dgraph to a list of dgchange. hideNodes is not applied after first creation of graph anymore, it will be done in one step by applyChanges. added a option record to ginfo to store if nodes or edges should be hidden or not. all graph updates are using this option. on newly created graph, proven nodes and proven edges are hidden by default. renamed some menuentries and moved entry for hidin edges to the submenu for nodes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11799 cec4b9c1-7d33-0410-9eda-942365e851bb |
d71a37fb09bce02af6c98e7a5ab0aa5639058e4f |
|
11-Jun-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
restructured applychanges. Fixed bug #697 and #646
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11792 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e1dba9ec0cea322f52b27976f84a1b2564e63c6 |
|
27-May-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Filter for multipe node type changes added. Just the last change will be transfered to uDrawGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11773 cec4b9c1-7d33-0410-9eda-942365e851bb |
370e81d7af7821f0ac6ee0643613e87a727841e7 |
|
27-May-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Made a new applyChanges, which now combines show, hide, delete and add nodes and edges. It greatly improves the speed of the updating process. Hopefully it reduces the bugs with uDrawGraph, when uDrawGraph was not ready and already got new commands. Could not reproduce bug #646 anymore.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11772 cec4b9c1-7d33-0410-9eda-942365e851bb |
c79a18eb0de8028d1fec662677d4903bdb76e13d |
|
18-May-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
refactored GUI.GraphAbstraction. Got rid of IORef, just exported functions are using the GraphInfo IORef structure. Also moved convert from GUI.GraphLogic to GUI.GraphAbstraction.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11765 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b8b26a22f136a9b2a8e99d655f6fe6b0b96008c |
|
11-May-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
refactored gui change propagationn also moved applyChanges to GraphAbstraction. see #691
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11764 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use uni with hierarchical modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4d2b5aa46d4418f1f5108543ba23af394669a85 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up close menus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11609 cec4b9c1-7d33-0410-9eda-942365e851bb |
3948b3efccdd643436e1f83b54d2ef8a2e342eed |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made it compile with old uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11571 cec4b9c1-7d33-0410-9eda-942365e851bb |
49465113b42cf2bba90758e9e0d4ad15a4c40259 |
|
24-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Exiting UDrawGraph and all open windows, when all developement graph and library graph windows are closed. uses new function from uni, so a uni must be updated first. fixes ticked #674
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11570 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1aa6397c61f265e6339086804c8099a190faf5d |
|
05-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
destroy window instead of closing it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11488 cec4b9c1-7d33-0410-9eda-942365e851bb |
c745add71930134bc085a544783213179bd3e734 |
|
04-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
First changes for a new reload. Not working yet.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11481 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9f20cf968e246ec283f0c09f60af4b47b174398 |
|
21-Feb-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
There is now a new menu entry for hiding all new proven edges. see #641
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11420 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e3efd4ce838940032e875e6d08712a177c9c1d0 |
|
21-Feb-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Compressed edges have the original color if all compressed edges are from the same type. see #631
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11419 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
support uni version 2 with hierarchical module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6b955bb313159bdd477048e9eeaf7d76cfd5c82 |
|
10-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared for qualified uni names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10669 cec4b9c1-7d33-0410-9eda-942365e851bb |
9852c84d480bf69d599c7196a1cde8560da79ee3 |
|
02-Aug-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fix for Bug #543. Compressed edges are now colored purple until a better edge compressing algorithm is available.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10441 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b2e9f4673599e1bc6e18a43ad615da28305b8e1 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10434 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab9a693b080443def02292e2051cd39eff2941dd |
|
29-May-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried different delays
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10039 cec4b9c1-7d33-0410-9eda-942365e851bb |
1be357403a65d1954fd6b5f38e5cf8a630d8112f |
|
22-May-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fixed broken reload of libraries. see #515
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10017 cec4b9c1-7d33-0410-9eda-942365e851bb |
48aead0425e0f2fea2ce7c2e9b810e9be8347f86 |
|
10-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tuned threadDelay
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9911 cec4b9c1-7d33-0410-9eda-942365e851bb |
670756e3f01d07fdab415cfb110e5fd3fb24e8fa |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Map.lookup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9907 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ad660b8f5337c7d7c055b1d77e9ce7a9d3306ec |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
really cleaned up (correcting spechub/Hets@91aba13fdf89cfdf73a60bcc710f985d1fbd266a)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9906 cec4b9c1-7d33-0410-9eda-942365e851bb |
aae4fdb452c41c6231643647059dd1c2d25cc0d9 |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted back to -spechub/Hets@79d103748927615310322af6f7806c7cef11a802 because of drastic display change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9905 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3f4ef5ca5e5084097761cffb2cb7c089a99d754 |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened hasHiddenEdges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9903 cec4b9c1-7d33-0410-9eda-942365e851bb |
91aba13fdf89cfdf73a60bcc710f985d1fbd266a |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9902 cec4b9c1-7d33-0410-9eda-942365e851bb |
86b2d79be961f0247a2eed10ed4f86d8d6a7639d |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code and tuned treadDelay
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9900 cec4b9c1-7d33-0410-9eda-942365e851bb |
293ac7cb6827de2efe02ffc1fdf4a368a1fe30b2 |
|
03-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to use synchronize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9869 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0b74bb9636f2965afbfe2749d4f65123a788bb1 |
|
02-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9868 cec4b9c1-7d33-0410-9eda-942365e851bb |
84ba39232a012abf2085c8a421ebce6abc52d56e |
|
21-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added DGNodeType and DGEdgeType datatypes to Static.DevGraph and changed the GUI Modules to use them instead of the string representation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9828 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bc490dec9f3c600fff0c6fd8f027ec97fbeee4 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9789 cec4b9c1-7d33-0410-9eda-942365e851bb |
79743b26bfee4b8c606b2a75771c1122b96c797d |
|
19-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changes types used for map indices in GraphAbstraction to be more typesafe.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9787 cec4b9c1-7d33-0410-9eda-942365e851bb |
66fd8f017efdb8a6c862c3f1856dfaef90865dd5 |
|
17-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added new module GraphAbstraction as a replacement for AbstractGraphView. See ticket #480. This commit also contains fixes for the tickets #399, #471 and #482.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9775 cec4b9c1-7d33-0410-9eda-942365e851bb |
70899779ade7b854be99a5ed4e9db988211981f6 |
|
06-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changed parameter order for better using
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9701 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a8a38cd2322d81f8ead2738e9a6976dba6eaaa |
|
03-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fixed Bug at addNode.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9679 cec4b9c1-7d33-0410-9eda-942365e851bb |
63062c70893c551afad3e9c428e20850c1326cd3 |
|
22-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock markup and M-x delete-trailing-whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9605 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b5f152f1718ccf6d90e49fa659f0099fecf7907 |
|
21-Feb-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
A new interface for the abstraction of the DevGraph to uDrawGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9604 cec4b9c1-7d33-0410-9eda-942365e851bb |