Commits · 698b09949dcd3ce1b6d77c2085c4f8bb1ba3857c · LARA / inox · GitLab

Snippets Groups Projects

Feb 26, 2015
- fix bug in finite sort testcase · 698b0994
  Regis Blanc authored 10 years ago
  
  698b0994
Feb 25, 2015
- update testcases to bigint and fix readme instruction · 484da738
  Regis Blanc authored 10 years ago
  
  484da738
- fix rational test · 491d59c1
  Regis Blanc authored 10 years ago
  
  491d59c1
Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
- Eliminate MutableTyped from Expr's. Improve how respective Expr's are handled. · 83e59c6f
  Manos Koukoutos authored 10 years ago
  83e59c6f
- front-end only accepts != with comparable types · e7ad02a5
  Regis Blanc authored 10 years ago
  
  e7ad02a5
Feb 23, 2015
- Scans in library · b66665a0
  Manos Koukoutos authored 10 years ago
  
  b66665a0
- Refresh Eclipse info in README · ef8df9ad
  Manos Koukoutos authored 10 years ago
  
  ef8df9ad
- leon.collection set operations · cef64cec
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  cef64cec
- Definition types in Library · 51eda235
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  51eda235
- Make finding library in Eclipse more robust · 8dd71b25
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8dd71b25
- Make Leon find scala lib in Eclipse · 8291f8f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8291f8f7
- Richer collection API, including HOFs · f513ef07
  manoskouk authored 10 years ago
  
  f513ef07
Feb 21, 2015
- list operations testcase is back · 47b97071
  Régis Blanc authored 10 years ago
  
  47b97071
Feb 20, 2015
- implement BigInt code generation · a083e335
  Regis Blanc authored 10 years ago
  
  a083e335
- cleaner BigInt extractor front-end · c2179e13
  Regis Blanc authored 10 years ago
  
  c2179e13
- fix bug while reading int literal from z3 models · 2fe24a49
  Regis Blanc authored 10 years ago
  
  2fe24a49
Feb 19, 2015
- Remove warning · a0d4fad2
  Etienne Kneuss authored 10 years ago
  
  a0d4fad2
Feb 18, 2015
- Promote IntLiterals to BigIntLiterals when used in a comparison · 83af620c
  Etienne Kneuss authored 10 years ago
  
  83af620c
Feb 17, 2015
- Verify the solution by first placing it in the resulting program · 2591fc2d
  Etienne Kneuss authored 10 years ago
  
  2591fc2d
- One reporter per test case, to avoid fatals from breaking other tests · 0d3df7a8
  Etienne Kneuss authored 10 years ago
  
  0d3df7a8
- remove a println · aef80512
  Regis Blanc authored 10 years ago
  
  aef80512
- add support for bits operations · 4481325f
  Regis Blanc authored 10 years ago
  4481325f
- Merge BigInts, new Leon 3.0 release · 04fadace
  Etienne Kneuss authored 10 years ago
  
  04fadace
- parsing bit vector constants from cvc4 · aa5eb2bb
  Regis Blanc authored 10 years ago
  
  aa5eb2bb
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Feb 16, 2015
- Fix subtitle · 5d1ab175
  Etienne Kneuss authored 10 years ago
  
  5d1ab175
- Extract positions back to LeonPositions, we possible · 6f25502d
  Etienne Kneuss authored 10 years ago
  
  6f25502d
- Move constructor to a constructor · af2ee4dc
  Etienne Kneuss authored 10 years ago
  
  af2ee4dc
- Some consistency changes in Trees · 56a937c3
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  56a937c3
- Use silent Reporter · 0cad3d1c
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0cad3d1c
- Repair regression tests · 817dd103
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  817dd103
- Introduce LetPattern, LetTuple specializes it for TuplePatterns · a6111136
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a6111136
Feb 13, 2015
- Refactor FiniteArray to an implicit representation · 373c4aba
  Regis Blanc authored 10 years ago
  373c4aba
Feb 12, 2015
- Fix termination · 7102dbab
  Etienne Kneuss authored 10 years ago
  
  7102dbab
- Fix · de8f5295
  Etienne Kneuss authored 10 years ago
  
  de8f5295
- Use the group-phase preprocessingPhase instead · 73690d13
  Etienne Kneuss authored 10 years ago
  
  73690d13
- Always validate up to N programs, even if we got more passing tests · b31f80fb
  Etienne Kneuss authored 10 years ago
  
  b31f80fb
- Fix regression tests for new synthesis framework · d93bdd37
  Etienne Kneuss authored 10 years ago
  
  d93bdd37
- Fix trivial infinite loop. · 2d850b73
  Etienne Kneuss authored 10 years ago
  
  2d850b73