Recent activity on kiltera

posted Jun 18, 2012, 9:06 AM by Ernesto Posse

It has been a while since the last update, but kiltera is still alive. I have been doing a lot of cleaning up of the simulator, but version 2.0 is not quite ready yet. On the plus side, I'll be releasing not only an improved simulator, but also a symbolic model checker for kiltera. 

Update on kiltera 2.0

posted Dec 8, 2010, 10:04 AM by Ernesto Posse

As you may have noticed, activity on the website has been nil. This is because progress with version 2.0 has been slow. Restructuring the simulator has been a bigger project than I expected. In fact it lead me to the design of a generic language definition framework. This framework addresses issues beyond the scope of kiltera, but it will have great benefits for it. So while this means that the release of 2.0 has been pushed quite a bit, this promises to simplify the architecture quite a bit, making it easier for you to tinker with kiltera's internals, try out new constructs and alternative semantics. 

For the moment I don't dare to give a release date, as I am focused on this language framework, but for sure I will be posting some alpha and beta versions during the next few months. Stay tuned.

Work in progress on kiltera 2.0

posted Apr 26, 2010, 9:01 AM by Ernesto Posse   [ updated Apr 26, 2010, 9:30 AM ]

I am currently working on a new version of kiltera (despite the fact that 1.0 has never gone from beta to actual release).

A summary of the new features and changes follows:

Visible changes:
  • New more consistent syntax: both indentation-based nesting and brace-based nesting. Use of "def" keyword for local definitions (makes definitions more readable, and syntax more consistent).
  • Removal of deprecated language features (e.g. ephemeral triggers, etc.)
  • Better defined distribution primitives.
  • Faster execution (hopefully).
  • Choice between pure Python-based engine and C-based engine (much faster, but obviously, platform-dependent).
  • Possibly, but not certainly, a basic type system.
  • Documentation
Internal changes:
  • Reorganization of the architecture. Cleaner and more extensible. A complete cleanup of the code.
  • Reprogrammed engine in Cython, which compiles into C for much faster execution.
  • Cleaner distribution.
  • There may or may not be some easter-eggs.
I do not have a specific time-line for this, and therefore I cannot say when it will be available, but in principle, I am aiming for the end of the summer (2010, that is). It could take less (or more) if this was not a one-man show.

I know that kiltera's enormous user base (all of it's three users) is eagerly awaiting, so I ask for a little patience. In the meantime you can have some venezuelan beaver cheese.

kiltera 1.0 beta 11 available

posted Apr 15, 2010, 1:42 PM by Ernesto Posse

A new bugfix version is available.

kiltera 1.0 beta 10 is available

posted Feb 24, 2010, 12:54 PM by Ernesto Posse

After a very long wait, a new beta version. Keep in mind this is still experimental and is subject to change.

The main change is this:
  • Redefinition of trigger semantics to be in line with the abstract machine. This implies that there is no longer a distinction between transient and lasting triggers. All triggers are now lasting, as in the standard pi-calculus.
  • The default translations have been temporarily removed for a review (except for timeouts which are still supported). These will be reintroduced in the next release, except for the lasting trigger translation.

kiltera version 1.0 beta 9 available

posted Feb 18, 2009, 1:24 PM by Ernesto Posse   [ updated Feb 18, 2009, 1:32 PM ]

The latest version can be obtained from the Downloads page.

This is mostly a bug fix release, but there are a few new features:

* Multi-dimensional event arrays:
    Sub-arrays are now first class values, and interaction through array cells is identical to interaction between plain events/channels.

* Translation chain framework:
    It is now possible to add user-defined translators that manipulate the abstract syntax tree in non-standard ways, to explore alternative semantics for different constructs.

Major bug fixes addressed concern the following:

* Mix of lasting triggers and transient triggers
* Lasting triggers and channel/event mobility
* Indexed constructs (par ... for ... and seq ... for ...)

kiltera documentation

posted Oct 29, 2008, 9:42 AM by Ernesto Posse

An introductory presentation of kiltera, as well as the author's thesis introducing kiltera, are now available in the Documentation page.

kiltera 1.0 beta 4 available

posted Oct 20, 2008, 9:27 AM by Ernesto Posse   [ updated Oct 20, 2008, 9:29 AM ]

This is mainly a bug fix release. (You can obtain it from the Downloads page.)

kiltera 1.0 beta 1 available

posted Jun 23, 2008, 9:01 AM by Ernesto Posse

The kiltera simulator version 1.0 beta 1 is now available (go to Downloads to obtain it.)

Some of the highlights are:
  • New trigger/when syntax for interaction operations.
  • Communication by unicasting and multicasting.
  • Introduction of "lasting triggers". 
  • Primitives for distributed processing.
  • Simulator can run in two modes: sequential or distributed.
  • kiltera modules can import Python modules.

kiltera's new website goes online.

posted Jun 23, 2008, 8:52 AM by Ernesto Posse

The new official website for kiltera is now

1-10 of 10