Commits · d95757de1acf8a2f80a26748f1ad4bc3373d809e · LARA / inox · GitLab

Snippets Groups Projects

Sep 04, 2015
- Give a position to artificial postc. · d95757de
  Manos Koukoutos authored 9 years ago
  
  d95757de
Jul 09, 2015
- Correct typo · 101707b6
  Manos Koukoutos authored 9 years ago
  
  101707b6
- Improve/fix/use consistently features related to deep type hierarchies · e45a3e18
  Manos Koukoutos authored 9 years ago
  
  e45a3e18
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 10 years ago
  d02ded7e
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
- Fix inconsistent handling of valDef.id.getType and valDef.tpe · da159f9e
  Manos Koukoutos authored 10 years ago
  
  da159f9e
Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
Feb 17, 2015
- parsing bit vector constants from cvc4 · aa5eb2bb
  Regis Blanc authored 10 years ago
  
  aa5eb2bb
Feb 12, 2015
- Separate trees from tree constructors,use them more,simplifications · 2872b0e8
  Etienne Kneuss authored 10 years ago
  
  2872b0e8
May 21, 2014
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 20, 2014
- Improve types, support ???[T] as all-seeing choose · da408410
  Etienne Kneuss authored 11 years ago
  da408410
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Sep 12, 2013
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971
Aug 27, 2013
- Remove ResultVariable, postcondition are explicitly bound · f24aafcc
  Etienne Kneuss authored 11 years ago
  
  f24aafcc
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
- Introduces a phase to protect exact type of vars · f697e53d
  Régis Blanc authored 12 years ago
  f697e53d