GitHub - hipsleek/fixcalc

Name		Name	Last commit message	Last commit date
Latest commit History 302 Commits
bugs		bugs
demo		demo
eg		eg
examples		examples
.hgtags		.hgtags
FixCalcLexer.hs		FixCalcLexer.hs
FixCalcMain.hs		FixCalcMain.hs
FixCalcParser.y		FixCalcParser.y
Fresh.hs		Fresh.hs
Imp.prj		Imp.prj
ImpAST.hs		ImpAST.hs
ImpConfig.hs		ImpConfig.hs
ImpFixpoint2k.hs		ImpFixpoint2k.hs
ImpFormula.hs		ImpFormula.hs
ImpHullWiden.hs		ImpHullWiden.hs
ImpLexer.hs		ImpLexer.hs
ImpMain.hs		ImpMain.hs
ImpOutInfer.hs		ImpOutInfer.hs
ImpParser.y		ImpParser.y
ImpSTypeChecker.hs		ImpSTypeChecker.hs
ImpSugar.hs		ImpSugar.hs
ImpTypeChecker.hs		ImpTypeChecker.hs
ImpTypeCommon.hs		ImpTypeCommon.hs
ImpTypeInfer.hs		ImpTypeInfer.hs
InSolver.hs		InSolver.hs
LICENSE		LICENSE
Makefile		Makefile
Makefile-old		Makefile-old
MyPrelude.hs		MyPrelude.hs
Primitives.all.c		Primitives.all.c
Primitives.c		Primitives.c
Primitives.h		Primitives.h
Primitives.imp		Primitives.imp
PrimitivesIndir.imp		PrimitivesIndir.imp
bugs.cristian.xlsx		bugs.cristian.xlsx
inv1.fc		inv1.fc
problems.txt		problems.txt
readme.md		readme.md
readme.txt		readme.txt
run-tests.pl		run-tests.pl
todo.txt		todo.txt

Provide feedback