Sofia Faro f5613785e0 Constant lifting transformation in the LF simplifier. (#6101) ... * First draft of constant lifting changelog_begin changelog_end * refactoring * doing stuff * run simplifier on template exprs * remove merge artifact * Fix ExerciseWithoutActors * add comments * fix trace order test * prefix generated val names with their provenance * Verification tool bugfix During the value collection phase, when encountering a record projection on a (yet) undefined value, stop searching this branch instead of throwing an error. * Bump pattern-match-perf memory limit with cocreature`s blessing * bump again * Filter generated identifiers from daml script test runner changelog_begin changelog_end * Fix party literals * Remove inlineClosedExpr for now. * Improve comments * Reset script test locations * Unhashmap * disable daml-lf-verify quickstart tests for now Co-authored-by: Gert-Jan Bottu <gertjan.bottu@kuleuven.be> Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>		2020-06-18 17:36:28 +00:00
..
src/DA/Daml/LF	Constant lifting transformation in the LF simplifier. (#6101)	2020-06-18 17:36:28 +00:00
test/DA/Daml/LF/Ast	Inline typeclass projections. (#5759)	2020-05-11 16:48:27 +00:00
BUILD.bazel	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
daml-lf-ast.cabal	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00