| 1911976a7ef31c6f150f7506215a53547dbe08be |
|
01-Mar-2010 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
minor edits
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13132 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b3423069cae3a49f8710c5e58dca84ad2355bf9f |
|
01-Mar-2010 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
new test-results with final optimisation. algorithm 4 is nice and fast now...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13131 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f6b0f9d1e01eb90f520f446f2d94a8d27373d7ac |
|
26-Feb-2010 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13125 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 918702a54b085c80215d5f42972541b58c218b5d |
|
26-Feb-2010 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
added final remarks on treatment of only those equivalences which are needed requisite (sec. 4.1)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13124 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 36874a9c48ba92065d07874f673cbfbefe0f34c0 |
|
26-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typo in modal-CK rule. \neg B_1 -> \neg B_n
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12734 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 905e1fc50e539d24b017fc516655c8dc451bcb48 |
|
26-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typos $R_{sc}$ vs. \mathcal{R}_{sc}, CKCEM-rule adapted to general format
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12729 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cd183fba51410b2551f6d07c7e1be1fe1bcc8988 |
|
26-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Justification of CKCEM, adressed Termination/correctness, CK-rule in box now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12728 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cd98d48306e246adbc2d9187e60e503fd37acb33 |
|
21-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
One more typo :)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12685 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dc2e050af97da3345c40c0d5fc9e08e82dfe50ce |
|
21-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12683 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ece224bd470aadfaedbe498ae301d33f51c4b454 |
|
21-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typo fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12682 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9d3bc3c5c6735e0b829df351b3aeb56ca0da21a5 |
|
20-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
More small fixes (eg. completed benchmarking results)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12678 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9140b9dabb13481e58f354b1fffa9f55a8c09cfe |
|
20-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
More typos fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12676 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8475f4b88f47393cb3ee36c756949fb759676b95 |
|
20-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typos, benchmark results w/o tracing (10x faster)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12675 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 216e151d8b72f03c8d2d22c443f4646a878ad5ee |
|
02-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
final fixes to generalized optimisation; typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12396 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 41cb631b545a1f2eb08393bc4a3c614fa531f39e |
|
02-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
corrected optimised algo back
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12395 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2aacd04f2e9d7d6623663a861969ee6859539a58 |
|
02-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
bla3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12394 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7a11349870126900dca0b7d01ae91e34eab98d76 |
|
02-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
some final corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12393 cec4b9c1-7d33-0410-9eda-942365e851bb |
| caca36ac8f75b9f833be4254a5b0259797011815 |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Turned this version in to M4M-6.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12392 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fc6b231dc3daf448b2a6d8b73aa7b052d1637d80 |
|
01-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
up to sec 3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12390 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2852143315b31dd349116573e51faf3d6d90f2dc |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12389 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5936e8a670adeb75019269e05b28ab4212054a04 |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
typos etc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12388 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9ad931e92879631be35d8ffa7edd4c1beb1bb30a |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Typos, benchmarking chapter improved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12387 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6baf76258c9aaea1d5a535c9b5213613d6435ef5 |
|
01-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
intro nearly done
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12385 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2494f08a8476ba4173f5a0082295d8e17afd329e |
|
01-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
abstract
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12383 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e61f61a5be7dca356c935cda49928c6c5d04f1b5 |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Implementation + Benchmarking section 'finished'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12382 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 78f6f31a5c74225cf3344daca249988e80ee269f |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
bla2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12381 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b94e8fd396e508a5421564afccd97205bfd87a77 |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
bla
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12380 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7a0ad318efe127c5a09b90ad2cdb377f06c252e1 |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Fixed benchmarking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12379 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c362d76ab304e8ab708e1b98372ddc9ddd685cfb |
|
01-Sep-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Added benchmarking results
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12376 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 835b0621786f11cafe098f3492217fa188741bc0 |
|
31-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
added "to-do's"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12368 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5cab282d07c1006eaa3e373b015b91014e17afa5 |
|
24-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Fixed description of generic form of optimization. Further small changes. Getting there...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12273 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ae5681d2ef159b6353bdd6eee0b9d078b3b2b36d |
|
21-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Added preliminary version of generalized optimization (still needs heavy rework)...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12227 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 47995e09723a85625015245d5e06a3e8645fda0d |
|
20-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Integrated minor changes proposed by Lutz
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12192 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 74dfa6bc521350525358340117512f8afe9fdd26 |
|
20-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
first draft of paper about optimizations of conditional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12187 cec4b9c1-7d33-0410-9eda-942365e851bb |