git.iko.soy/project-m36
on master help sign in
history of52182bc..master
compare
eddf4a3copy buildImage from nixpkgs 20.03 to fix the hard-code arch filed of the generated imageHugh JF Chen c620508disable osx build because some travis-ci osx images will ask for sudo password.Hugh JF Chen c54cbecadd cd.sh and pushing to docker hubHugh JF Chen aebcccdfinalize TupleExpr default type constructor mapping evaluation all but one test passAgentM a2cfa2fclean up travis.ymlHugh JF Chen 9149eb1fully CI with linux/arm64 and osxHugh JF Chen ecc67b2fully CI with linux/amd64, linux/arm64 and osxHugh JF Chen 04735e8implement hlint suggestionsAgentM d9167faupdate stack location for travisAgentM 88f079esupport GHC 8.8 with cabal or stack resolves #259AgentM e532b00test sudo without password on osxHugh JF Chen f7491e5test sudo without password on osxHugh JF Chen 25270cctest sudo without password on osxHugh JF Chen 016b3d1test sudo without password on osxHugh JF Chen c76b5aftouch travis-ci again againHugh JF Chen c20cb47touch travis-ci againHugh JF Chen d37e7fbtouch travis-ciHugh JF Chen c625998build with travis-ciHugh JF Chen a1f21a4all merge tests passAgentM a5c3f0brefactor on 20200510Hugh JF Chen f407d5dnearly all tests passAgentM a76ee6ftest-tutoriald passesAgentM 38cee47WIP merge transaction treatmentAgentM 69ff6cdadd a flag for disable haskell scriptig.Hugh JF Chen 1581b24merge upstream to add the haskell-scripting flag support.Hugh JF Chen 6c8e781Merge branch 'optional_ghc_linking'AgentM 313a996disable failing Darwin + GHC 8.2.2 build due to stack bundling failureAgentM f66c404make linking against GHC optional to save space related to #258AgentM e632331sixth try to trasiv-ciHugh JF Chen 584b01dresolve TupleExprs within their own transaction contextsAgentM 29faf04fifth try to travis-ciHugh JF Chen a03c5effourth try to travis-ciHugh JF Chen 0ff751ethird try to travis-ciHugh JF Chen e099cb5second try to travis-ciHugh JF Chen 66d3641add travis-ciHugh JF Chen f6ec189Merge https://github.com/agentm/project-m36 to disable server-fs checkHugh JF Chen 6876fffad pin nixpkgsHugh JF Chen e765b7fdisable fs-check during server test run related to #258AgentM 6e30317add CI/CDHugh JF Chen 4beffa3validate that macro names do not conflict with existing relvarsAgentM 6f677d8catch type mismatch error between relation type hint and tuples resolves #256AgentM 2fbb67afix tuple type resolution when the tuples exhaustively complete the type variablesAgentM 1280729fix basic error in mkEmptyRelVars called by StaticOptimizer resulting in broken MultipleExpr executionAgentM 8c005dballow compilation with megaparsec 8AgentM 28c57c9updates for latest hlint suggestionsAgentM 630af15use data-interval from hackage instead of from dead github link resolves #255AgentM 170009aWIP more test fixes remove DisconnectedTransaction diff exprAgentM e90811afix websocket server links resolves #253AgentM cd9b116suggest GHC 8.4+ in introduction text due to Windows build issues resolves #253AgentM 1d20536WIP compilation checkpoint for tests now requiring parser-combinatorsAgentM