Commits · master · Verifisc / Mlang

07 Aug, 2020 1 commit
- Fixed test verif conditions that should be in iliad... · 30c10363
  Denis Merigoux authored Aug 07, 2020
  
  30c10363
13 Jul, 2020 1 commit
- Re-fixed ocamlgraph weird behavior · 35eb0838
  Denis Merigoux authored Jul 13, 2020
  
  35eb0838
09 Jul, 2020 8 commits
- Finished to update the README · 6477e66f
  Denis Merigoux authored Jul 09, 2020
  
  6477e66f
- Fixed a bunch of things, interpreter working with example · 1a505796
  Denis Merigoux authored Jul 09, 2020
  
  1a505796
- More README updates · 013e46ae
  Denis Merigoux authored Jul 09, 2020
  
  013e46ae
- Updated README · d4252c99
  Denis Merigoux authored Jul 09, 2020
  
  d4252c99
- Interpreter now working with published 2018 sources · f155cb4a
  Denis Merigoux authored Jul 09, 2020
  
  f155cb4a
- Updated ir-calcul · 5dabc486
  Denis Merigoux authored Jul 09, 2020
  
  5dabc486
- Pretty interpreter top Makefile rule · b3fcd9fe
  Denis Merigoux authored Jul 09, 2020
  
  b3fcd9fe
- Fixed sources bug · 40986a84
  Denis Merigoux authored Jul 09, 2020
  
  40986a84
08 Jul, 2020 3 commits
- No more failing tests! · 65b9339e
  Denis Merigoux authored Jul 08, 2020
  
  65b9339e
- Error A982 not raised anymore! · 41a0a8ba
  Denis Merigoux authored Jul 08, 2020
  
  41a0a8ba
- Test passed message · 4540b81a
  Denis Merigoux authored Jul 08, 2020
  
  4540b81a
07 Jul, 2020 7 commits
- Add strict control of outputs! · 1d79a669
  Denis Merigoux authored Jul 07, 2020
  
  1d79a669
- Better output · 724fff32
  Denis Merigoux authored Jul 07, 2020
  
  724fff32
- Various fixes · ddea710b
  Denis Merigoux authored Jul 07, 2020
  
  ddea710b
- Removed m_spec file for tests · f06ffcb1
  Denis Merigoux authored Jul 07, 2020
  
  f06ffcb1
- Added interpretable_program type · 3e45be87
  Denis Merigoux authored Jul 07, 2020
  
  3e45be87
- Merge branch 'double_liquidation3' of gitlab.inria.fr:verifisc/mlang into double_liquidation3 · 85ccf852
  Raphaël Monat authored Jul 07, 2020
  
  85ccf852
- Article 1731bis · 612a237b
  Raphaël Monat authored Jul 07, 2020
  
  612a237b
06 Jul, 2020 10 commits
- Just missing m_max and m_min Python implem to reestablish extraction · b39ea374
  Denis Merigoux authored Jul 06, 2020
  
  b39ea374
- Fixed extraction · f56e6281
  Denis Merigoux authored Jul 06, 2020
  
  f56e6281
- Fixed optimizations · 33015e0c
  Denis Merigoux authored Jul 06, 2020
  
  33015e0c
- Fixed m_spec parsing · 520a41fe
  Denis Merigoux authored Jul 06, 2020
  
  520a41fe
- Removed z3 examples folder · 9f36569a
  Denis Merigoux authored Jul 06, 2020
  
  9f36569a
- Properly test verification conditions · f8d4d8aa
  Denis Merigoux authored Jul 06, 2020
  
  f8d4d8aa
- Changed test framework to allow a +/- 1 slack on the expected value · 50cfc8a7
  Denis Merigoux authored Jul 06, 2020
  
  50cfc8a7
- Fixed input problems -> 475 variables · 34aacffd
  Denis Merigoux authored Jul 06, 2020
  
  34aacffd
- Updated IR sources · b98cb890
  Denis Merigoux authored Jul 06, 2020
  
  b98cb890
- Removed now useless union find · e5c518fd
  Denis Merigoux authored Jul 06, 2020
  
  e5c518fd
03 Jul, 2020 10 commits
- Fix m_spec parser for empty consts · 39e25207
  Raphaël Monat authored Jul 03, 2020
  
  39e25207
- Double liquidation pvro working · 32c5a6ab
  Raphaël Monat authored Jul 03, 2020
  
  32c5a6ab
- Clean m_spec, keep only V_IND_TRAIT · 0fe523f0
  Raphaël Monat authored Jul 03, 2020
  
  0fe523f0
- Removed SCC machinery which is now useless · e657a06a
  Denis Merigoux authored Jul 03, 2020
  
  e657a06a
- Check variable conditions at the end · 58c55bff
  Raphaël Monat authored Jul 03, 2020
  
  58c55bff
- Merge branch 'double_liquidation3' of gitlab.inria.fr:verifisc/mlang into double_liquidation3 · 03221711
  Raphaël Monat authored Jul 03, 2020
  
  03221711
- Add threads to dune libraries · ad5a733e
  Raphaël Monat authored Jul 03, 2020
  
  ad5a733e
- Removed boolean literals, typing and Z3 dependencies · be742eec
  Denis Merigoux authored Jul 03, 2020
  
  be742eec
- Move to 2018_6_3 · bc0f1436
  Raphaël Monat authored Jul 03, 2020
  
  bc0f1436
- Update ir-calcul submodule · 4d630410
  Raphaël Monat authored Jul 03, 2020
  
  4d630410