4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
04857331be117d4e2215d866c309a17bd9a7e15c |
|
16-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
disprove function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18130 cec4b9c1-7d33-0410-9eda-942365e851bb |
255f0ed47809d8fea6e177112139735ed8778359 |
|
12-Aug-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18126 cec4b9c1-7d33-0410-9eda-942365e851bb |
22a42cbea5bdf4b39b99794550b1403b3820b5e5 |
|
16-Jul-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
also changed label for disprover #1178
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18050 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8623e217fff016f9e1759b5603fc06b29fda62c |
|
28-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use getThGoals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14447 cec4b9c1-7d33-0410-9eda-942365e851bb |
65660c22133e6de16f9ece7b36ac6423014b20aa |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14312 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9a1a4d5820d527a6800d524ebaf29fbad6196c6 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
cleaned and commented code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14142 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0adcc203b4267d5535b430372935a5f36726db1 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
GtkDisprove locks the Node it is working on
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14141 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cfd9e8213e51ea282e68509183fb023aba59491 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
seperated method to create lock at node from GUI.GraphLogic.proveAtNode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14140 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ac14720aa7f1e0715311bd1598e7d78c37dd3c6 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
removed CSDisproved from ConsistencyStatus and used CSInconsistent instead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14139 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea9768c548fe6ae05d275380869c2923c3392244 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changed title of window for GtkDisprove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14137 cec4b9c1-7d33-0410-9eda-942365e851bb |
987c9ee1092c7fd8b53242abefe4f3cf8e9a1011 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added CSDisproved to ConsistencyStatus in order to display results of GtkDisprove properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14136 cec4b9c1-7d33-0410-9eda-942365e851bb |
432ac7c08e2592af0660e026051ffb052e88a100 |
|
12-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
bugfix: GtkDisprove now has info dialog if no goals are suitable for negation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14134 cec4b9c1-7d33-0410-9eda-942365e851bb |
53d3b5d18cae658f0e54872ade90ab5259b52b95 |
|
07-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
bugfix: module crashed during closing if no prover selected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14122 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a26171b5bc5b6ec3e1b02ae30dcfb6f03d7ffef |
|
07-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
GtkDisprove now reads the Nodes current goalstatus at startup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14121 cec4b9c1-7d33-0410-9eda-942365e851bb |
abea93ed557b22ea833e1524ee5ca11afc12208a |
|
06-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
results are written back into DGraph now (but not displayed at module startup)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14112 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c84f8fd92ed59eb2b9a674e6b1ea93c0f945006 |
|
06-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
ProofStatus is set to Disproved and written into G_theory for disproved goals, but not jet back into DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14111 cec4b9c1-7d33-0410-9eda-942365e851bb |
a210c2e5add831cd438183c8602ed8e610922bea |
|
06-Oct-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
ProofStatus is set to Disproved and written into G_theory for disproved goals, but not jet back into DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14110 cec4b9c1-7d33-0410-9eda-942365e851bb |
9da6e0cb2ea6e43f5b09dcd2a9af5468a5d0fcf4 |
|
27-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved disproveAtNode for proper CPP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14095 cec4b9c1-7d33-0410-9eda-942365e851bb |
00962bbc8b21c9a4af3b08983bdf82591cb8067b |
|
24-Sep-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added disprove button to reference nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14094 cec4b9c1-7d33-0410-9eda-942365e851bb |
1651c7f5055453e18a8c34f96c333e2aa702a34e |
|
24-Sep-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
implemented disprove function in node menu level instead of ProverGUI. version is stable, but holds no functionality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14093 cec4b9c1-7d33-0410-9eda-942365e851bb |
369771f5d48a40eda134026b1f45f63b2c00bdb8 |
|
08-Sep-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
first compiling version of GtkDisprove after major changes, however it is not working yet. Disprove Button has hence be disabled in GtkProverGUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14031 cec4b9c1-7d33-0410-9eda-942365e851bb |
a81a6e924a0a027f48823b0a09cf51ad807c2e5b |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use timeout for seconds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13967 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 |
212a71a59d30f82bc1d22cc9cfd6b36968afb4f2 |
|
13-Aug-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
disprove now uses the selected prover only and displays possible alternatives, if selection is not suitable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13879 cec4b9c1-7d33-0410-9eda-942365e851bb |
98e4e0125755acbcd5e0729556cd2bcfc4ee3973 |
|
13-Aug-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
modified display output of disprove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13878 cec4b9c1-7d33-0410-9eda-942365e851bb |
dff3a9487508aa2818afddb29bad1b3314e5e2a6 |
|
13-Aug-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
disprove: enable button disprove for one goal only and try to find selected Prover for ConsitencyCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13877 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 |
6150196e8d99f7161a622fdc1a872fecd378195f |
|
29-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
corrected generation of Comorphism/ConsChecker in GtkDisprove and implemented to choose darwin as CC if possible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13782 cec4b9c1-7d33-0410-9eda-942365e851bb |
740444c364ba9f39576bfb0c010faffb724f5c26 |
|
28-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
implemented calculation of g_sublocig in GtkDisprove, to find proper comorphism for new theory.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13775 cec4b9c1-7d33-0410-9eda-942365e851bb |
c55de4daf923fed0008d935154a5c51e33fa08dd |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
updated version of GtkDisprove with more infoDialogs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13766 cec4b9c1-7d33-0410-9eda-942365e851bb |
5188d6e486d50ff03a51b624f91781ac9eebeb17 |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
set isAxiom to True for negated sentence in GtkDisprove Module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13764 cec4b9c1-7d33-0410-9eda-942365e851bb |
3209c34f23fb83a86fbbdd6501db6d4bfb949a57 |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13763 cec4b9c1-7d33-0410-9eda-942365e851bb |
b810a1972bc52522eaa32a771dd48f80cd613329 |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
working version gtkDisprove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13762 cec4b9c1-7d33-0410-9eda-942365e851bb |
e39861b3f34824b369218571e0a3e9256f94be2a |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
display new goalstatus while disproving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13760 cec4b9c1-7d33-0410-9eda-942365e851bb |
efb6cb0f9f6a43ee7b5e043e83091bcef987470a |
|
27-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
removed negation of theorem from disprove Module for testing purpose
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13759 cec4b9c1-7d33-0410-9eda-942365e851bb |
deaf056b8d46abd74f53cdd4d59fd2929578a814 |
|
26-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13758 cec4b9c1-7d33-0410-9eda-942365e851bb |
13bf1fcd41f66e9ba9ceb3678d78b72cc35479c5 |
|
26-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
make it compile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13757 cec4b9c1-7d33-0410-9eda-942365e851bb |
560958e077f513ce6a1633d4514f1950c6840993 |
|
26-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
brought back negation of theorem to GtkDisprove (removed it by accident)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13756 cec4b9c1-7d33-0410-9eda-942365e851bb |
d815d2b83e945875100ceca322ebd50d96714206 |
|
26-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
worked on GtkDisprove, but commented out all coding and set method to 'undefined' due to compilation errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13754 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b152383e04dbeb10dba29bcdfaa0981e4d9df27 |
|
22-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
todays progress in disprove module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13751 cec4b9c1-7d33-0410-9eda-942365e851bb |
1036463e0cb9fff54e4f9378bdf2face4bb58bc4 |
|
22-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added 'LNode DGNodeLab' as input parameter to ProverGUI and GtkProverGUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13749 cec4b9c1-7d33-0410-9eda-942365e851bb |
2643008447e30b6025f742eb6a661f38be756b1e |
|
22-Jul-2010 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
initial version, not working yet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13747 cec4b9c1-7d33-0410-9eda-942365e851bb |