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

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