Commits · 801f517256f9278cf2f6a9a139397208857292f9 · AVANZINI Martin / ecoimp

09 May, 2020 8 commits
- trader-1000000 · 801f5172
  AVANZINI Martin authored May 09, 2020
  
  801f5172
- further entailment checks · f4bf31de
  AVANZINI Martin authored May 09, 2020
  
  f4bf31de
- Merge branch 'cexp' of gitlab.inria.fr:mavanzin/pwhile into cexp · e3b7d911
  AVANZINI Martin authored May 09, 2020
  
  e3b7d911
- heuristics for entailment without SMT · f5132895
  AVANZINI Martin authored May 09, 2020
  
  f5132895
- pretty printer bool expressions · 0bc972dc
  AVANZINI Martin authored May 09, 2020
  
  0bc972dc
- mixed template added · af1a19bf
  AVANZINI Martin authored May 09, 2020
  
  af1a19bf
- cexp pretty printer slightly adapted · 0e7fba83
  AVANZINI Martin authored May 09, 2020
  
  0e7fba83
- add (variation) of 2drobot as imp · 39ad119f
  mschaper authored May 09, 2020
  
  39ad119f
08 May, 2020 4 commits
- some parameterized examples · ce812aa1
  AVANZINI Martin authored May 08, 2020
  
  ce812aa1
- fixed parser of bernoulli distribution · 09cd66c6
  AVANZINI Martin authored May 08, 2020
  
  09cd66c6
- avoid constant norms in norm-template · 0de6ac7c
  AVANZINI Martin authored May 08, 2020
  
  0de6ac7c
- parameterized trader · 0e2fc169
  AVANZINI Martin authored May 08, 2020
  
  0e2fc169
07 May, 2020 3 commits
- absynth test script · a50ffcd4
  AVANZINI Martin authored May 07, 2020
  
  a50ffcd4
- more examples · 8f806526
  AVANZINI Martin authored May 07, 2020
  
  8f806526
- oopsla testbed · e5de6acc
  AVANZINI Martin authored May 07, 2020
  
  e5de6acc
06 May, 2020 2 commits
- added support for binomial distributions · 32c49299
  AVANZINI Martin authored May 06, 2020
  
  32c49299
- added current results · 9a393a7f
  AVANZINI Martin authored May 06, 2020
  
  9a393a7f
05 May, 2020 4 commits
- minor cleanup · 058665be
  AVANZINI Martin authored May 05, 2020
  
  058665be
- oopsla testbed · 2b4350e2
  AVANZINI Martin authored May 05, 2020
  
  2b4350e2
- all examples pass :) · ce1b2bc5
  AVANZINI Martin authored May 05, 2020
  
  ce1b2bc5
- new strategy for templates · a6b6c13c
  AVANZINI Martin authored May 05, 2020
  
  a6b6c13c
30 Apr, 2020 1 commit
- more simplifications when dividing/scaling · e75ecf8c
  AVANZINI Martin authored Apr 30, 2020
  
  e75ecf8c
29 Apr, 2020 2 commits
- cexp simplifications and extended heuristics · a1a9ed33
  AVANZINI Martin authored Apr 29, 2020
  
  a1a9ed33
- dedicated norms · be38823e
  AVANZINI Martin authored Apr 29, 2020
  
  be38823e
28 Apr, 2020 1 commit
- check for constant GExps completed · 7c5e2077
  AVANZINI Martin authored Apr 28, 2020
  
  7c5e2077
25 Apr, 2020 1 commit
- structor of CExp changed · f98b45a3
  AVANZINI Martin authored Apr 25, 2020
  
  f98b45a3
07 Apr, 2020 1 commit
- shift heuristic · def9c133
  AVANZINI Martin authored Apr 07, 2020
  
  def9c133
05 Apr, 2020 4 commits
- comment on shift strategy · 3d8f8383
  mschaper authored Apr 05, 2020
  
  3d8f8383
- Merge branch 'cexp' of gitlab.inria.fr:mavanzin/pwhile into cexp · a3b4e8cf
  AVANZINI Martin authored Apr 05, 2020
  
  a3b4e8cf
- some bugfixes · e9807133
  AVANZINI Martin authored Apr 05, 2020
  
  e9807133
- fix: do not remove valid constraints in reduce · 9d9e2a75
  mschaper authored Apr 05, 2020
  
  9d9e2a75
01 Apr, 2020 1 commit
- fixed preliminary abort in constraint reduction · 3a92ec28
  AVANZINI Martin authored Apr 01, 2020
  
  3a92ec28
31 Mar, 2020 3 commits
- some more simplifications in CExp · 4d6dcf7d
  AVANZINI Martin authored Mar 31, 2020
  
  4d6dcf7d
- simplification of conds in CExp · 6149003d
  AVANZINI Martin authored Mar 31, 2020
  
  6149003d
- toFrac recurse in frac · 1192d014
  AVANZINI Martin authored Mar 31, 2020
  
  1192d014
30 Mar, 2020 2 commits
- fixed bug in constraint simplification of divs · 19796374
  AVANZINI Martin authored Mar 30, 2020
  
  19796374
- added ec function and simple examples · 9faed3ec
  AVANZINI Martin authored Mar 30, 2020
  
  9faed3ec
29 Mar, 2020 1 commit
- first running version with new CExp AST · b2b6e982
  AVANZINI Martin authored Mar 29, 2020
  
  b2b6e982
19 Mar, 2020 2 commits
- remove some commented code · 4a2a5c34
  AVANZINI Martin authored Mar 19, 2020
  
  4a2a5c34
- network example · 16a60407
  AVANZINI Martin authored Mar 19, 2020
  
  16a60407