"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "c590b339703b6e98f90cd71a5574ceedb994e008"
-
Utkarsh Upadhyay authored
1. Fixed a variable naming bug in orderedsets.Main, used id.uniqueName instead of id.name 2. Added a dumbInsert example in BinarySearchTree.scala (which bypasses the ifExpr problem, in function insert) 3. Added formula relaxation in ExprToASTConverter, in orderedsets
Utkarsh Upadhyay authored1. Fixed a variable naming bug in orderedsets.Main, used id.uniqueName instead of id.name 2. Added a dumbInsert example in BinarySearchTree.scala (which bypasses the ifExpr problem, in function insert) 3. Added formula relaxation in ExprToASTConverter, in orderedsets
