/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends @ 990210f3

Name	Revision	Age	Author	Comment
C	990210f3	almost 4 years	Pierre-Loïc Garoche	Improved include folders behaviors: - allow mul...
Horn	990210f3	almost 4 years	Pierre-Loïc Garoche	Improved include folders behaviors: - allow mul...
Java	a2d97a3e	almost 7 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
990210f3	05/16/2017 04:57 PM	Pierre-Loïc Garoche	Improved include folders behaviors: - allow multiple -I dir, will be used in order (first one declared is first used) - when declaring a global library #open <foo>, foo is first checked in local folders, than in global one (install path). This does not apply to local libraries opened with #open "foo".
521e2a6b	05/16/2017 10:56 AM	Pierre-Loïc Garoche	trying to improving pretty printing. Not so perfect for the moment
44686ab5	04/28/2017 08:07 PM	Pierre-Loïc Garoche	Missing file c_backend_lusic
2fdbc781	04/27/2017 10:42 PM	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ocamlc - compilation warnings removed
375cbca2	04/27/2017 09:57 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into merge_mauve_unstable
09121c1a	04/27/2017 12:19 AM	Pierre-Loïc Garoche	Merge branch 'testgen' into merging_unstable_testgen
d2d9d4cb	04/26/2017 11:25 PM	Pierre-Loïc Garoche	Missing files
85da3a4b	04/26/2017 11:23 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into merging_plugins Non regression results were similar to master branch
a97d3e02	04/25/2017 10:57 PM	Pierre-Loïc Garoche	Printing reals in Horn backend
4e809854	04/25/2017 09:41 AM	Pierre-Loïc Garoche	Cosmetic changes

Also available in: Atom