Parsing refactoring
- Mar 13, 2018
-
-
Romain Edelmann authored
Conflicts: doc/interpolations.md src/main/scala/inox/parsing/ExpressionElaborator.scala src/main/scala/inox/parsing/ExpressionParser.scala
75d81143
-
- Jun 26, 2017
-
-
Romain Edelmann authored53ea4533
-
- Jun 23, 2017
-
-
Romain Edelmann authoredfc2ec280
-
Romain Edelmann authored
Fix a bug in the expression elaborator where type imbiguities in quantifier would not be detected sometimes.
72730f5c
-
- Jun 09, 2017
-
-
Romain Edelmann authored
Now identifiers are simply matched by name, instead of some "structure equality" as before.
c3194484 -
Romain Edelmann authoredfa72509c
-
Romain Edelmann authored72f289e2
-
Romain Edelmann authored030bd859
-
Romain Edelmann authored5556ab8b
-
Romain Edelmann authoredeedd4ec8
-
- Jun 06, 2017
-
-
Romain Edelmann authoredf4ac9449
-
Romain Edelmann authoredf54a583e
-
Romain Edelmann authored
This change is made so that the output of the parser is more predictable.
af80af50 -
Romain Edelmann authored268f60b2
-
Romain Edelmann authored1f17b249
-
- Jun 02, 2017
-
-
Romain Edelmann authored188acc0e
-
- Jun 01, 2017
-
-
Romain Edelmann authored7077981b
-
Romain Edelmann authoredd52cc663
-
Romain Edelmann authored17b874e8
-
Romain Edelmann authoredea827e8a
-
- May 31, 2017
-
-
Romain Edelmann authoredb3650ff9
-
Romain Edelmann authored3c1215f5
-
Romain Edelmann authorede7deec42
-
Romain Edelmann authoreda2101049
-
Romain Edelmann authored
Since the interpolator is no longer depending on the Symbols, this field no longer makes sense.
29c8642b -
Romain Edelmann authored
The Symbols are now only present in the various Convertor, whose jobs are to convert from IR to Expr.
76e51984
-
- May 30, 2017
-
-
Romain Edelmann authored
The two classes where used to distinguish between variables and "Symbols" names (functions, ADTs). We are removing those since we do not want to do name resolution in the IR anymore.
eb206beb
-