- Dec 21, 2015
-
-
- Dec 16, 2015
-
-
Manos Koukoutos authored
-
- Dec 12, 2015
-
-
Nicolas Voirol authored
-
- Dec 11, 2015
-
-
Nicolas Voirol authored
dictator on shape ADT type parameters
-
- Dec 10, 2015
-
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
- Dec 09, 2015
-
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
- Dec 08, 2015
-
-
Etienne Kneuss authored
-
- Dec 07, 2015
-
-
Viktor Kuncak authored -
Nicolas Voirol authored
-
- Dec 06, 2015
-
-
Nicolas Voirol authored
-
- Dec 05, 2015
-
-
Viktor Kuncak authored
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
- Dec 04, 2015
-
-
ravi authored
(b) Adding an option: unfoldFactor to unfold functions more than once in each iteration of verification
-
Nicolas Voirol authored
-
Nicolas Voirol authored
-
- Dec 03, 2015
-
-
Nicolas Voirol authored
-
- Dec 01, 2015
-
-
ravi authored
-
- Nov 30, 2015
-
-
Mikaël Mayer authored
-
- Nov 27, 2015
-
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
- Nov 25, 2015
-
-
Manos Koukoutos authored
-
Manos Koukoutos authored
(And nessecary refactoring...)
-
Manos Koukoutos authored
EvaluationResults.Result is now polymorphic Refactor evaluator contexts Refactor evaluator hierarchy Make tests up to date
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Manos Koukoutos authored
-
Nicolas Voirol authored
-
