summaryrefslogtreecommitdiff
path: root/src/pretty_print_common.ml
AgeCommit message (Expand)Author
2019-04-06Various bugfixes and improvementsAlasdair
2019-02-08Add parameterization support for bitfields.Prashanth Mundkur
2018-12-12Fix various boolean type-variable related issuesAlasdair
2018-12-08Compiling againAlasdair
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-11Change the function type in the ASTAlasdair
2018-08-28fix some compiler not-matched warnings about Typ_bidir and Typ_internal_unknownJon French
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
2018-03-14Make partiality more explicit in library functions of Lem shallow embeddingThomas Bauereiss
2017-12-14Fix all compiler warning except in lem pretty printer and monomorphisationAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-11-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-09-21Change NC_fixed to NC_equal to match NC_not_equalAlasdair Armstrong
2017-09-05Fix printing of negative numbersAlastair Reid
2017-08-15Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.Alasdair Armstrong
2017-08-10Merge remote-tracking branch 'origin/sail_new_tc' into experimentsAlasdair Armstrong
2017-08-07Improvements to existentials for ASL parserAlasdair Armstrong
2017-08-07Fixed pretty printing of E_consAlasdair Armstrong
2017-08-02Improve pretty-printing of register declaration and assignmentThomas Bauereiss
2017-07-27Fixed pretty printer for existentialsAlasdair Armstrong
2017-07-26Allow arbitrary identifiers in nexp expressionsAlasdair Armstrong
2017-06-29Added a large test case to the test-suiteAlasdair Armstrong
2017-05-24Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
2017-05-24added the exmem effect for AArch64 store-exclusiveShaked Flur
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:16:13 +0000