f8d4be6 | Tassilo Horn | 29 April 2015, 12:48:37 UTC | Release 0.47.0 Get rid of all dynamic vars used during pmatch macro expansion Instead, metadata is passed now. This has the benefit that step-wise macro expansion (for debugging purposes) works much better. | 29 April 2015, 12:49:57 UTC |
3690a3d | Tassilo Horn | 29 April 2015, 09:16:20 UTC | Enable pattern inheritance for letrule. Remove *pattern-meta* but attach all metadata to the pattern name. | 29 April 2015, 09:16:20 UTC |
297dbad | Tassilo Horn | 29 April 2015, 07:53:17 UTC | Enable pattern inheritance for rules. | 29 April 2015, 07:53:17 UTC |
6a1053b | Tassilo Horn | 29 April 2015, 06:59:47 UTC | Support :extends clauses also with defrule | 29 April 2015, 06:59:47 UTC |
7c0f2f9 | Tassilo Horn | 28 April 2015, 19:56:23 UTC | Allow patterns extending a different arity of themselves | 28 April 2015, 19:56:23 UTC |
02e99a7 | Tassilo Horn | 27 April 2015, 10:30:01 UTC | Release 0.46.3 Fixes some funnyqt.emf bug which made loading Ecore models contained in some JAR file fail. | 27 April 2015, 10:30:01 UTC |
b7bf92f | Tassilo Horn | 26 April 2015, 10:56:43 UTC | release 0.46.2 | 26 April 2015, 10:56:43 UTC |
b518f8e | Tassilo Horn | 26 April 2015, 04:32:01 UTC | Release 0.46.1 | 26 April 2015, 04:32:01 UTC |
25284b2 | Tassilo Horn | 22 April 2015, 19:50:38 UTC | release 0.46.0 | 22 April 2015, 19:50:38 UTC |
ff79e6c | Tassilo Horn | 22 April 2015, 19:50:06 UTC | more performance improvements | 22 April 2015, 19:50:06 UTC |
9a3438b | Tassilo Horn | 22 April 2015, 17:52:21 UTC | new doseq+ impl; speed improvements for eager patterns | 22 April 2015, 17:52:21 UTC |
0a492a7 | Tassilo Horn | 21 April 2015, 08:17:27 UTC | Fix macro bug in in-place; release 0.45.31 | 21 April 2015, 08:17:27 UTC |
b2c3981 | Tassilo Horn | 20 April 2015, 09:03:50 UTC | fix proxy resolution props; release 0.45.30 | 20 April 2015, 09:03:50 UTC |
b2cbd1b | Tassilo Horn | 17 April 2015, 21:34:07 UTC | add some resourceset stuff; release 0.45.29 | 17 April 2015, 21:34:07 UTC |
3ff9743 | Tassilo Horn | 17 April 2015, 13:57:42 UTC | Improve API generation; release 0.45.28 Now the generic API generator may receive an optional extension-hook function. The EMF API generator uses that to generate EEnumLiteral accessors. | 17 April 2015, 13:57:42 UTC |
3abf58f | Tassilo Horn | 17 April 2015, 12:59:06 UTC | improve error reporting in polyfns; release 0.45.27 | 17 April 2015, 12:59:06 UTC |
69896aa | Tassilo Horn | 17 April 2015, 10:05:16 UTC | Fix classloader issue once and for all; release 0.46.26 | 17 April 2015, 10:05:16 UTC |
e95f76f | Tassilo Horn | 17 April 2015, 09:43:34 UTC | Revert "Fix classloader issue; release 0.45.25" This reverts commit ff9b18922b0b766b89b0abf5381cc465c9625bb0. | 17 April 2015, 09:43:34 UTC |
ff9b189 | Tassilo Horn | 16 April 2015, 17:05:25 UTC | Fix classloader issue; release 0.45.25 | 16 April 2015, 17:05:25 UTC |
8ccf78f | Tassilo Horn | 15 April 2015, 12:03:11 UTC | Fix edelete! bug; release 0.45.24 | 15 April 2015, 12:03:11 UTC |
5cd14cd | Tassilo Horn | 14 April 2015, 13:34:50 UTC | Release 0.45.23 | 14 April 2015, 13:34:50 UTC |
24bc41e | Tassilo Horn | 14 April 2015, 09:06:52 UTC | support attr-map in letrule | 14 April 2015, 09:06:52 UTC |
690854b | Tassilo Horn | 14 April 2015, 07:07:23 UTC | Allow for tail-recursive rules again | 14 April 2015, 07:07:23 UTC |
1af2c6f | Tassilo Horn | 13 April 2015, 14:06:03 UTC | simplify some tests | 13 April 2015, 14:06:03 UTC |
6d56395 | Tassilo Horn | 10 April 2015, 20:54:56 UTC | upgrade clojure dep | 10 April 2015, 20:54:56 UTC |
1d13971 | Tassilo Horn | 10 April 2015, 19:26:39 UTC | improve SSE; release 0.45.22 | 10 April 2015, 19:26:39 UTC |
b2bfd62 | Tassilo Horn | 09 April 2015, 13:43:21 UTC | make bindings-to-argvec private | 09 April 2015, 13:43:21 UTC |
187ac32 | Tassilo Horn | 09 April 2015, 10:19:23 UTC | Return the value, not the volatile | 09 April 2015, 10:19:23 UTC |
b85a824 | Tassilo Horn | 08 April 2015, 15:03:22 UTC | release 0.45.21 | 08 April 2015, 15:03:22 UTC |
0589709 | Tassilo Horn | 08 April 2015, 07:59:38 UTC | Add sss-fn as metadata to return val of create-state-space | 08 April 2015, 07:59:38 UTC |
6d771d8 | Tassilo Horn | 08 April 2015, 06:56:22 UTC | Improve create-state-space; release 0.45.20 | 08 April 2015, 06:56:22 UTC |
03b0f24 | Tassilo Horn | 03 April 2015, 10:44:43 UTC | fix another subtle bug introduced in prev commit; release 0.45.19 | 03 April 2015, 10:44:43 UTC |
91d042e | Tassilo Horn | 03 April 2015, 08:32:21 UTC | Fix subtle nondeterminism in macro expansion; release 0.45.18 | 03 April 2015, 08:32:21 UTC |
319f787 | Tassilo Horn | 03 April 2015, 05:21:53 UTC | Make recheck-patterns slightly cheaper; release 0.45.17 | 03 April 2015, 05:21:53 UTC |
03e8c81 | Tassilo Horn | 03 April 2015, 05:09:17 UTC | Minor fix and less no intermediate bindings with :when-let | 03 April 2015, 05:09:17 UTC |
80c3b0c | Tassilo Horn | 03 April 2015, 04:49:39 UTC | Add a faster path for :eager :transducers case | 03 April 2015, 04:49:39 UTC |
c2505dd | Tassilo Horn | 03 April 2015, 03:32:15 UTC | Use ArrayPSets for 1-elem-sets in pmatch; release 0.45.16 | 03 April 2015, 03:32:15 UTC |
2df91fe | Tassilo Horn | 02 April 2015, 11:39:24 UTC | Sequence instead of eduction; release 0.45.15 | 02 April 2015, 11:39:24 UTC |
89655c8 | Tassilo Horn | 02 April 2015, 11:06:00 UTC | bugfix; release 0.45.14 | 02 April 2015, 11:06:00 UTC |
1620f21 | Tassilo Horn | 02 April 2015, 10:39:49 UTC | Make use of transducers configurable in patterns/rules; Release 0.45.13 | 02 April 2015, 10:39:49 UTC |
35a6058 | Tassilo Horn | 02 April 2015, 09:17:54 UTC | remove unused variable | 02 April 2015, 09:17:54 UTC |
f7eb1ec | Tassilo Horn | 01 April 2015, 07:53:49 UTC | Prefer sequence over eduction; release 0.45.12 Testing revealed that eduction is slower that sequence even in the cases where I expected it to be faster. | 01 April 2015, 07:53:49 UTC |
c957be0 | Tassilo Horn | 01 April 2015, 07:34:06 UTC | Use more transducers; release 0.45.11 | 01 April 2015, 07:34:06 UTC |
ab12711 | Tassilo Horn | 31 March 2015, 20:16:10 UTC | fixes; release 0.45.10 | 31 March 2015, 20:16:10 UTC |
5fed063 | Tassilo Horn | 31 March 2015, 19:55:50 UTC | Now anon-traversals are completely steered by transducers | 31 March 2015, 19:55:50 UTC |
d8685ae | Tassilo Horn | 31 March 2015, 19:39:16 UTC | more transducing in pmatch | 31 March 2015, 19:39:16 UTC |
0b744fe | Tassilo Horn | 31 March 2015, 19:15:36 UTC | Transform anon-vecs to transducers also for TG | 31 March 2015, 19:15:36 UTC |
7e580ee | Tassilo Horn | 31 March 2015, 18:43:03 UTC | fix for compo edges with TG | 31 March 2015, 18:43:03 UTC |
d98fae3 | Tassilo Horn | 31 March 2015, 15:18:14 UTC | Transform anon-vecs to transducers (EMF done, TG not yet) | 31 March 2015, 15:18:14 UTC |
f694ac7 | Tassilo Horn | 31 March 2015, 14:36:58 UTC | Add transducer arity to no-dups | 31 March 2015, 14:36:58 UTC |
cddb44f | Tassilo Horn | 31 March 2015, 14:27:35 UTC | reducers -> transducers for emf RPEs | 31 March 2015, 14:28:49 UTC |
f9f904f | Tassilo Horn | 31 March 2015, 14:26:05 UTC | reducers -> transducers for generic RPEs | 31 March 2015, 14:26:05 UTC |
7c459fc | Tassilo Horn | 31 March 2015, 14:10:19 UTC | reducers -> transducers for TG RPEs | 31 March 2015, 14:10:19 UTC |
597e678 | Tassilo Horn | 31 March 2015, 14:03:57 UTC | Some optimizations for erefs/ecrossrefs/econtentrefs/econtainer | 31 March 2015, 14:03:57 UTC |
e0cebfb | Tassilo Horn | 31 March 2015, 08:29:13 UTC | Rename :identity m2m option to :id; release 0.45.9 | 31 March 2015, 08:29:13 UTC |
cea7b02 | Tassilo Horn | 30 March 2015, 14:31:34 UTC | EMF bugfix; release 0.45.8 | 30 March 2015, 14:31:34 UTC |
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 |