trick

ExternalVendorCode/trick

Fork 0

mirror of https://github.com/nasa/trick.git synced 2025-04-25 05:19:47 +00:00

Commit Graph

Author	SHA1	Message	Date
Alex Lin	ba75f6ff37	ICG does not compile using llvm 3.9 #339 The call getRBraceLoc to find the ending source location of things is gone. Replaced it with getting the source range and get the end of that range. Also the way to get clang/llvm 3.9 to process c++11 code required some reordering of calls in main as well as adding some more features to be turned on.	2016-10-28 13:21:21 -05:00
Alex Lin	314e962edf	Ignore privacy Removed the requirement of passing flags throughout ICG indicating if we are in an inherited class or not. Removed the init_attr friends throughout Trick core headers.	2016-04-13 16:07:15 -05:00
Alex Lin	f0c594f841	Initial commit of everything.	2015-02-26 09:02:31 -06:00

Author

SHA1

Message

Date

Alex Lin

ba75f6ff37

ICG does not compile using llvm 3.9 #339

The call getRBraceLoc to find the ending source location of things is gone.  Replaced
it with getting the source range and get the end of that range.  Also the way to
get clang/llvm 3.9 to process c++11 code required some reordering of calls in main as
well as adding some more features to be turned on.

2016-10-28 13:21:21 -05:00

Alex Lin

314e962edf

Ignore privacy

Removed the requirement of passing flags throughout ICG indicating if we are
in an inherited class or not.  Removed the init_attr friends throughout
Trick core headers.

2016-04-13 16:07:15 -05:00

Alex Lin

f0c594f841

Initial commit of everything.

2015-02-26 09:02:31 -06:00

3 Commits