| 008e003 | Tassilo Horn | 27 March 2015, 15:56:50 UTC | With compiled classes, return the EEnumLiteral Instance; release 0.45.7 | 27 March 2015, 15:56:50 UTC |
| 1db7e86 | Tassilo Horn | 26 March 2015, 14:13:16 UTC | Yet another little fix; release 0.45.6 | 26 March 2015, 14:13:16 UTC |
| 00e331f | Tassilo Horn | 26 March 2015, 12:20:55 UTC | release 0.45.5 | 26 March 2015, 12:20:55 UTC |
| 654f983 | Tassilo Horn | 26 March 2015, 12:20:36 UTC | Fix econtainer bug | 26 March 2015, 12:20:36 UTC |
| be87e93 | Tassilo Horn | 26 March 2015, 11:38:31 UTC | Fix pmatch bug: release 0.45.4 | 26 March 2015, 11:38:31 UTC |
| 5f2d9cf | Tassilo Horn | 26 March 2015, 10:30:39 UTC | Fix an error with <:foo>-- pmatch edges | 26 March 2015, 10:30:39 UTC |
| b1059a0 | Tassilo Horn | 26 March 2015, 09:59:29 UTC | remove unused dynamic var | 26 March 2015, 09:59:29 UTC |
| b720ecc | Tassilo Horn | 26 March 2015, 05:07:41 UTC | Make as-test thunks stateless; release 0.45.3 | 26 March 2015, 05:07:41 UTC |
| d11526e | Tassilo Horn | 25 March 2015, 15:58:59 UTC | fix bug with container handling in pmatch and emf; release 0.45.2 | 25 March 2015, 15:58:59 UTC |
| 339c3bf | Tassilo Horn | 25 March 2015, 15:20:26 UTC | Impl. :recheck option for rules; release 0.45.1 | 25 March 2015, 15:20:26 UTC |
| 43cb912 | Tassilo Horn | 24 March 2015, 10:10:30 UTC | Release 0.45.0 Replace the heavy overloading used by state space functions with an optional map of options. Improve docs. | 24 March 2015, 10:10:30 UTC |
| ad74519 | Tassilo Horn | 23 March 2015, 15:16:44 UTC | Release 0.44.0 - Allow transition predicates (rule postconditions) in state space creation. - New :edge-attrs for visualization. | 23 March 2015, 15:27:51 UTC |
| 900818e | Tassilo Horn | 23 March 2015, 09:04:23 UTC | counter example | 23 March 2015, 09:04:23 UTC |
| 366c36f | Tassilo Horn | 23 March 2015, 07:30:34 UTC | Fix tg-pmatch bug | 23 March 2015, 07:30:34 UTC |
| a4340fd | Tassilo Horn | 20 March 2015, 16:06:23 UTC | demunge fn/rule names stored in ssg | 20 March 2015, 16:06:23 UTC |
| ea1843f | Tassilo Horn | 20 March 2015, 15:55:02 UTC | Fix another corner case in pmatch; release 0.43.2 | 20 March 2015, 15:55:02 UTC |
| 1db2ea1 | Tassilo Horn | 20 March 2015, 14:28:03 UTC | Fix a special case in pmatch | 20 March 2015, 14:28:03 UTC |
| f65f8f9 | Tassilo Horn | 20 March 2015, 11:10:13 UTC | Sensible return value for interactive-rule's fn | 20 March 2015, 11:10:13 UTC |
| 6cbcb19 | Tassilo Horn | 20 March 2015, 11:02:37 UTC | Uniform spelling | 20 March 2015, 11:02:37 UTC |
| 227a867 | Tassilo Horn | 19 March 2015, 15:29:03 UTC | improve guis | 19 March 2015, 15:29:03 UTC |
| dc424d0 | Tassilo Horn | 19 March 2015, 14:51:00 UTC | Always spawn DotEdit in new thread | 19 March 2015, 14:51:00 UTC |
| 21f0d56 | Tassilo Horn | 19 March 2015, 14:11:39 UTC | add border | 19 March 2015, 14:11:39 UTC |
| d40e938 | Tassilo Horn | 19 March 2015, 08:53:42 UTC | Rename all-rule -> sequential-rule; release 0.43.1 Also use sequential-rule in the mutual exclusion test transformations, and enable the very long transformation sequence. | 19 March 2015, 08:53:42 UTC |
| 2a4549f | Tassilo Horn | 18 March 2015, 15:29:32 UTC | Replate higher-order rule application fns with combinators; release 0.43.0 | 18 March 2015, 15:29:32 UTC |
| 34e1618 | Tassilo Horn | 18 March 2015, 08:59:53 UTC | improve apply-all and friends | 18 March 2015, 08:59:53 UTC |
| 5926cf8 | Tassilo Horn | 17 March 2015, 10:47:35 UTC | minor doc update | 17 March 2015, 10:47:35 UTC |
| 32c56f3 | Tassilo Horn | 17 March 2015, 10:43:35 UTC | release 0.42.0 | 17 March 2015, 10:43:35 UTC |
| 6ba0ec8 | Tassilo Horn | 16 March 2015, 19:29:29 UTC | bugfix | 16 March 2015, 19:29:29 UTC |
| ae85ebc | Tassilo Horn | 16 March 2015, 15:58:14 UTC | Refactoring | 16 March 2015, 15:58:14 UTC |
| 594a804 | Tassilo Horn | 12 March 2015, 14:45:21 UTC | Spawn viewers in separate threads | 12 March 2015, 14:45:21 UTC |
| 1a49372 | Tassilo Horn | 12 March 2015, 14:40:35 UTC | improve state space explorer | 12 March 2015, 14:40:35 UTC |
| 4f90c7f | Tassilo Horn | 12 March 2015, 11:40:42 UTC | better layouts | 12 March 2015, 11:40:42 UTC |
| 9bc7d89 | Tassilo Horn | 12 March 2015, 10:48:44 UTC | Only distinguish valid/invalid states | 12 March 2015, 10:48:44 UTC |
| be1d553 | Tassilo Horn | 12 March 2015, 10:36:33 UTC | Add validation support to stace space stuff | 12 March 2015, 10:36:33 UTC |
| 348f1e7 | Tassilo Horn | 12 March 2015, 09:42:25 UTC | Add :node-attrs viz option | 12 March 2015, 09:42:25 UTC |
| d64b1f8 | Tassilo Horn | 11 March 2015, 19:13:01 UTC | add favicon | 11 March 2015, 19:13:01 UTC |
| 32c0fea | Tassilo Horn | 11 March 2015, 13:28:10 UTC | update readme | 11 March 2015, 13:28:10 UTC |
| 6443451 | Tassilo Horn | 11 March 2015, 13:20:58 UTC | just a rename | 11 March 2015, 13:20:58 UTC |
| 3265c72 | Tassilo Horn | 11 March 2015, 10:46:45 UTC | release 0.41.1 | 11 March 2015, 10:46:45 UTC |
| a58e7d5 | Tassilo Horn | 11 March 2015, 10:45:45 UTC | Fix and improve equal-models? impls | 11 March 2015, 10:45:45 UTC |
| f37518f | Tassilo Horn | 11 March 2015, 08:11:25 UTC | update deps | 11 March 2015, 08:11:25 UTC |
| 9d8df14 | Tassilo Horn | 05 March 2015, 13:13:29 UTC | release 0.41.0 | 05 March 2015, 13:13:29 UTC |
| 85b4cd9 | Tassilo Horn | 05 March 2015, 12:04:07 UTC | More changes | 05 March 2015, 12:04:07 UTC |
| 1528fb2 | Tassilo Horn | 05 March 2015, 09:22:44 UTC | Allow excluding some attrs in print-model | 05 March 2015, 09:22:44 UTC |
| cf7107e | Tassilo Horn | 05 March 2015, 07:53:08 UTC | add titled panel borders | 05 March 2015, 07:53:08 UTC |
| f778563 | Tassilo Horn | 05 March 2015, 07:37:32 UTC | nicer UI | 05 March 2015, 07:37:32 UTC |
| b52ba5b | Tassilo Horn | 04 March 2015, 20:57:04 UTC | allow selecting rules | 04 March 2015, 20:57:04 UTC |
| 9470800 | Tassilo Horn | 04 March 2015, 20:17:57 UTC | notate applied rules in states instead of only a boolean done marker | 04 March 2015, 20:17:57 UTC |
| d2c64b7 | Tassilo Horn | 04 March 2015, 15:39:51 UTC | Interactive state space exploration | 04 March 2015, 15:39:51 UTC |
| 7e656ef | Tassilo Horn | 04 March 2015, 14:09:15 UTC | Refactor state space exploration Now it can be done step-wise and with user interaction. | 04 March 2015, 14:09:15 UTC |
| 3a5bf35 | Tassilo Horn | 04 March 2015, 13:25:27 UTC | Remove one volatile | 04 March 2015, 13:25:27 UTC |
| 045f70e | Tassilo Horn | 04 March 2015, 12:55:59 UTC | Much improved model equality tests | 04 March 2015, 12:55:59 UTC |
| c8e13ae | Tassilo Horn | 04 March 2015, 11:11:38 UTC | Good equality test for emf models | 04 March 2015, 11:11:38 UTC |
| 01031d5 | Tassilo Horn | 03 March 2015, 12:33:53 UTC | Make create-state-space receive an optional comparefn | 03 March 2015, 12:33:53 UTC |
| 5c01a49 | Tassilo Horn | 03 March 2015, 08:38:51 UTC | release 0.40.1 | 03 March 2015, 08:38:51 UTC |
| f0f0371 | Tassilo Horn | 03 March 2015, 08:35:45 UTC | Rename explore-state-space to create-state-space | 03 March 2015, 08:35:45 UTC |
| 89dcc46 | Tassilo Horn | 02 March 2015, 20:13:32 UTC | ignore docset folder | 02 March 2015, 20:13:32 UTC |
| 782dac5 | Tassilo Horn | 02 March 2015, 20:08:55 UTC | State space expl; release 0.40.0 | 02 March 2015, 20:08:55 UTC |
| 14e0703 | Tassilo Horn | 02 March 2015, 14:21:38 UTC | Simple state space exploration support | 02 March 2015, 14:21:38 UTC |
| ef38500 | Tassilo Horn | 02 March 2015, 12:32:27 UTC | Slightly faster equality check for TG | 02 March 2015, 12:32:27 UTC |
| f63e40c | Tassilo Horn | 02 March 2015, 11:00:24 UTC | Cloning and comparing models | 02 March 2015, 11:00:24 UTC |
| 23ffeed | Tassilo Horn | 25 February 2015, 11:56:16 UTC | fixes; release 0.39.5 | 25 February 2015, 11:56:16 UTC |
| 5b06fda | Tassilo Horn | 24 February 2015, 15:30:00 UTC | bugfix; release 0.39.4 | 24 February 2015, 15:30:00 UTC |
| 53ddc29 | Tassilo Horn | 24 February 2015, 10:14:49 UTC | Fixes and improvements; release 0.39.3 | 24 February 2015, 10:14:49 UTC |
| 4e39330 | Tassilo Horn | 20 February 2015, 12:59:19 UTC | bugfix; release 0.39.2 | 20 February 2015, 12:59:19 UTC |
| 1cd2965 | Tassilo Horn | 20 February 2015, 10:02:42 UTC | Change <>-- syntax; release 0.39.1 Now the syntax is --id<Type> and <Type>id--. | 20 February 2015, 10:02:42 UTC |
| 1c12bc5 | Tassilo Horn | 13 February 2015, 11:01:14 UTC | Minor change to docs-gen script | 13 February 2015, 11:01:14 UTC |
| d209109 | Tassilo Horn | 13 February 2015, 10:49:09 UTC | Update deps; release 0.39.0 | 13 February 2015, 10:49:09 UTC |
| bf29168 | Tassilo Horn | 13 February 2015, 10:38:13 UTC | updated docs | 13 February 2015, 10:38:13 UTC |
| fbba16f | Tassilo Horn | 12 February 2015, 10:47:45 UTC | indentation fix | 12 February 2015, 10:47:45 UTC |
| 19f886c | Tassilo Horn | 12 February 2015, 10:44:56 UTC | Test for composition edges in pmatch | 12 February 2015, 10:44:56 UTC |
| 1731402 | Tassilo Horn | 12 February 2015, 08:36:29 UTC | Implement composition edges in pmatch | 12 February 2015, 10:09:06 UTC |
| 89c42d4 | Tassilo Horn | 12 February 2015, 08:16:58 UTC | Extend IContainer protocol | 12 February 2015, 08:16:58 UTC |
| 2186b23 | Tassilo Horn | 12 February 2015, 07:04:30 UTC | Refactor incidence iteration gen code in pmatchEMF | 12 February 2015, 07:04:30 UTC |
| 9be3b16 | Tassilo Horn | 12 February 2015, 06:54:53 UTC | Refactor incidence iteration gen code in pmatchTG | 12 February 2015, 06:54:53 UTC |
| eca70e7 | Tassilo Horn | 11 February 2015, 14:35:55 UTC | update jgralab dep | 11 February 2015, 14:35:55 UTC |
| 49eee7a | Tassilo Horn | 11 February 2015, 08:24:27 UTC | fix test | 11 February 2015, 08:24:27 UTC |
| 022d8f6 | Tassilo Horn | 11 February 2015, 08:14:44 UTC | Update deps; release 0.38.6 | 11 February 2015, 08:14:44 UTC |
| 0dc2f7d | Tassilo Horn | 04 February 2015, 08:38:32 UTC | Make with-open-schema macro private | 04 February 2015, 08:38:32 UTC |
| e1dc701 | Tassilo Horn | 02 February 2015, 11:31:13 UTC | Upgrade jgralab dep; release 0.38.5 | 02 February 2015, 11:31:13 UTC |
| 1a8eff9 | Tassilo Horn | 02 February 2015, 11:02:21 UTC | Don't set default if there's none | 02 February 2015, 11:02:21 UTC |
| d9cc650 | Tassilo Horn | 02 February 2015, 09:18:05 UTC | New set-abstract! function; release 0.38.4 Also add some tests. | 02 February 2015, 09:18:05 UTC |
| 20da2da | Tassilo Horn | 29 January 2015, 14:31:02 UTC | release 0.38.3 | 29 January 2015, 14:31:02 UTC |
| a6114ab | Tassilo Horn | 29 January 2015, 14:30:11 UTC | Rename resolving fns | 29 January 2015, 14:30:11 UTC |
| bdb4b81 | Tassilo Horn | 29 January 2015, 14:01:09 UTC | release 0.38.2 | 29 January 2015, 14:01:09 UTC |
| 263a0d0 | Tassilo Horn | 29 January 2015, 13:26:06 UTC | New images and archetypes fns | 29 January 2015, 13:26:06 UTC |
| af7e3ef | Tassilo Horn | 29 January 2015, 11:38:47 UTC | Release 0.38.1 | 29 January 2015, 11:38:47 UTC |
| 66b421c | Tassilo Horn | 29 January 2015, 11:36:00 UTC | Allow setting IC props | 29 January 2015, 11:36:00 UTC |
| f9006ab | Tassilo Horn | 28 January 2015, 10:14:15 UTC | Rename metatransform to coevo; release 0.38.0 | 28 January 2015, 10:14:15 UTC |
| de47d83 | Tassilo Horn | 27 January 2015, 13:44:38 UTC | Release 0.37.0 | 27 January 2015, 13:44:38 UTC |
| 2eb2068 | Tassilo Horn | 27 January 2015, 11:39:20 UTC | Implemented deleting VCs/ECs + tests | 27 January 2015, 11:39:20 UTC |
| c4d3cdf | Tassilo Horn | 27 January 2015, 09:54:11 UTC | more tests | 27 January 2015, 09:54:11 UTC |
| ccb34c1 | Tassilo Horn | 27 January 2015, 08:28:14 UTC | new test | 27 January 2015, 08:28:14 UTC |
| 1903561 | Tassilo Horn | 27 January 2015, 08:24:32 UTC | new test | 27 January 2015, 08:24:32 UTC |
| 88c6557 | Tassilo Horn | 27 January 2015, 07:44:59 UTC | Organize tests | 27 January 2015, 07:44:59 UTC |
| a14cf20 | Tassilo Horn | 27 January 2015, 07:42:53 UTC | Organize tests | 27 January 2015, 07:42:53 UTC |
| 9500220 | Tassilo Horn | 26 January 2015, 15:15:14 UTC | Complete and test deleting specializations | 26 January 2015, 15:15:14 UTC |
| 6a82ce6 | Tassilo Horn | 26 January 2015, 11:13:06 UTC | Support removal of specializations | 26 January 2015, 11:13:06 UTC |
| e6579b3 | Tassilo Horn | 26 January 2015, 08:30:25 UTC | Rename add-subclass! to create-specialization! | 26 January 2015, 08:30:25 UTC |
| 84c777a | Tassilo Horn | 23 January 2015, 10:40:01 UTC | Implemented domain renaming | 23 January 2015, 10:40:01 UTC |
