Changes in src/AST/porting.md [432ce7a:b69233ac]

File:

• src/AST/porting.md (modified) (1 diff)

src/AST/porting.md

@@ -302 +302 @@
 * `ExplodedActual.h` => `ExplodedArg.hpp`
 
+`polyCost`
+* switched order of `env`, `symtab` parameters for better consistency
+
+`findMinCost`
+* pulled out conversion cost promotion into separate `promoteCvtCost` function
+
+`resolveAssertions` => `satisfyAssertions`
+* `ResolveAssertions.h` => `SatisfyAssertions.hpp`
+* `Resn*` => `Sat*`
+
 [1] https://gcc.gnu.org/onlinedocs/gcc-9.1.0/gcc/Type-Attributes.html#Type-Attributes