README.md 659 Bytes
Newer Older
1
Project Daisy
2 3 4 5 6 7 8 9 10 11 12


Acknowledgements
----

A big portion of the infrastructure has been inspired by and sometimes
directly taken from the Leon project (see the LEON_LICENSE). 

Especially the following files bear more than a passing resemblance to Leon's code:
frontend.{ASTExtractors, CodeExtraction, DaisyExtraction, ExtractionPhase,
SaveImports, ScalaCompiler, SimpleReporter} 
13
lang.{DefOps, Definitions, Extractors, Identifiers, PrettyPrinter, TreeOps, Trees, Types,CallGraph, Transformer, GraphOps} 
14 15
utils.{Context,DaisyFatalError, DaisyOption, DaisyPhase, DebugSection, Position, Reporter,
Settings, Timer}
Eva Darulova's avatar
Eva Darulova committed
16
solvers.{SMTLibSolver, SMTLibTarget, Bijection}
17 18