Commits · bfbffb682d34f11f67e0e75562b936c0c89dc2e8 · LARA / inox

Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Jun 25, 2015
- Simplifications · d03bb32b
  Manos Koukoutos authored 10 years ago
  
  d03bb32b
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Mar 26, 2015
- Fix numerous style issues · c48a0caa
  Manos Koukoutos authored 10 years ago
  
  c48a0caa
Mar 18, 2015
- Even more fixes · 5a3a65c9
  Manos Koukoutos authored 10 years ago
  
  5a3a65c9
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
- Remove unused imports · b2360e54
  Manos Koukoutos authored 10 years ago
  
  b2360e54
Feb 17, 2015
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Nov 21, 2012
- some more refactoring · 97d4c17a
  Régis Blanc authored 12 years ago
  
  97d4c17a
- refactor ArithmeticNormalization into TreeNormalizations · 40eee30e
  Régis Blanc authored 12 years ago
  
  40eee30e
Nov 20, 2012
- refactor GCD and other · 7888fdb8
  Régis Blanc authored 12 years ago
  
  7888fdb8
- start to move and refactor some stuff · ae5727e2
  Régis Blanc authored 12 years ago
  
  ae5727e2
Nov 16, 2012
- simplify some division · 7baf6141
  Régis Blanc authored 12 years ago
  
  7baf6141
- moore simplification · fcb7e959
  Régis Blanc authored 12 years ago
  
  fcb7e959
- more simplification · e983c5e5
  Régis Blanc authored 12 years ago
  
  e983c5e5
- some simplification · 729e2863
  Régis Blanc authored 12 years ago
  
  729e2863
Nov 15, 2012
- remove println · 636ab516
  Régis Blanc authored 12 years ago
  
  636ab516
- fixpoint for simplify · e562b86f
  Régis Blanc authored 12 years ago
  
  e562b86f
- Better representation for And(seq) and Or(seq). · 2eda3724
  Philippe Suter authored 12 years ago
  
  2eda3724
Nov 14, 2012
- do not crash on non linear arithmetic expressions ! · f947b2d3
  Régis Blanc authored 12 years ago
  
  f947b2d3
- integrate equation synthesis as a rule · f751527f
  Régis Blanc authored 12 years ago
  
  f751527f
Nov 12, 2012
- fix a few things · fa95f047
  Régis Blanc authored 12 years ago
  
  fa95f047
- fix bug in arithmetic normalization · de7ad5b8
  Régis Blanc authored 12 years ago
  
  de7ad5b8
- extract Equals · 0ba1a597
  Régis Blanc authored 12 years ago
  
  0ba1a597
Nov 11, 2012
- fix bug in simplify · 80b86845
  Régis Blanc authored 12 years ago
  
  80b86845
- simplify x*0 · eb02e5c5
  Régis Blanc authored 12 years ago
  
  eb02e5c5
- simplify function · 232e7e19
  Régis Blanc authored 12 years ago
  
  232e7e19
Nov 06, 2012
- new way to test for equality of two expression · 09741fce
  Régis Blanc authored 12 years ago
  
  09741fce
Nov 05, 2012
- some arithmetic manipulations with tests · 0490335a
  Régis Blanc authored 12 years ago
  
  0490335a