3 ms·
Is there a minimal example showing automatically created compile-able code from a model, or a process to do that?
by analognoise 7y ago
Is there a minimal example showing automatically created compile-able code from a model, or a process to do that?
- BoiledCabbage 7y agoDoesn't quite answer your question, but possibly in the docs here? http://alloytools.org/documentation.html http://alloytools.org/documentation.html Including tutorials http://alloytools.org/tutorials/online/ http://alloytools.org/tutorials/online/ http://alloytools.org/tutorials/day-course/ http://alloytools.org/tutorials/day-course/
- anigbrowl 7y agohttp://alloytools.org/faq/can_you_print_or_capture_the_diagram_generated_by_the_alloy_visualizer.html http://alloytools.org/faq/can_you_print_or_capture_the_diagr... Likewise I searched in vain for one of these diagrams. It sounds interesting but the 'GUI' is just two text windows and a toolbar that look straight out of 1996 which doesn't bode well.
- hcs 7y agoThose diagrams are of data structures, not algorithms. Here's an example: http://alloytools.org/quickguide/vizview.html http://alloytools.org/quickguide/vizview.html
- anigbrowl 7y agoI mean, the first question in the FAQ is about those diagrams so maybe it should include an example of one? Usually when I'm evaluating a new project I am not so interested in figuring out what it can do if that isn't clearly communicated up front.
- hwayne 7y agoThere aren't that many public diagrams, so I whipped up a quick example of spec and diagram here: https://gist.github.com/hwayne/2619df2dd7055a57de96f8769c37fca6 https://gist.github.com/hwayne/2619df2dd7055a57de96f8769c37f....