Skip to content
Snippets Groups Projects
  • SimonGuilloud's avatar
    5a914023
    Abstraction (#104) · 5a914023
    SimonGuilloud authored
    * work in progress
    
    * Updated printer to print prefix conjunction and disjunction when applied to single arg. Removes parts of the front (put in another branch.
    
    * All tests passing.
    
    * Test pass, equivalence checker tests takes a bit too much time
    
    * adapted printer tests
    
    * correcct errors pointed by reviewer.
    
    * Removed testing from example file
    
    * >= 0 instead of > 0
    Abstraction (#104)
    SimonGuilloud authored
    * work in progress
    
    * Updated printer to print prefix conjunction and disjunction when applied to single arg. Removes parts of the front (put in another branch.
    
    * All tests passing.
    
    * Test pass, equivalence checker tests takes a bit too much time
    
    * adapted printer tests
    
    * correcct errors pointed by reviewer.
    
    * Removed testing from example file
    
    * >= 0 instead of > 0