github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-23 16:37:50 +03:00
Code Issues Projects Releases Wiki Activity
d5e00dab1c
semantic/semantic-analysis
History
Rob Rix d5e00dab1c
Add edge attributes through the edge.
2022-03-15 14:30:44 -04:00
..
script Succeed. 2022-03-07 11:34:27 -05:00
src/Analysis StatementC is a Statement-algebra. 2022-03-10 12:17:28 -05:00
.ghci.repl Ignore some warnings in the REPL. 2022-03-07 11:31:48 -05:00
.gitignore Ignore some files. 2022-03-09 09:56:53 -05:00
BUILD.bazel Disable overloaded strings. 2022-02-07 15:36:07 -05:00
cabal.project Add a cabal.project file. 2022-02-24 14:32:03 -05:00
hie.yaml Configure hie locally. 2022-02-24 14:32:42 -05:00
LICENSE Stub in a package for analysis. 2019-10-11 12:42:49 -04:00
python.tsg Add edge attributes through the edge. 2022-03-15 14:30:44 -04:00
README.md Stub in a package for analysis. 2019-10-11 12:42:49 -04:00
semantic-analysis.cabal Define a Statement carrier module. 2022-03-10 12:08:58 -05:00
Setup.hs Stub in a package for analysis. 2019-10-11 12:42:49 -04:00

README.md

semantic-analysis

Program analysis by abstract definitional interpretation.

Development

This project consists of a Haskell package named semantic-analysis. The library’s sources are in src.

Development of semantic-analysis is typically done using cabal v2-build:

cabal v2-build # build the library
cabal v2-repl  # load the package into ghci
cabal v2-test  # build and run the doctests