| 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 |
| 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 |
