Commits · 800df59d55f211dc18cbe8fb67adb1dd9ea3b91a · LARA / inox

Sep 03, 2015
- MapGet -> MapApply · 800df59d
  Manos Koukoutos authored 9 years ago
  
  800df59d
Sep 01, 2015
- Use UniqueCounter consistently · cd29e3e2
  Manos Koukoutos authored 9 years ago
  
  cd29e3e2
- Tidy up testcases · 4104846b
  Manos Koukoutos authored 9 years ago
  
  4104846b
- Make sure to handle all literals in valueToJVM · f9b0ce4e
  Manos Koukoutos authored 9 years ago
  
  f9b0ce4e
- Remove traces of identifier encoding · ac3f4b04
  Manos Koukoutos authored 9 years ago
  
  ac3f4b04
- This looks like dead code · 8f0963fc
  Manos Koukoutos authored 9 years ago
  
  8f0963fc
- Latest scala-smtlib treats symbolic ids correctly · 5b32863a
  Manos Koukoutos authored 9 years ago
  
  5b32863a
Aug 31, 2015
- Improve printer · d7926296
  Manos Koukoutos authored 9 years ago
  
  d7926296
- More printer fixes · c29501e8
  Manos Koukoutos authored 9 years ago
  
  c29501e8
- Print functions/unapply objects with paths, fix printing with braces · 949f28fb
  Manos Koukoutos authored 9 years ago
  
  949f28fb
- Make a common class for UniqueCounter's, rename exprToJVM and jvmToExpr · d6ea932c
  Manos Koukoutos authored 9 years ago
  
  d6ea932c
- Update .gitignore · 6cde4de6
  Manos Koukoutos authored 9 years ago
  
  6cde4de6
- Remove some dead stuff · f793baed
  Manos Koukoutos authored 9 years ago
  
  f793baed
- Pretty print Raw Array · 16c5eabe
  Manos Koukoutos authored 9 years ago
  
  16c5eabe
- Improve Identifier API, and "undefined" errors · 859cfa88
  Manos Koukoutos authored 9 years ago
  
  Identifier fields which can be private are now private. Identifier now inherits Ordered. Define Undefined error, and its subclass SolverUndefinedError. Use it mainly in solvers.
  859cfa88
- Identifiers stored in Trees in decoded form · 3bdeeebf
  Manos Koukoutos authored 9 years ago
  
  3bdeeebf
Aug 28, 2015
- Enrich FreeableIterator's API, define GrowableIterable · 31db0f47
  Etienne Kneuss authored 9 years ago
  
  31db0f47
- Type FunDef identifiers during CodeExtraction, and some API improvements · 3d1a47cf
  Manos Koukoutos authored 9 years ago
  
  3d1a47cf
Aug 27, 2015
- XLang/PrettyPrintable are now in line with new printer · 15c957e6
  Manos Koukoutos authored 9 years ago
  
  15c957e6
- Improve printing · 5bf8a57c
  Manos Koukoutos authored 9 years ago
  
  5bf8a57c
- Tidy imports here · 859443eb
  Manos Koukoutos authored 9 years ago
  
  859443eb
- Make sure a Tree is not its own parent · 28f52708
  Manos Koukoutos authored 9 years ago
  
  28f52708
- LeonContext.empty · 52c37827
  Manos Koukoutos authored 9 years ago
  
  52c37827
- Remove var from case class fields · cad643c4
  Manos Koukoutos authored 9 years ago
  
  cad643c4
- Handle case-class field implementing method · 5d8d8ea1
  Manos Koukoutos authored 9 years ago
  
  5d8d8ea1
- Stop printing one-case matches differently · 0d6448eb
  Manos Koukoutos authored 9 years ago
  
  0d6448eb
- More debug strings · bcc2e06e
  Manos Koukoutos authored 9 years ago
  
  bcc2e06e
- Remove useless type tag · ab6b2d58
  Manos Koukoutos authored 9 years ago
  
  ab6b2d58
- Ok, now we extract correctly · bf148fae
  Manos Koukoutos authored 9 years ago
  
  bf148fae
- Correctly parse abstract val's · 54bc9b3a
  Manos Koukoutos authored 9 years ago
  
  54bc9b3a
- Some extra library methods · 1b3766a2
  Manos Koukoutos authored 9 years ago
  
  1b3766a2
- List.length as an alias to size · 58dcce49
  Manos Koukoutos authored 9 years ago
  
  58dcce49
- Hopefully a little more readable · 3c77e1f5
  Manos Koukoutos authored 9 years ago
  
  3c77e1f5
- Mainly TerminationReport improvement · 9382c4cd
  Manos Koukoutos authored 9 years ago
  
  9382c4cd
- Improvements · 17699e7a
  Manos Koukoutos authored 9 years ago
  
  17699e7a
- vcs/ is now smt-sessions/ · 17985d41
  Etienne Kneuss authored 9 years ago
  
  17985d41
- I tried to formalize an algorithm from my paper and made mistake, · c3faa517
  Viktor Kuncak authored 9 years ago
  
  which Leon repaired so I understood what the problem was.
  c3faa517
Aug 26, 2015
- fix proof of 'reverseIndex' · dc7b1b80
  Lars Hupel authored 9 years ago
  
  dc7b1b80
Aug 25, 2015
- change List.contains to use pattern matching without guards · c580f3b0
  Lars Hupel authored 9 years ago
  
  c580f3b0
- Shorter authors, display last-updated-date · dbca9036
  Etienne Kneuss authored 9 years ago
  
  dbca9036