6 Commits

Author	SHA1	Message	Date
Ryan Scott	87b360b17c	Remove lingering references to Sally ... The `what4-transition-system-tests` test suite in particular will be moved to `language-sally`.	2022-04-11 16:51:47 -04:00
Valentin Robert	f74d8eaa4e	Update to changes in language-sally.	2021-05-07 14:01:57 -07:00
Valentin Robert	9ad0fc47b8	what4-transition-system: v0.0.1.0	2021-05-06 14:16:02 -07:00
Ben Selfridge	213b23099c	migration to bv-sized representation (#34) ... Update all `what4`-related packages to to concrete computation using the `bv-sized` library for fixed (but arbitrary) sized bitvector values. Currently, the bitvector abstract domain computations are still being done directly on raw integers; we can revisit this in the future. Co-authored-by: Ben Selfridge <benselfridge@000279.local> Co-authored-by: Rob Dockins <rdockins@galois.com>	2020-06-04 15:07:57 -07:00
Rob Dockins	d9e78ae7d3	Set up travis CI	2020-02-29 12:53:17 -08:00
Rob Dockins	e6e596deb3	Add dependencies and a fresh cabal.project following repository split	2020-02-25 16:48:46 -08:00