summaryrefslogtreecommitdiff
path: root/erebos-tester.cabal
AgeCommit message (Expand)Author
10 daysVersion 0.3v0.3.0Roman Smrž
10 daysSwitch source repository location to HTTPSRoman Smrž
11 daysBump dependencies, build with GHC up to 9.12Roman Smrž
11 daysFix remaining indentation in cabal fileRoman Smrž
11 daysRefactor script/expression related code to multiple modulesRoman Smrž
11 daysMove ExprType to its own moduleRoman Smrž
13 daysRelax lower bound on clock and stm packagesRoman Smrž
2025-02-08Time information in outputRoman Smrž
2024-11-20Avoid embedded Expr in most of test step parametersRoman Smrž
2024-10-14Custom C main instead of wrapper binaryRoman Smrž
2024-10-04User-defined test functions without parametersRoman Smrž
2024-09-17Type variables and simple unificationRoman Smrž
2024-08-13Version 0.2.4v0.2.4Roman Smrž
2024-08-10Version 0.2.3v0.2.3Roman Smrž
2024-08-07Replace first command (wait) with a builtinRoman Smrž
2024-05-17Version 0.2.2v0.2.2Roman Smrž
2024-05-17Bump dependencies for GHC 9.10Roman Smrž
2024-05-17Avoid multithreading in wrapper on newer compilersRoman Smrž
2024-05-17Prune unused dependenciesRoman Smrž
2024-05-14Reference README from cabal fileRoman Smrž
2024-05-14Version 0.2.1v0.2.1Roman Smrž
2024-05-14Update homepage to tester-specific pageRoman Smrž
2024-05-14Bump template-haskell version for GHC 9.8Roman Smrž
2024-05-14MiniCI configuration and cabal flagRoman Smrž
2024-02-21Bump unix and template-haskell dependenciesRoman Smrž
2024-02-21Update to support mtl-2.3Roman Smrž
2024-02-21Update cabal descriptionRoman Smrž
2023-04-26Version 0.2v0.2.0Roman Smrž
2023-04-26Use link objects for disconnect commandsRoman Smrž
2023-04-23Split parser into several modulesRoman Smrž
2023-03-31Types for IP address and prefixRoman Smrž
2023-03-30Move test-executing functions to separate moduleRoman Smrž
2023-03-16Bump dependencies for GHC 9.2Roman Smrž
2023-03-01Version information from gitRoman Smrž
2023-02-04Version 0.1.1v0.1.1Roman Smrž
2023-02-02Enable OverloadedStrings as default extensionRoman Smrž
2023-01-16Haskeline for input handlingRoman Smrž
2023-01-08Version 0.1v0.1.0Roman Smrž
2023-01-04Look for core binary in the directory containing wrapperRoman Smrž
2023-01-03Command-line option to display versionRoman Smrž
2022-12-20Move TestRun monad and related types to separate moduleRoman Smrž
2022-12-04Config file lookup and parsingRoman Smrž
2022-10-18GDB process type and separate start functionRoman Smrž
2022-09-27Separate Network moduleRoman Smrž
2022-09-08Command parser using applicative functorRoman Smrž
2022-08-22Generic expression parser with integer operatorsRoman Smrž
2022-08-13Integer expressions and variablesRoman Smrž
2022-07-24Print relevant variable values after expect failureRoman Smrž
2022-06-05Refactor expressions as GADTRoman Smrž
2022-05-04Test run monadRoman Smrž