├── .ghci ├── .github └── workflows │ ├── haskell-ci.yml │ └── hlint.yml ├── .gitignore ├── CHANGES.md ├── COPYRIGHT ├── Data └── SBV │ ├── Plugin.hs │ └── Plugin │ ├── Analyze.hs │ ├── Common.hs │ ├── Data.hs │ ├── Env.hs │ ├── Examples │ ├── BitTricks.hs │ ├── Maximum.hs │ ├── MergeSort.hs │ ├── MicroController.hs │ └── Proved.hs │ └── Plugin.hs ├── INSTALL ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── sbvPlugin.cabal └── tests ├── GoldFiles ├── .gitignore ├── T00.hs.golden ├── T01.hs.golden ├── T02.hs.golden ├── T03.hs.golden ├── T04.hs.golden ├── T05.hs.golden ├── T06.hs.golden ├── T07.hs.golden ├── T08.hs.golden ├── T09.hs.golden ├── T10.hs.golden ├── T11.hs.golden ├── T12.hs.golden ├── T13.hs.golden ├── T14.hs.golden ├── T15.hs.golden ├── T16.hs.golden ├── T17.hs.golden ├── T18.hs.golden ├── T19.hs.golden ├── T20.hs.golden ├── T21.hs.golden ├── T22.hs.golden ├── T23.hs.golden ├── T24.hs.golden ├── T25.hs.golden ├── T26.hs.golden ├── T27.hs.golden ├── T28.hs.golden ├── T29.hs.golden ├── T30.hs.golden ├── T31.hs.golden ├── T32.hs.golden ├── T33.hs.golden ├── T34.hs.golden ├── T35.hs.golden ├── T36.hs.golden ├── T37.hs.golden ├── T38.hs.golden ├── T39.hs.golden ├── T40.hs.golden ├── T41.hs.golden ├── T42.hs.golden ├── T43.hs.golden ├── T44.hs.golden ├── T45.hs.golden ├── T46.hs.golden ├── T47.hs.golden ├── T48.hs.golden ├── T49.hs.golden └── T50.hs.golden ├── Run.hs ├── T00.hs ├── T01.hs ├── T02.hs ├── T03.hs ├── T04.hs ├── T05.hs ├── T06.hs ├── T07.hs ├── T08.hs ├── T09.hs ├── T10.hs ├── T11.hs ├── T12.hs ├── T13.hs ├── T14.hs ├── T15.hs ├── T16.hs ├── T17.hs ├── T18.hs ├── T19.hs ├── T20.hs ├── T21.hs ├── T22.hs ├── T23.hs ├── T24.hs ├── T25.hs ├── T26.hs ├── T27.hs ├── T28.hs ├── T29.hs ├── T30.hs ├── T31.hs ├── T32.hs ├── T33.hs ├── T34.hs ├── T35.hs ├── T36.hs ├── T37.hs ├── T38.hs ├── T39.hs ├── T40.hs ├── T41.hs ├── T42.hs ├── T43.hs ├── T44.hs ├── T45.hs ├── T46.hs ├── T47.hs ├── T48.hs ├── T49.hs └── T50.hs /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/.ghci -------------------------------------------------------------------------------- /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.github/workflows/hlint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/.github/workflows/hlint.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/CHANGES.md -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /Data/SBV/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Analyze.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Analyze.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Common.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Data.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Env.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Examples/BitTricks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Examples/BitTricks.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Examples/Maximum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Examples/Maximum.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Examples/MergeSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Examples/MergeSort.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Examples/MicroController.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Examples/MicroController.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Examples/Proved.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Examples/Proved.hs -------------------------------------------------------------------------------- /Data/SBV/Plugin/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Data/SBV/Plugin/Plugin.hs -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /sbvPlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/sbvPlugin.cabal -------------------------------------------------------------------------------- /tests/GoldFiles/.gitignore: -------------------------------------------------------------------------------- 1 | *.current 2 | -------------------------------------------------------------------------------- /tests/GoldFiles/T00.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T00.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T01.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T01.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T02.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T02.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T03.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T03.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T04.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T04.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T05.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T05.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T06.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T06.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T07.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T07.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T08.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T08.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T09.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T09.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T10.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T10.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T11.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T11.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T12.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T12.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T13.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T13.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T14.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T14.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T15.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T15.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T16.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T16.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T17.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T17.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T18.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T18.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T19.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T19.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T20.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T20.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T21.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T21.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T22.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T22.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T23.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T23.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T24.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T24.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T25.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T25.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T26.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T26.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T27.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T27.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T28.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T28.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T29.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T29.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T30.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T30.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T31.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T31.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T32.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T32.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T33.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T33.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T34.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T34.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T35.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T35.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T36.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T36.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T37.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T37.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T38.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T38.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T39.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T39.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T40.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T40.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T41.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T41.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T42.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T42.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T43.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T43.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T44.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T44.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T45.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T45.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T46.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T46.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T47.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T47.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T48.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T48.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T49.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T49.hs.golden -------------------------------------------------------------------------------- /tests/GoldFiles/T50.hs.golden: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/GoldFiles/T50.hs.golden -------------------------------------------------------------------------------- /tests/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/Run.hs -------------------------------------------------------------------------------- /tests/T00.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T00.hs -------------------------------------------------------------------------------- /tests/T01.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T01.hs -------------------------------------------------------------------------------- /tests/T02.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T02.hs -------------------------------------------------------------------------------- /tests/T03.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T03.hs -------------------------------------------------------------------------------- /tests/T04.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T04.hs -------------------------------------------------------------------------------- /tests/T05.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T05.hs -------------------------------------------------------------------------------- /tests/T06.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T06.hs -------------------------------------------------------------------------------- /tests/T07.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T07.hs -------------------------------------------------------------------------------- /tests/T08.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T08.hs -------------------------------------------------------------------------------- /tests/T09.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T09.hs -------------------------------------------------------------------------------- /tests/T10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T10.hs -------------------------------------------------------------------------------- /tests/T11.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T11.hs -------------------------------------------------------------------------------- /tests/T12.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T12.hs -------------------------------------------------------------------------------- /tests/T13.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T13.hs -------------------------------------------------------------------------------- /tests/T14.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T14.hs -------------------------------------------------------------------------------- /tests/T15.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T15.hs -------------------------------------------------------------------------------- /tests/T16.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T16.hs -------------------------------------------------------------------------------- /tests/T17.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T17.hs -------------------------------------------------------------------------------- /tests/T18.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T18.hs -------------------------------------------------------------------------------- /tests/T19.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T19.hs -------------------------------------------------------------------------------- /tests/T20.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T20.hs -------------------------------------------------------------------------------- /tests/T21.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T21.hs -------------------------------------------------------------------------------- /tests/T22.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T22.hs -------------------------------------------------------------------------------- /tests/T23.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T23.hs -------------------------------------------------------------------------------- /tests/T24.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T24.hs -------------------------------------------------------------------------------- /tests/T25.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T25.hs -------------------------------------------------------------------------------- /tests/T26.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T26.hs -------------------------------------------------------------------------------- /tests/T27.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T27.hs -------------------------------------------------------------------------------- /tests/T28.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T28.hs -------------------------------------------------------------------------------- /tests/T29.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T29.hs -------------------------------------------------------------------------------- /tests/T30.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T30.hs -------------------------------------------------------------------------------- /tests/T31.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T31.hs -------------------------------------------------------------------------------- /tests/T32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T32.hs -------------------------------------------------------------------------------- /tests/T33.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T33.hs -------------------------------------------------------------------------------- /tests/T34.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T34.hs -------------------------------------------------------------------------------- /tests/T35.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T35.hs -------------------------------------------------------------------------------- /tests/T36.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T36.hs -------------------------------------------------------------------------------- /tests/T37.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T37.hs -------------------------------------------------------------------------------- /tests/T38.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T38.hs -------------------------------------------------------------------------------- /tests/T39.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T39.hs -------------------------------------------------------------------------------- /tests/T40.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T40.hs -------------------------------------------------------------------------------- /tests/T41.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T41.hs -------------------------------------------------------------------------------- /tests/T42.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T42.hs -------------------------------------------------------------------------------- /tests/T43.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T43.hs -------------------------------------------------------------------------------- /tests/T44.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T44.hs -------------------------------------------------------------------------------- /tests/T45.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T45.hs -------------------------------------------------------------------------------- /tests/T46.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T46.hs -------------------------------------------------------------------------------- /tests/T47.hs: -------------------------------------------------------------------------------- 1 | ../Data/SBV/Plugin/Examples/MicroController.hs -------------------------------------------------------------------------------- /tests/T48.hs: -------------------------------------------------------------------------------- 1 | ../Data/SBV/Plugin/Examples/MergeSort.hs -------------------------------------------------------------------------------- /tests/T49.hs: -------------------------------------------------------------------------------- 1 | ../Data/SBV/Plugin/Examples/BitTricks.hs -------------------------------------------------------------------------------- /tests/T50.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LeventErkok/sbvPlugin/HEAD/tests/T50.hs --------------------------------------------------------------------------------