coreasm-news Mailing List for CoreASM
Status: Beta
Brought to you by:
rfarahbod
Menu
▾
▴
coreasm-news — CoreASM News
You can subscribe to this list here.
| 2007 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2008 |
Jan
(1) |
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2009 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2011 |
Jan
(1) |
Feb
(1) |
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Roozbeh F. <tr...@gm...> - 2011-03-29 00:23:36
|
Dear CoreASM user, Java API documentation for the latest version of CoreASM is now available on the Web at http://www.coreasm.org/docs/api. Best Regards, Roozbeh Farahbod email: in...@co... |
|
From: Roozbeh F. <tr...@gm...> - 2011-02-03 01:38:51
|
Dear CoreASM user, The CoreASM Eclipse plugin has a minor update to v0.6.7 with a major impact. In this update the CoreASM editor parses the specification only when an an editor instance is opened or the modified file is saved. This addresses the problem of high CPU usage as the plugin would regularly monitor the file and read the list of plugins in order to update syntax highlighting. You can get the latest version of CoreASM Eclipse plugin using the Eclipse update site: http://www.coreasm.org/eclipse/update-trunk Best Regards, Roozbeh Farahbod email: in...@co... |
|
From: Roozbeh F. <tr...@gm...> - 2011-01-19 23:57:21
|
Dear CoreASM user, The latest versions of CoreASM Engine and CoreASM Eclipse plugin come with lots of improvements, new plugins and new features. Please visit www.coreasm.org for the latest updates. - CoreASM v1.5.6-beta with Carma v0.7.3 (binary, source) - CoreASM Eclipse plugin (version 0.6.6) comes with CoreASM engine v1.5.6-beta These builds include: - Bârun Plugin v1.0.3 - JASMine Plugin v1.1.5-beta - Math Plugin v0.2.3-beta - Observer Plugin v0.1.0-beta - Signals Plugin v1.0.0-beta - Graph Plugin v1.1.1-alpha Regards, Roozbeh Farahbod |
|
From: Roozbeh F. <tr...@gm...> - 2009-10-19 01:29:24
|
Dear CoreASM user, Please find the first public draft of "Design and Specification of the CoreASM Execution Engine and Plugins" for the current repository version at http://coreasm.svn.sourceforge.net/viewvc/coreasm/engine-carma/trunk/doc/CoreASM-DesignDocumentation.pdf. Regards, Roozbeh Farahbod |
|
From: Roozbeh F. <rfa...@cs...> - 2008-02-02 02:16:59
|
Dear CoreASM user, I am happy to announce the first public release of JASMine, a CoreASM plugin that provides means to access Java objects and classes from inside a CoreASM specification. You can download JASMine from the CoreASM pages on sourceforge: https://sourceforge.net/project/showfiles.php?group_id=160949&package_id=261399 Regards, Roozbeh Farahbod -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: roo...@cs... Home: www.cs.sfu.ca/~roozbehf -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2008-01-21 10:24:35
|
Dear CoreASM user, I just released a new CoreASM engine (with Eclipse plugin and Carma) which is basically a bug fix over version 1.0.3. Here is a summary of changes: - ChooseRule plugin: re-evaluation of choose rules with no condition would use a cached value of the domain. This is fixed now. - List plugin: cons(e, l) function was not working properly. This is fixed now. - Set plugin: set 'subset' operation was missing. I considered this a bug! :-) A 'subset' operation is added in this release. - Some error messages in ChooseRule, ForallRule, and PredicateLogic plugins are improved. Binary distributions and source codes are both available from http://sourceforge.net/projects/coreasm Thank you for using CoreASM. Cheers, Roozbeh Farahbod -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: roo...@cs... Home: www.cs.sfu.ca/~roozbehf -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-09-11 20:30:53
|
Dear CoreASM user, Today, we released the first stable (i.e., non-testing) version of CoreASM Engine version 1.0. The 1.0.3 release comes with Carma 0.6.1 and CoreASM Eclipse plug-in 0.4.1. Binary distributions and source codes are both available from https://sourceforge.net/projects/coreasm/ . Thank you for using CoreASM! Cheers, Roozbeh Farahbod -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs... Home: www.cs.sfu.ca/~rfarahbo -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-08-08 20:33:22
|
Dear CoreASM user, A new testing release of the CoreASM Engine (version 1.0.1-alpha) together with CoreASM Eclipse plugin (version 0.4.1-alpha) and Carma (version 0.6.0-alpha) is now available for download from https://sourceforge.net/projects/coreasm/ . In addition to some bug fixes, we have also improved the performance of ChooseRule, ForallRule, and PredicateLogic plug-ins. Thank you for using CoreASM! Cheers, Roozbeh Farahbod -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs... Home: www.cs.sfu.ca/~rfarahbo -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-07-31 01:23:04
|
Dear CoreASM user, Testing release of the new CoreASM Eclipse plugin (version 0.4.0-alpha) which includes the new CoreASM Engine (version 1.0.0-alpha) is now available for download from https://sourceforge.net/projects/coreasm/ . The CoreASM language is extended with new rule forms and pre-defined functions. Make sure you check out the user manual which is included in the zip file. Currently, we are planning for a more stable release by September 2007. Thank you for using CoreASM! Cheers, Roozbeh Farahbod -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs... Home: www.cs.sfu.ca/~rfarahbo <http://www.cs.sfu.ca/%7Erfarahbo> -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-07-06 16:58:55
|
Dear CoreASM user, While CoreASM is required to run with Java 5, the last binary release of MathPlugin was by mistake compiled with Java 6. I recompiled the plug-in with Java 5 and updated the binary distribution. You can download MathPlugin plug-in from https://sourceforge.net/projects/coreasm/ Regards, Roozbeh -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs... Home: www.cs.sfu.ca/~rfarahbo -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-06-25 18:12:50
|
Dear CoreASM user, We just released a new version of MathPlugin which provides the powerset function in addition to functions provided by the previous version of this plug-in. You can download this plug-in from https://sourceforge.net/projects/coreasm/ Regards, Roozbeh -- -------------------------------------------------------------------------- Roozbeh Farahbod ( Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs..., in...@co... Home: www.cs.sfu.ca/~rfarahbo <http://www.cs.sfu.ca/%7Erfarahbo> -------------------------------------------------------------------------- |
|
From: Roozbeh F. <rfa...@cs...> - 2007-06-25 17:43:54
|
Dear CoreASM user, We just released a new version of MathPlugin which provides the powerset function in addition to functions provided by the previous version of this plug-in. You can download this plug-in from https://sourceforge.net/projects/coreasm/ Regards, Roozbeh -- -------------------------------------------------------------------------- Roozbeh Farahbod (Ph.D. Candidate) Software Technology Lab, Simon Fraser University Email: rfa...@cs..., in...@co... Home: www.cs.sfu.ca/~rfarahbo -------------------------------------------------------------------------- |
