Commits · 48f7ffc1eaae5f5af0f8e5baaaf26b30844c196b · LARA / inox · GitLab

Snippets Groups Projects

Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
Feb 12, 2015
- Refactor rules, remove Heuristics/Rules · 01062258
  Etienne Kneuss authored 10 years ago
  
  01062258
- I have trust issues · fb3fccf8
  Etienne Kneuss authored 10 years ago
  
  fb3fccf8
- Split witnesses and path condition. · 2b7d480c
  Etienne Kneuss authored 10 years ago
  
  2b7d480c
- Separate trees from tree constructors,use them more,simplifications · 2872b0e8
  Etienne Kneuss authored 10 years ago
  
  2872b0e8
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 24, 2014
- Prevent IntegerEquation from generating empty sub-problems · 3d469259
  Etienne Kneuss authored 11 years ago
  
  3d469259
Sep 12, 2013
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 08, 2013
- Allow onSuccess to fail. This is necessary to prevent soundness issues. · 965264c3
  Etienne Kneuss authored 12 years ago
  965264c3
Jan 03, 2013
- Handle problem of costs=0 in case of missing SolutionBuilder, requires passing... · b986717b
  Etienne Kneuss authored 12 years ago
  b986717b
- Remove obsolete concept of Rule priorities. This is now implicitly handled by the search. · ce6ef073
  Etienne Kneuss authored 12 years ago
  
  ce6ef073
Dec 06, 2012
- Rework the semantics of rules, their applications/instantiation, results · 7378ba6f
  Etienne Kneuss authored 12 years ago
  
  7378ba6f
Nov 23, 2012
- Prepare ground for parallel search · 5ccb8ebe
  Etienne Kneuss authored 12 years ago
  
  5ccb8ebe
Nov 22, 2012
- heuristic to remove variable in inequality with lower lcm · acd77b90
  Régis Blanc authored 12 years ago
  
  acd77b90
Nov 21, 2012
- some more refactoring · 97d4c17a
  Régis Blanc authored 12 years ago
  
  97d4c17a
- refactor ArithmeticNormalization into TreeNormalizations · 40eee30e
  Régis Blanc authored 12 years ago
  
  40eee30e
- fix Sec2Time · bd54cb6f
  Régis Blanc authored 12 years ago
  
  bd54cb6f
Nov 20, 2012
- start to move and refactor some stuff · ae5727e2
  Régis Blanc authored 12 years ago
  
  ae5727e2
Nov 19, 2012
- Some re-work based on and-or graphs · e69cbc14
  Etienne Kneuss authored 12 years ago
  
  e69cbc14
- Make RuleInapplicable a RuleAlternatives with no alternative · 9a05ae05
  Etienne Kneuss authored 12 years ago
  
  9a05ae05
- Rules can (and should) have multiple application alternatives · 9c8b6e54
  Etienne Kneuss authored 12 years ago
  
  9c8b6e54
Nov 17, 2012
- sec2time synthesized but too complicated to read and understand · d0e7ae01
  Régis Blanc authored 12 years ago
  
  d0e7ae01
Nov 16, 2012
- some refactoring of inequality solver · 1915ae9a
  Régis Blanc authored 12 years ago
  
  1915ae9a
- fix base case · 0a79ab7a
  Régis Blanc authored 12 years ago
  
  0a79ab7a
Nov 15, 2012
- CEGIS is now faster, and also actually correct. · 5312899d
  Etienne Kneuss authored 12 years ago
  
  5312899d
- simplify integer equation synthesis · d4560551
  Régis Blanc authored 12 years ago
  
  d4560551
- fix the commit · 07e55590
  Régis Blanc authored 12 years ago
  
  07e55590
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20