/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 695db4da

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	4.42 KB	e6492c59	over 4 years	Guillaume DAVY	Ada: Change some loggging feature
ada_backend_adb.ml	6.62 KB	695db4da	over 4 years	Guillaume DAVY	Ada: - Replace MStep and Mbranch output by Null...
ada_backend_ads.ml	11.7 KB	09b24e7a	over 4 years	Guillaume DAVY	Ada: Start exporting spec
ada_backend_common.ml	18.8 KB	695db4da	over 4 years	Guillaume DAVY	Ada: - Replace MStep and Mbranch output by Null...
ada_backend_wrapper.ml	3 KB	721ce555	over 4 years	Guillaume DAVY	Ada: Removed useless function

#	Date	Author	Comment
695db4da	02/25/2019 11:34 AM	Guillaume DAVY	Ada: - Replace MStep and Mbranch output by Null to have compilable Ada. - Correct pp_value to print state access when the variable is memory
721ce555	02/25/2019 10:01 AM	Guillaume DAVY	Ada: Removed useless function
ec473179	02/21/2019 10:04 PM	Christophe Garion	ada: pretty print assignment statement for state
09b24e7a	02/21/2019 03:49 PM	Guillaume DAVY	Ada: Start exporting spec
a2922b84	02/21/2019 03:43 PM	Christophe Garion	Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
c85c2e3d	02/21/2019 03:42 PM	Christophe Garion	Ada: pretty printing functions for values and assignments in adb
f2c916b4	02/21/2019 02:27 PM	Guillaume DAVY	Ada: Correct some errors on the type checking due to polymorphic type.
8c8d009b	02/21/2019 02:27 PM	Guillaume DAVY	Ada: Removed from adb the print of clear and init.
e4b630c5	02/21/2019 02:26 PM	Guillaume DAVY	Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada
e6492c59	02/21/2019 10:45 AM	Guillaume DAVY	Ada: Change some loggging feature

Also available in: Atom