Roadmap

Development roadmap

On this page, we will try and maintain an up-to-date roadmap for the development of this new VM.

What are we currently working on?

• Yves Jaradin
  • The serialization mechanism (pickles)
• Sébastien Doeraene
  • Documentation for VM developers
  • Unification and equality tests (with a part of the mind thinking about spaces)
• Stewart Mackenzie
  • Big integers (GMP-based)
• Avispa research group
  • Integration of Gecode

What can you do?

As with any open-source project, contributions are welcome! If you want to get involved in the development of the Mozart2 VM, get in touch with Sébastien Doeraene, aka sjrd. He will be pleased to discuss with you to find an area of the code you would be interested in diving.

Here are a list of things we think you could do right now:

• Core data types
  • Cons
  • Cell
  • Array
  • etc.
• Core builtins
  • Boolean operations
  • Wait
  • MakeTuple, Label, HasFeature, Width
  • IntToFloat, FloatToInt
  • AtomToString, StringToAtom
  • IsInt, IsAtom, etc.
  • ProcedureArity
  • etc.

What are we going to do next?

When we will have finished what we are working on, we will dequeue the first item in the following queue and start working on it.

1. Spaces (for logic programming)
2. Records and arities
3. ...