Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / plugins / salsa @ 9a9058f4

Name Size Revision Age Author Comment
machine_salsa_opt.ml 32 KB 9a9058f4 almost 3 years Pierre-Loïc Garoche More work on Salsa plugin
salsaDatatypes.ml 13.3 KB 9a9058f4 almost 3 years Pierre-Loïc Garoche More work on Salsa plugin
salsa_plugin.ml 1.27 KB 8e6cab20 almost 3 years Pierre-Loïc Garoche Tuning the pretty printing of Salsa plugin

Latest revisions

# Date Author Comment
9a9058f4 05/20/2018 11:45 PM Pierre-Loïc Garoche

More work on Salsa plugin

4c8a5ae4 05/18/2018 04:08 PM Pierre-Loïc Garoche

[salsa] more debug messages

9b348db1 05/18/2018 02:22 PM Pierre-Loïc Garoche

[salsa] introducing sliced temporal variables

8e6cab20 05/15/2018 11:49 AM Pierre-Loïc Garoche

Tuning the pretty printing of Salsa plugin

151117f7 05/07/2018 03:20 PM Pierre-Loïc Garoche

Homogenizing the API for salsa and its use within the plugin

68322df3 05/04/2018 08:01 PM Pierre-Loïc Garoche

Some tentative improvement of Salsa plugin. Not satisfying yet

08faae63 05/04/2018 05:09 PM Pierre-Loïc Garoche

NumMartel functions

b068041a 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merging unstable into salsa

c0d116ec 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

2863281f 03/30/2018 11:14 PM Pierre-Loïc Garoche

Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

View revisions

Also available in: Atom