git.iko.soy/project-m36
on master help sign in
history of69ff6cd..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 584b01dresolve TupleExprs within their own transaction contextsAgentM 4beffa3validate that macro names do not conflict with existing relvarsAgentM 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 170009aWIP more test fixes remove DisconnectedTransaction diff exprAgentM 1d20536WIP compilation checkpoint for tests now requiring parser-combinatorsAgentM aea1262WIP transaction graph merge compilation checkpointAgentM 379bec3support building with GHC 8.6 resolves #230AgentM 77541f0fix atomable testAgentM 1046167WIP compilation checkpointAgentM c612d04WIP compilation checkpointAgentM f8e6f19WIP tutd compilation checkpointAgentM 8c305bdWIP compilation checkpoint library builds with so TODO warningsAgentM 1706097WIP partial compilation checkpoint GraphRefRelationalExprM and friends StaticOptimizerMonadM ProcessExprMAgentM 5780162WIP compilation checkpointAgentM 1656f99WIP more process* functions more static optimization wrappersAgentM 51b014dWIP RelationalExpr + StaticOptimizer treatmentAgentM 9ada9c7RelationalExpression.hs compilation checkpointAgentM 8b5114dwip morphing function signaturesAgentM 68e9b8fmore WIPAgentM b81f8fcWIP StateElemsAgentM bfaecd2WIP add TransactionGraph to RelationalExprStateElemsAgentM 43dfe2cWIP switch away from TransactionDiffsAgentM 66ee004WIPAgentM cfa7253WIP compilation checkpointAgentM 3ac630erefactoring checkpointAgentM