Commits · eef155f647406e22c495ba82c77743079aa7f99e · LARA / inox

Apr 02, 2015
- Mention what has been done since last release · eef155f6
  Etienne Kneuss authored 10 years ago
  
  eef155f6
- Fresh reporter to avoid terminateIfErrors issues · 618ccda9
  Etienne Kneuss authored 10 years ago
  
  618ccda9
- Implement --watch to rerun Leon on file changes · 282469fb
  Etienne Kneuss authored 10 years ago
  
  282469fb
- Extract ensuring(expr: Boolean) as ensuring(res => expr) · e0482187
  Etienne Kneuss authored 10 years ago
  
  e0482187
- It's a SolverFactory, not a Solver · 77a9ae53
  Manos Koukoutos authored 10 years ago
  
  77a9ae53
Mar 31, 2015
- Just some FIXME cleanup · 62b817d4
  Manos Koukoutos authored 10 years ago
  
  62b817d4
Mar 26, 2015
- Fix numerous style issues · c48a0caa
  Manos Koukoutos authored 10 years ago
  
  c48a0caa
- Upgrade to SMTLIB 2.5 · 8c402795
  Manos Koukoutos authored 10 years ago
  
  8c402795
- Refactor tests a bit · e7e27ddc
  Manos Koukoutos authored 10 years ago
  
  e7e27ddc
- Move Option to leon.collection · 8f4352d4
  Manos Koukoutos authored 10 years ago
  
  8f4352d4
- Make sure javaOptions are picked up by tests · 9e851639
  Etienne Kneuss authored 10 years ago
  
  9e851639
Mar 23, 2015
- Give .holds expressions a position (not ideal) · c206e0eb
  Manos Koukoutos authored 10 years ago
  
  c206e0eb
- We should create one reporter per test · 8347ba3c
  Manos Koukoutos authored 10 years ago
  
  8347ba3c
- Return to nested IfExpr repr. for FiniteLambda · 0c172123
  Manos Koukoutos authored 10 years ago
  
  0c172123
Mar 19, 2015
- groupWhile is no longer used · d85c97c1
  Etienne Kneuss authored 10 years ago
  
  d85c97c1
Mar 18, 2015
- Testcases for higher-order functions · 0f5b3a4d
  Nicolas Voirol authored 10 years ago
  
  0f5b3a4d
- Tests main object with the same name as the file to prevent clashes · b828ed70
  Etienne Kneuss authored 10 years ago
  
  b828ed70
- Fixed some tupleWrap issues · a73fd2a5
  Nicolas Voirol authored 10 years ago
  
  a73fd2a5
- Fix for lambda evaluation · ba72318d
  Nicolas Voirol authored 10 years ago
  
  ba72318d
- A few tests for higher-order regression · 00d71bb8
  Nicolas Voirol authored 10 years ago
  
  00d71bb8
- Rename XLang Trees · 4ee30054
  Manos Koukoutos authored 10 years ago
  
  4ee30054
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- Even more fixes · 5a3a65c9
  Manos Koukoutos authored 10 years ago
  
  5a3a65c9
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Remove one TODO from XLang · 3e95c2b1
  Manos Koukoutos authored 10 years ago
  
  3e95c2b1
- More fixes · 659ebb03
  Manos Koukoutos authored 10 years ago
  
  Notice the removal of type parameter in TemplateGenerator.groupWhile. I am not sure what was intended (this method is currently unused).
  659ebb03
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
- Remove unused imports · b2360e54
  Manos Koukoutos authored 10 years ago
  
  b2360e54
- Use tupleTypeWrap in SMTLib · 92b5806a
  Manos Koukoutos authored 10 years ago
  
  92b5806a
- Move tests to correct directory · f8893d61
  Manos Koukoutos authored 10 years ago
  
  f8893d61
- ExpressionGrammars should ignore synthetic functions · 53d41d02
  Manos Koukoutos authored 10 years ago
  
  53d41d02
- Default parameters for functions · 8af3310b
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8af3310b
- Move tests failing the frontend to FrontEndTests · 463b47e1
  Manos Koukoutos authored 10 years ago
  
  463b47e1
- Optimize and refactor verification tests · b869e71f
  Manos Koukoutos authored 10 years ago
  
  b869e71f
- The the main object in each test should match the file name · 4fbe3438
  Manos Koukoutos authored 10 years ago
  
  4fbe3438
- make sure List.slice allows taking empty slice or the whole list · 0cb7c109
  Samuel Gruetter authored 10 years ago
  
  0cb7c109
Mar 10, 2015
- update to latest scala-smtlib · 9565463b
  Regis Blanc authored 10 years ago
  
  9565463b
Mar 09, 2015
- Keep position of unchanged arguments · 69261a19
  Etienne Kneuss authored 10 years ago
  
  69261a19
- Block positions, explicit errors from xlang features. · a9c9719f
  Etienne Kneuss authored 10 years ago
  
  a9c9719f
Mar 06, 2015
- FrontEndTests should use correct path · 1171a9a0
  Regis Blanc authored 10 years ago
  
  1171a9a0