Commits · 26ca0be2ea680d10d23f744abfd5afbb701d863e · LARA / inox · GitLab

Snippets Groups Projects

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
- Minor renamings. · 9f21f5f9
  Philippe Suter authored 11 years ago
  
  9f21f5f9
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
- 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
Apr 12, 2013
- Implement untrusted solutions, that are then validated · 1900e8dd
  Etienne Kneuss authored 12 years ago
  
  1900e8dd
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 20, 2013
- Implement the concept of Normalizing rules · f5fb158f
  Etienne Kneuss authored 12 years ago
  f5fb158f
Jan 04, 2013
- Improve search by making it more deterministic · 8f620493
  Etienne Kneuss authored 12 years ago
  
  8f620493
Jan 03, 2013
- Handle problem of costs=0 in case of missing SolutionBuilder, requires passing... · b986717b
  Etienne Kneuss authored 12 years ago
  b986717b
Dec 19, 2012
- Fix "minor" bug causing solvers to become autistic after the first search is over. · f2943cb1
  Etienne Kneuss authored 12 years ago
  
  f2943cb1
Dec 13, 2012
- Fix buggy stop() on non-parallel synthesis searches · 45963f7c
  Etienne Kneuss authored 12 years ago
  
  45963f7c
Dec 06, 2012
- More reliable shutdown · 45985e1b
  Etienne Kneuss authored 12 years ago
  
  45985e1b
- Rework the semantics of rules, their applications/instantiation, results · 7378ba6f
  Etienne Kneuss authored 12 years ago
  
  7378ba6f
Dec 05, 2012
- Improve search for leaves to target unsolved branches, fix one issue regarding parallelism · c76506d3
  Etienne Kneuss authored 12 years ago
  
  c76506d3
Dec 04, 2012
- Add cost models, make things a tad bit nicer, synthesizer options · 242ae4cd
  Etienne Kneuss authored 12 years ago
  
  242ae4cd
Nov 29, 2012
- Implement partial solution reconstruction · ae93c204
  Etienne Kneuss authored 12 years ago
  
  ae93c204
Nov 23, 2012
- How many cores do you have? · a1d180ea
  Etienne Kneuss authored 12 years ago
  
  a1d180ea
- Simple Refactoring for parallel search · 4236152b
  Etienne Kneuss authored 12 years ago
  
  4236152b
- Decouple Synthesizer from Search · 99a20e07
  Etienne Kneuss authored 12 years ago
  
  99a20e07