Commits · ed026ae8366323a3ac2e2b9611cb90ae16176962 · Andreas Klöckner / leap · GitLab

This project is archived. Its data is read-only.

Oct 24, 2018
- Placate new Flake8 · ed026ae8
  Andreas Klöckner authored Oct 24, 2018
  
  ed026ae8
Mar 29, 2018
- Merge branch 'master' of ssh://gitlab.tiker.net/inducer/leap · f894bd57
  Andreas Klöckner authored Mar 29, 2018
  
  f894bd57
- Add doc link · 01dd39ef
  Andreas Klöckner authored Mar 29, 2018
  
  01dd39ef
- Add build badge to README · 5378c7ad
  Andreas Klöckner authored Mar 29, 2018
  
  5378c7ad
Mar 14, 2018
- Merge branch 'remove-make-solver-call' into 'master' · 14e004b1
  Andreas Klöckner authored Mar 14, 2018
  14e004b1
- Fix flake8 warning · b2fc4eed
  Matt Wala authored Mar 14, 2018
  
  b2fc4eed
- Merge branch 'master' into remove-make-solver-call · 4101aee6
  Matt Wala authored Mar 14, 2018
  
  4101aee6
- Merge branch 'examples-ci' into 'master' · 51b1deba
  Matt Wala authored Mar 14, 2018
  51b1deba
- Merge branch 'callable-as-solver-hook' into 'master' · f993a2e8
  Andreas Klöckner authored Mar 14, 2018
  f993a2e8
- Use Py 3.6 for examples test · c9dff2ab
  Andreas Klöckner authored Mar 14, 2018
  
  c9dff2ab
- Trigger build · 1a41d685
  Matt Wala authored Mar 13, 2018
  
  1a41d685
- [ci skip] Revert "Cargo culting" · 57664355
  Matt Wala authored Mar 13, 2018
  57664355
- Cargo culting · 463c8d55
  Matt Wala authored Mar 13, 2018
  
  463c8d55
- Add examples CI job · f3b552ac
  Matt Wala authored Mar 13, 2018
  
  f3b552ac
- Make stability examples safe for headless execution · 0c43a937
  Matt Wala authored Mar 13, 2018
  
  0c43a937
- [ci skip] · 29f1f9b4
  Matt Wala authored Mar 13, 2018
  29f1f9b4
Mar 13, 2018
- replace_AssignSolved(): Allow passing a callable for solver_hooks. · 9913b331
  Matt Wala authored Mar 13, 2018
  
  9913b331
- Merge branch 'change-solver-hook-api' into 'master' · b283ce3d
  Matt Wala authored Mar 13, 2018
  b283ce3d
- Merge branch 'master' into change-solver-hook-api · e747271c
  Matt Wala authored Mar 13, 2018
  
  e747271c
- replace_AssignSolved(): Pass more data to the solver hook. · c052b74e
  Matt Wala authored Mar 13, 2018
  c052b74e
Mar 11, 2018
- Remove no-longer-needed insn-to-statement script · f4bf57c7
  Andreas Klöckner authored Mar 11, 2018
  
  f4bf57c7
- Merge branch 'insn-to-statement' into 'master' · e56df190
  Andreas Klöckner authored Mar 11, 2018
  e56df190
- Point requirements.txt back at dagrt master · 4bec9c41
  Andreas Klöckner authored Mar 11, 2018
  
  4bec9c41
- Apply insn-to-statement rename · 0f615495
  Andreas Klöckner authored Mar 11, 2018
  
  0f615495
- Prevent i2s script from breaking requirements.txt · 7b160080
  Andreas Klöckner authored Mar 11, 2018
  
  7b160080
- Point dagrt ref at insn-to-statement branch · 49a331ad
  Andreas Klöckner authored Mar 11, 2018
  
  49a331ad
Mar 02, 2018
- Merge branch 'state-to-phase' into 'master' · 55a3e63b
  Andreas Klöckner authored Mar 02, 2018
  55a3e63b
- Point dagrt back requirements.txt back at master · 0307191e
  Andreas Klöckner authored Mar 01, 2018
  
  0307191e
- Point leap at state-to-phase dagrt temporarily · a479572f
  Andreas Klöckner authored Mar 01, 2018
  
  a479572f
- [ci skip] Bump dagrt version in setup.py · c3a40ee4
  Matt Wala authored Mar 01, 2018
  
  c3a40ee4
- [ci skip] Bump version · cf9c1d95
  Matt Wala authored Mar 01, 2018
  
  cf9c1d95
- [ci skip] Realize state -> phase rename for state-machine style "states". · d2abb984
  Matt Wala authored Mar 01, 2018
  d2abb984
Feb 27, 2018
- Fix pytest script-based test invocation · 2f7ef795
  Andreas Klöckner authored Feb 27, 2018
  
  2f7ef795
Feb 07, 2018
- Merge branch 'cory-lls' · 9382dd35
  Cory Mikida authored Feb 06, 2018
  
  9382dd35
Feb 06, 2018
- Merge branch 'fix-mrab-bootstrap-finalization' into 'master' · 0fb61480
  Andreas Klöckner authored Feb 06, 2018
  0fb61480
- More concrete evidence of consistency error convergence testing · e3b8f4b4
  Cory Mikida authored Feb 06, 2018
  
  e3b8f4b4
Feb 05, 2018
- Merge branch 'fix-mrab-bootstrap-finalization' of... · b6f6e0c5
  Cory Mikida authored Feb 05, 2018
  b6f6e0c5
- Adds comment documented check for relative error convergence in early · 55b64ce4
  Cory Mikida authored Feb 05, 2018
  55b64ce4
Feb 03, 2018
- Update requirements.txt · c509ca01
  Andreas Klöckner authored Feb 02, 2018
  
  c509ca01
Feb 02, 2018
- Adds symbolic consistency threshold for early-policy RHSs · 2e6ca077
  Cory Mikida authored Feb 02, 2018
  
  2e6ca077