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 |
943decd5dbb24d895c68f67be3ffc962fe14a2ae |
|
14-Mar-2015 |
mcodescu <mscodescu@gmail.com> |
show used sentences |
cddd87cd39be9d031348ef95051c4d14067e1646 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use usable provers and cons-checkers |
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 |
fb368574663eadc521f7f42d76c00f3e6a8af1a6 |
|
23-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
1187 added the show-output command
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18140 cec4b9c1-7d33-0410-9eda-942365e851bb |
169f0c3411cbdf6c5f9b0f6a8265bec297a55f39 |
|
23-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
1187
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18139 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a654100e3e325c9cc80a5768c98169ef985eeea |
|
21-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
1145
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18135 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2709668e8acb82d5aa09f65018b536f69791209 |
|
19-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
added ProveCmdType for CMDL.ProveCommands.hs.cDoLoop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18132 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
0248fbbbabd2794b6c70e6e21ec7b2498dacc816 |
|
01-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
1181
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18116 cec4b9c1-7d33-0410-9eda-942365e851bb |
b068730827516b33e0892280ee31bc2ec112063a |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket #1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18039 cec4b9c1-7d33-0410-9eda-942365e851bb |
297e47f026cc25e56e5b9b56ac62b48d448a964c |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket #1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18038 cec4b9c1-7d33-0410-9eda-942365e851bb |
428744ac449c69ba3134ff53359690db502158a6 |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket #1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18036 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8a6d1101a0e3d09fb8f8566590cb209c103498a |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket 1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18035 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6e397738ecdf660b7e3bb64fe059e052a5c0e7b |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
output used axioms for proven goals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17915 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc0f4ccc7b7b78615f1ad5219025c2d2b7158720 |
|
17-Apr-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17860 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 |
5275f013db52ff487795b71ee4dcc9268f62e574 |
|
28-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored abstract proof state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14445 cec4b9c1-7d33-0410-9eda-942365e851bb |
57887e1f677b42a806af5ab1509bcda26698ec29 |
|
27-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14439 cec4b9c1-7d33-0410-9eda-942365e851bb |
5607bbe40d1b360797381a83a6eae6773ee7cd2c |
|
27-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored abstract proof state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14435 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6f3693fa577c2e14ca40bbdb9b57f9ed13580aa |
|
10-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened hint message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14355 cec4b9c1-7d33-0410-9eda-942365e851bb |
52e3fbd71a34c294b93a44c02829991e044d163b |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored getting provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14354 cec4b9c1-7d33-0410-9eda-942365e851bb |
abee46762c1663b85c6f18d934cd11df83828f6e |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed GetPName class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14349 cec4b9c1-7d33-0410-9eda-942365e851bb |
039763ad866bb92d1818e09d1e5a0491af5af3d9 |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified updateNodeProof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14014 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 |
3949cdab26267516cfcf70c060b2b9fed3c04629 |
|
14-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
write back consistency state #834
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13717 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa17a9dc9008eaa465a80c09cefe6b413711935e |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
write out time limit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13711 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e1b3e3527b1cd690ebca46eb846635cfd477c6d |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ATPTacticScript output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13710 cec4b9c1-7d33-0410-9eda-942365e851bb |
19a24a7581868f4e182ec36f46a0ccb7df5a46b8 |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added consistency checker to CMDL #834
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13709 cec4b9c1-7d33-0410-9eda-942365e851bb |
20d15690e19528332d9178f6a9951ae86c233784 |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
output hint not as warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13029 cec4b9c1-7d33-0410-9eda-942365e851bb |
feb4e4217d5621a971077c8399b4b49237f07bac |
|
23-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12957 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc8cec541a2ff37538daa477997ec8040ab257ac |
|
23-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
group changes made for a proof at a single node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12956 cec4b9c1-7d33-0410-9eda-942365e851bb |
56f49c2883b1da5b18c57ca94457b2c4757a28d3 |
|
10-Dec-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Updating nodes after a proof is now shared between the GUI and CMDL.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12913 cec4b9c1-7d33-0410-9eda-942365e851bb |
55c5e901b5c3466300009135585bc70bd576dcb6 |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
created history entries for computed theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12905 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b64995546fe9ef21d04ea1530b698fae87e542b |
|
09-Nov-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Fix for #750
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12806 cec4b9c1-7d33-0410-9eda-942365e851bb |
80c2d23821d095b55d9a547f48fc3fcdc27df405 |
|
28-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored consistency checkers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12745 cec4b9c1-7d33-0410-9eda-942365e851bb |
c142cc2fecfc9230ddd005235f7ecce266f06f5e |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12731 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
937b288690ccf51ac6584efea1e0529f971181db |
|
09-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-compute global theories after proving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12617 cec4b9c1-7d33-0410-9eda-942365e851bb |
07952bc735d3e74263c2ae2403eb415a45bf26cf |
|
01-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12562 cec4b9c1-7d33-0410-9eda-942365e851bb |
35dda9ee66ee86659884585f31a160a1164e2c65 |
|
01-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Changed comorphism warning message.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12561 cec4b9c1-7d33-0410-9eda-942365e851bb |
c64f39b82f9668c256b3c2bec1af908237689f88 |
|
27-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Refactored prove- and consistency-loop.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12530 cec4b9c1-7d33-0410-9eda-942365e851bb |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb |
3664a630439d8d4841d17febbd74bd1dedd909d4 |
|
22-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use camelCase instead of CMDL_ and XML_
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12484 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfaebfa08889e4170a08125b082ae6b3f50a89dc |
|
02-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Don't poll MVars all the time. Print the goal status in the callback function instead. Fixes #731.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12399 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a255f4908deece6a09ca3c9d87a5165a3d577ee |
|
28-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Code cleanup using hlint and more explicit imports.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12329 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bb4a5dbdc5e29315aaa89fbeb7e41f6946cadd9 |
|
27-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Some code cleanups.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12319 cec4b9c1-7d33-0410-9eda-942365e851bb |
de2478d5c86fdf58645ee7e351767cfdd047a2da |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate utilities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11814 cec4b9c1-7d33-0410-9eda-942365e851bb |
124c859ba4741d5e36d5d98634886b430b7af093 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed most PGIP stuff to CMDL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11709 cec4b9c1-7d33-0410-9eda-942365e851bb |