Commits · 6530098e885b9eb798edc3911a4456e04fc650cf · LARA / inox · GitLab

Snippets Groups Projects

Jul 12, 2011
- the "c" method · 6530098e
  Ali Sinan Köksal authored 13 years ago
  
  6530098e
- imperative send+more=money works · e7d46767
  Philippe Suter authored 13 years ago
  
  e7d46767
- . · c73733fd
  Ali Sinan Köksal authored 13 years ago
  
  c73733fd
- little crash · 44b44bcf
  Philippe Suter authored 13 years ago
  
  44b44bcf
- playing with graphs · 874127e1
  Philippe Suter authored 13 years ago
  
  874127e1
- some changes · 9fa5979d
  Philippe Suter authored 13 years ago
  
  9fa5979d
Jul 11, 2011
- changse · 84c3de9e
  Philippe Suter authored 13 years ago
  
  84c3de9e
Jul 10, 2011
- a couple of additional constraints for send more money · 085927b2
  Ali Sinan Köksal authored 13 years ago
  
  085927b2
- bugfix for lazySolve involving guards · 3768913b
  Ali Sinan Köksal authored 13 years ago
  
  3768913b
- something crashing with SEND MORE MONEY · 7a1545ae
  Philippe Suter authored 13 years ago
  
  7a1545ae
- little Sat solver in one (big, fat) line · 0e97bfb0
  Philippe Suter authored 13 years ago
  
  0e97bfb0
Jul 09, 2011
- file containing examples from the paper, to make sure everything compiles etc. · 1e525071
  Philippe Suter authored 13 years ago
  
  1e525071
Jul 08, 2011
- when-otherwise example · 6aa21482
  Ali Sinan Köksal authored 13 years ago
  
  6aa21482
- bunch of constructs: assuming, cif-celse, when(-otherwise) · e8f52dbe
  Ali Sinan Köksal authored 13 years ago
  
  e8f52dbe
- - Term0 and Constraint0: currently manually written, soon to be generated · 8951a0aa
  Ali Sinan Köksal authored 13 years ago
  
  automatically. - The assuming example that uses Constraint0
  8951a0aa
- example demonstrating the "single value" semantics of L variables · fb058a2d
  Ali Sinan Köksal authored 13 years ago
  
  fb058a2d
- better displaying of L variables · 1b9d6508
  Ali Sinan Köksal authored 13 years ago
  
  1b9d6508
- make the compiler phase quiet by default · dc153c66
  Ali Sinan Köksal authored 13 years ago
  
  dc153c66
- fix to lazy iteration, binary sorted lists example should work now. · e25d1553
  Ali Sinan Köksal authored 13 years ago
  
  e25d1553
Jul 07, 2011
- fix for not fetching guards for synthetic L values · cfbbefbd
  Ali Sinan Köksal authored 13 years ago
  
  cfbbefbd
- fix to lazy enumeration: now hopefully ensuring the semantics of single · df28aef2
  Ali Sinan Köksal authored 13 years ago
  
  valued L variables
  df28aef2
- benchmark works with findAll but crashed weirdly with lazyFindAll · c502d1b4
  Philippe Suter authored 13 years ago
  
  c502d1b4
- three different encodings of the CADE tool demo example. Interestingly enough, they all work. · f9167743
  Philippe Suter authored 13 years ago
  
  f9167743
- weird testcase: finding prime numbers by unrolling.... · 5f5a5953
  Philippe Suter authored 13 years ago
  
  5f5a5953
- constraints have access to the L variables occurring in them · 4639239d
  Ali Sinan Köksal authored 13 years ago
  
  4639239d
- fix to lazy enumeration · 2191f9e3
  Ali Sinan Köksal authored 13 years ago
  
  2191f9e3
Jul 06, 2011
- should not have committed debug printing · e75243d6
  Ali Sinan Köksal authored 13 years ago
  
  e75243d6
- various fixes to translation of case classes with set/map fields · efd59ede
  Ali Sinan Köksal authored 13 years ago
  
  efd59ede
- conversion from and to Z3 sorts of maps and sets should be complete now · 0cbdba59
  Ali Sinan Köksal authored 13 years ago
  
  0cbdba59
- abstract memory example from Alloy · 2bd38bc3
  Ali Sinan Köksal authored 13 years ago
  
  2bd38bc3
- Revert "unfinished implementation moved to branch" · ee21fa1e
  Ali Sinan Köksal authored 13 years ago
  
  do not know how I managed to put this also on master This reverts commit 31133fb440eabc5160c35bcaaa04ff621d2e0649.
  ee21fa1e
Jul 05, 2011
- unfinished implementation moved to branch · fc86cbce
  Ali Sinan Köksal authored 13 years ago
  
  fc86cbce
- remove duplicate implicit conversion · 5fac41c2
  Ali Sinan Köksal authored 13 years ago
  
  5fac41c2
- lazySolve returns Scala tuple of L variables; implicit conversion from · 923891a5
  Ali Sinan Köksal authored 13 years ago
  
  these to tuples of Scala variables; and also classes for being able to invoke `value' on these tuples
  923891a5
- Got rid of LStreams which extended FilterMonadic, we now have LIterator · 1b9935ba
  Ali Sinan Köksal authored 13 years ago
  
  which extends Iterator, so supports more methods
  1b9935ba
Jul 04, 2011
- implicit conversions from LTuples into tuples of L's -- not definitely sure · 4f119ba6
  Ali Sinan Köksal authored 13 years ago
  
  about having these.
  4f119ba6
- Generation of code for lazySolve yielding LTuples · 462b6157
  Ali Sinan Köksal authored 13 years ago
  
  462b6157
- more · 72152b01
  Philippe Suter authored 13 years ago
  
  72152b01
- stub for plugin test · 33d511c2
  Philippe Suter authored 13 years ago
  
  33d511c2
- hardly anything · f7bdb025
  Philippe Suter authored 13 years ago
  
  f7bdb025