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 |
e39640e | Tassilo Horn | 23 January 2015, 09:37:07 UTC | Rehash *img*/*arch* on qname changes | 23 January 2015, 09:37:07 UTC |
ceaf87c | Tassilo Horn | 22 January 2015, 14:41:30 UTC | Implement renaming AECs | 22 January 2015, 14:41:30 UTC |
959583f | Tassilo Horn | 22 January 2015, 10:02:36 UTC | better resolving fns | 22 January 2015, 10:02:36 UTC |
686f79b | Tassilo Horn | 22 January 2015, 08:47:04 UTC | fix mm-class impl for TG so that it also accepts unique names. Find more bij. violation errors in extensional | 22 January 2015, 08:47:04 UTC |
6f45b63 | Tassilo Horn | 21 January 2015, 15:01:16 UTC | Throw on bij. violation errors | 21 January 2015, 15:01:16 UTC |
2f52f37 | Tassilo Horn | 21 January 2015, 10:59:35 UTC | Base extensional.{tg,emf} on the generic extensional impl. | 21 January 2015, 10:59:35 UTC |
b86ec8a | Tassilo Horn | 20 January 2015, 14:55:33 UTC | Added a generic extensional transfo api | 20 January 2015, 14:55:33 UTC |
a129c30 | Tassilo Horn | 20 January 2015, 12:17:24 UTC | some renaming | 20 January 2015, 12:17:24 UTC |
cc32f17 | Tassilo Horn | 20 January 2015, 11:59:40 UTC | Put image/archetype fns in extensional ns | 20 January 2015, 11:59:40 UTC |
670ccf0 | Tassilo Horn | 20 January 2015, 11:22:41 UTC | Revamped extensional and metatransform apis | 20 January 2015, 11:22:41 UTC |
91d883e | Tassilo Horn | 16 January 2015, 11:25:34 UTC | minor fix; release 0.36.3 | 16 January 2015, 11:25:34 UTC |
67692c4 | Tassilo Horn | 15 January 2015, 19:00:30 UTC | Upgrade clj dep; release 0.36.1 | 15 January 2015, 19:00:37 UTC |
ba9a9e0 | Tassilo Horn | 17 December 2014, 07:56:40 UTC | up | 17 December 2014, 07:56:40 UTC |
42adada | Tassilo Horn | 17 December 2014, 07:30:04 UTC | Fix doseq+ | 17 December 2014, 07:30:04 UTC |
b6ee238 | Tassilo Horn | 16 December 2014, 08:34:53 UTC | Speed up pmatch and release 0.36.0 Speet up pattern matching by declaring type-matchers once and using them instead of having many separate has-type? calls. | 16 December 2014, 08:34:53 UTC |
b7b78e0 | Tassilo Horn | 16 December 2014, 07:55:03 UTC | Fix issue that prevented parallel exec in certain cases | 16 December 2014, 07:55:03 UTC |
d469257 | Tassilo Horn | 16 December 2014, 07:08:11 UTC | bugfix; release 0.35.8 | 16 December 2014, 07:08:11 UTC |
1ebc6b3 | Tassilo Horn | 16 December 2014, 06:45:29 UTC | release 0.35.7 | 16 December 2014, 06:45:29 UTC |
047b23e | Tassilo Horn | 15 December 2014, 20:28:12 UTC | minor change | 15 December 2014, 20:28:12 UTC |
b031604 | Tassilo Horn | 15 December 2014, 20:20:33 UTC | release 0.35.6 | 15 December 2014, 20:20:33 UTC |
9678124 | Tassilo Horn | 15 December 2014, 12:40:08 UTC | Better isomorphism constraints: release 0.35.5 | 15 December 2014, 12:40:08 UTC |
56c9aa1 | Tassilo Horn | 15 December 2014, 10:04:16 UTC | remove debug output; release 0.35.4 | 15 December 2014, 10:04:16 UTC |
fce6e94 | Tassilo Horn | 15 December 2014, 09:44:38 UTC | Bugfix; release 0.35.3 | 15 December 2014, 09:44:38 UTC |
a1e52bc | Tassilo Horn | 15 December 2014, 07:52:24 UTC | release 0.35.2 | 15 December 2014, 07:52:24 UTC |
7e69984 | Tassilo Horn | 15 December 2014, 07:52:05 UTC | Also allow :while clauses | 15 December 2014, 07:52:05 UTC |
12aedbe | Tassilo Horn | 12 December 2014, 12:09:01 UTC | Omit type checks if not needed | 12 December 2014, 12:09:01 UTC |