Commits

Commit history

1. Commits on Apr 18, 2025

   • Merge pull request #8 from fredfeng/random-fix

     Show description for bdcf6d3
     chyanju

     authored
     bdcf6d3View commit details

     Copy full SHA for bdcf6d3

     Browse repository at this point
2. Commits on Jan 5, 2022

   • Merge pull request #10 from jasonhemann/master

     Show description for 588c8cf
     chyanju

     authored
     588c8cfView commit details

     Copy full SHA for 588c8cf

     Browse repository at this point

   • Adding additional steps for potentially missing packages

     jasonhemann

     committed
     6864491View commit details

     Copy full SHA for 6864491

     Browse repository at this point
3. Commits on Sep 17, 2021

   • Merge pull request #12 from sangongs/fix_blame

     Show description for 2089133
     chyanju

     authored
     2089133View commit details

     Copy full SHA for 2089133

     Browse repository at this point
4. Commits on Sep 15, 2021

   • fix a blame expansion bug when two expressions in the unsat core belong to the same production rule

     

     Guoqiang Zhang

     committed
     8d992d6View commit details

     Copy full SHA for 8d992d6

     Browse repository at this point
5. Commits on May 6, 2021

   • Clarifying a few steps in the install

     Show description for f3a3f75
     jasonhemann

     authored
     f3a3f75View commit details

     Copy full SHA for f3a3f75

     Browse repository at this point
6. Commits on Feb 24, 2021

   • demo_morpheus_enumerator for comparison

     chyanju

     committed
     37d1366View commit details

     Copy full SHA for 37d1366

     Browse repository at this point
7. Commits on Feb 21, 2021

   • clean up code in pythonic way

     fredfeng

     committed
     e69f086View commit details

     Copy full SHA for e69f086

     Browse repository at this point

   • switch to incremental solver

     fredfeng

     committed
     b1ff684View commit details

     Copy full SHA for b1ff684

     Browse repository at this point

   • new enumerator

     fredfeng

     committed
     ba28628View commit details

     Copy full SHA for ba28628

     Browse repository at this point
8. Commits on Aug 5, 2020

   • added RelaxedRandomEnumerator

     Show description for 6948439
     chyanju

     committed
     6948439View commit details

     Copy full SHA for 6948439

     Browse repository at this point
9. Commits on May 13, 2020

   • Fix: removed predicates that were forcing a giving sketch in morpheus.tyrell

     rubengmartins

     committed
     66aeea2View commit details

     Copy full SHA for 66aeea2

     Browse repository at this point
10. Commits on May 12, 2020

    • Merge pull request #6 from fredfeng/blame-fix

      Show description for 7a61580
      fredfeng

      authored
      7a61580View commit details

      Copy full SHA for 7a61580

      Browse repository at this point
11. Commits on May 11, 2020

    • added simple string example

      chyanju

      committed
      e1be197View commit details

      Copy full SHA for e1be197

      Browse repository at this point

    • fix Z3Encoder

      Show description for f420fc3
      chyanju

      committed
      f420fc3View commit details

      Copy full SHA for f420fc3

      Browse repository at this point
12. Commits on Mar 1, 2020

    • Update README.md

      fredfeng

      authored
      311cf7dView commit details

      Copy full SHA for 311cf7d

      Browse repository at this point
13. Commits on Oct 6, 2019

    • fixing the demo

      fredfeng

      committed
      de512cbView commit details

      Copy full SHA for de512cb

      Browse repository at this point
14. Commits on May 2, 2019

    • handle symbolic table

      fredfeng

      committed
      2af3522View commit details

      Copy full SHA for 2af3522

      Browse repository at this point

    • reset states in initialization

      fredfeng

      committed
      c695c34View commit details

      Copy full SHA for c695c34

      Browse repository at this point
15. Commits on Mar 14, 2019

    • Update README.md

      fredfeng

      authored
      2da3c51View commit details

      Copy full SHA for 2da3c51

      Browse repository at this point
16. Commits on Mar 13, 2019

    • integrate jia's correct deductor

      fredfeng

      committed
      bd32da4View commit details

      Copy full SHA for bd32da4

      Browse repository at this point

    • Add blame to PruningException handling

      grievejia

      committed
      3e121ceView commit details

      Copy full SHA for 3e121ce

      Browse repository at this point

    • Added a new ExampleConstraintPruningDecider to support iterpretation

      Show description for 881941d
      grievejia

      committed
      881941dView commit details

      Copy full SHA for 881941d

      Browse repository at this point
17. Commits on Mar 12, 2019

    • fix rules

      fredfeng

      committed
      5f1bbefView commit details

      Copy full SHA for 5f1bbef

      Browse repository at this point

    • debug unsoundness

      fredfeng

      committed
      0566dddView commit details

      Copy full SHA for 0566ddd

      Browse repository at this point
18. Commits on Mar 11, 2019

    • Changed weight 100 to be considered hard constraints

      rubengmartins

      committed
      909f63bView commit details

      Copy full SHA for 909f63b

      Browse repository at this point

    • fixed the comparison function

      fredfeng

      committed
      4f5325aView commit details

      Copy full SHA for 4f5325a

      Browse repository at this point
19. Commits on Mar 10, 2019

    • a better dsl

      fredfeng

      committed
      d232ec4View commit details

      Copy full SHA for d232ec4

      Browse repository at this point
20. Commits on Mar 9, 2019

    • debug optimizer

      fredfeng

      committed
      160e053View commit details

      Copy full SHA for 160e053

      Browse repository at this point

    • Changed the comparator for data frames

      

      Ruben Martins

      authored and

      Ruben Martins

      committed
      4f0ac19View commit details

      Copy full SHA for 4f0ac19

      Browse repository at this point

    • set up experiment for morpheus at pldi17

      fredfeng

      committed
      54e57aeView commit details

      Copy full SHA for 54e57ae

      Browse repository at this point

    • Merge pull request #2 from rodamber/master

      Show description for 6f8a0e5
      

      Captain

      authored
      6f8a0e5View commit details

      Copy full SHA for 6f8a0e5

      Browse repository at this point
21. Commits on Jan 25, 2019

    • typo from jia

      fredfeng

      committed
      4276763View commit details

      Copy full SHA for 4276763

      Browse repository at this point
22. Commits on Jan 23, 2019

    • Merge remote-tracking branch 'upstream/master'

      rodamber

      committed
      ea737b8View commit details

      Copy full SHA for ea737b8

      Browse repository at this point

    • Fix typos

      rodamber

      committed
      193d68dView commit details

      Copy full SHA for 193d68d

      Browse repository at this point