Commits

Commit history

1. Commits on Apr 6, 2026

   • Rewrite README with full project documentation and add report

     gorkemyar

     committed
     aa0e010View commit details

     Copy full SHA for aa0e010

     Browse repository at this point
2. Commits on Jan 14, 2024

   • bug fix

     

     gorkemyar

     committed
     ec3b0b6View commit details

     Copy full SHA for ec3b0b6

     Browse repository at this point

   • Merge remote-tracking branch 'refs/remotes/origin/master'

     

     gorkemyar

     committed
     1f2e1bcView commit details

     Copy full SHA for 1f2e1bc

     Browse repository at this point

   • bug fix

     

     gorkemyar

     committed
     059282eView commit details

     Copy full SHA for 059282e

     Browse repository at this point

   • does not perform preconstriant conversion when there is no preconstraint

     rebahozkoc

     committed
     fbcd765View commit details

     Copy full SHA for fbcd765

     Browse repository at this point

   • FiX MiNOR BUG

     rebahozkoc

     committed
     30425a8View commit details

     Copy full SHA for 30425a8

     Browse repository at this point

   • add preconstraint symbolic solver

     QuZu

     committed
     223870dView commit details

     Copy full SHA for 223870d

     Browse repository at this point

   • Merge remote-tracking branch 'refs/remotes/origin/master'

     

     gorkemyar

     committed
     83240d2View commit details

     Copy full SHA for 83240d2

     Browse repository at this point

   • constraint input to gpt added

     

     gorkemyar

     committed
     946b5e2View commit details

     Copy full SHA for 946b5e2

     Browse repository at this point

   • fix parameter removal problem

     QuZu

     committed
     29668b7View commit details

     Copy full SHA for 29668b7

     Browse repository at this point

   • adds preconstraint input

     rebahozkoc

     committed
     6f3a589View commit details

     Copy full SHA for 6f3a589

     Browse repository at this point
3. Commits on Jan 13, 2024

   • bug solve gpt

     

     gorkemyar

     committed
     5efc7dbView commit details

     Copy full SHA for 5efc7db

     Browse repository at this point
4. Commits on Jan 4, 2024

   • minor

     

     gorkemyar

     committed
     f5aa058View commit details

     Copy full SHA for f5aa058

     Browse repository at this point

   • Merge remote-tracking branch 'refs/remotes/origin/master'

     

     gorkemyar

     committed
     f41dbb6View commit details

     Copy full SHA for f41dbb6

     Browse repository at this point

   • bug fix loop unfolding

     

     gorkemyar

     committed
     cd6cedbView commit details

     Copy full SHA for cd6cedb

     Browse repository at this point

   • fixes import error

     rebahozkoc

     committed
     e3db773View commit details

     Copy full SHA for e3db773

     Browse repository at this point
5. Commits on Dec 28, 2023

   • Merge remote-tracking branch 'origin/master'

     rebahozkoc

     committed
     de4af02View commit details

     Copy full SHA for de4af02

     Browse repository at this point

   • Adds test case count and removes csrf

     rebahozkoc

     committed
     6efb98eView commit details

     Copy full SHA for 6efb98e

     Browse repository at this point

   • Merge remote-tracking branch 'refs/remotes/origin/master'

     

     gorkemyar

     committed
     27e1849View commit details

     Copy full SHA for 27e1849

     Browse repository at this point

   • string indexing, len mechanism fully functional

     

     gorkemyar

     committed
     4942116View commit details

     Copy full SHA for 4942116

     Browse repository at this point

   • fix loop integer problem

     QuZu

     committed
     f79ba74View commit details

     Copy full SHA for f79ba74

     Browse repository at this point

   • merge outputs from gpt and pyexz3

     rebahozkoc

     committed
     fc61ecaView commit details

     Copy full SHA for fc61eca

     Browse repository at this point

   • Merge branch 'master' of https://github.com/RelativeTesting/RelativeTesting

     rebahozkoc

     committed
     117f473View commit details

     Copy full SHA for 117f473

     Browse repository at this point

   • remove uuid and add function name

     rebahozkoc

     committed
     af457d3View commit details

     Copy full SHA for af457d3

     Browse repository at this point

   • merge conflict

     

     gorkemyar

     committed
     dde0784View commit details

     Copy full SHA for dde0784

     Browse repository at this point

   • bug fix

     

     gorkemyar

     committed
     b912d4cView commit details

     Copy full SHA for b912d4c

     Browse repository at this point

   • fix function convertion bugs

     rebahozkoc

     committed
     5b02eacView commit details

     Copy full SHA for 5b02eac

     Browse repository at this point
6. Commits on Dec 27, 2023

   • Merge remote-tracking branch 'refs/remotes/origin/master'

     

     gorkemyar

     committed
     9431151View commit details

     Copy full SHA for 9431151

     Browse repository at this point

   • bug fix

     

     gorkemyar

     committed
     71318beView commit details

     Copy full SHA for 71318be

     Browse repository at this point

   • fix typo related bug

     rebahozkoc

     committed
     4d2dccfView commit details

     Copy full SHA for 4d2dccf

     Browse repository at this point

   • check function integrated

     rebahozkoc

     committed
     cee1920View commit details

     Copy full SHA for cee1920

     Browse repository at this point

   • Merge branch 'master' of https://github.com/RelativeTesting/RelativeTesting

     rebahozkoc

     committed
     1181cb8View commit details

     Copy full SHA for 1181cb8

     Browse repository at this point

   • integrates loop unrolling to the backend system

     rebahozkoc

     committed
     74f4c2dView commit details

     Copy full SHA for 74f4c2d

     Browse repository at this point

   • Merge branch 'master' of https://github.com/RelativeTesting/RelativeTesting

     QuZu

     committed
     189a8cdView commit details

     Copy full SHA for 189a8cd

     Browse repository at this point

   • add function checker

     QuZu

     committed
     a92a4acView commit details

     Copy full SHA for a92a4ac

     Browse repository at this point