Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • v0.1
2 results
Created with Raphaël 2.2.02Feb3Mar13Dec529Nov11Oct29Jul14Jun2Oct7Nov531Oct2512fix for ocaml 4.13.1 (compare)mastermasteradd AUTHORS.txtadd web link to documentationv0.1v0.1add license + reference to tech report (not online at the moment)translate old examples to the new representationremove deprecated functionstranslate all comments and text in Englishstart translating comments in EnglishREADME translated to Englishmake ASP scripts compatible with Clingo 5add limitation on FreshStateextensive README and comments (in French)remove debug outputscript run-all.sh + READMEsimplification of double-negation (except in FreshState)remove useless modules system + some cleanupchange BRN-related constructors to stringsremove commentsremove boundary axioms from phi expressionsadd set and assert intructionsswitched back to SimpleExamplefix and update phage lambda exampleremove old commented and debug codefixed simplificationworking simplifybegin adding simplificationRemove more commented codeRemove remaining commented Mult'supdate .gitignoreadd Circlock examplesimplification of Ks (esp. for FresStates)2012-09-11 version (before simplification)initial commit