Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / plugins @ 0d79d0f3

Name Size Revision Age Author Comment
  mpfr f6acf47b about 4 years Pierre-Loïc Garoche Plugin based framework
  salsa 8e6cab20 over 1 year Pierre-Loïc Garoche Tuning the pretty printing of Salsa plugin
  scopes 8926852f over 1 year Pierre-Loïc Garoche [scopes] Producing the appropriate scope label

Latest revisions

# Date Author Comment
2bb5ab71 05/17/2018 04:57 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

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

8926852f 05/04/2018 05:42 PM Pierre-Loïc Garoche

[scopes] Producing the appropriate scope label

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

6eda0c25 03/30/2018 11:40 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

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